| Re: [tptp-monitoring-tools-dev] TPTP code coverage |
Code coverage is a tech preview feature and it requires Eclipse 3.2 and TPTP 4.2. Try after upgrading to Eclipse 3.2 if you can.
Thanks,
-Sri
From: tptp-monitoring-tools-dev-bounces@xxxxxxxxxxx [mailto:tptp-monitoring-tools-dev-bounces@xxxxxxxxxxx] On Behalf Of Sheldon Dsouza
Sent: Wednesday, July 05, 2006 10:56 PM
To: tptp-monitoring-tools-dev@xxxxxxxxxxx
Subject: [tptp-monitoring-tools-dev] TPTP code coverage
Hi ,
I tried to use the code coverage tool present in the TPTP with eclipse 3.1. There are alot of issues it doesnot work. Is it possible to use code coverage with eclipse 3.1? where can i get the sources for code coverage to modify it to work with eclipse 3.1?
Regards,
Sheldon
_______________________________________________
tptp-monitoring-tools-dev mailing list
tptp-monitoring-tools-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/tptp-monitoring-tools-dev