|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.
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?
tptp-monitoring-tools-dev mailing list