diff -r 000000000000 -r 30eb2d538f02 configtool/test.properties --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/configtool/test.properties Thu Mar 11 18:39:02 2010 +0200 @@ -0,0 +1,12 @@ + + +reports.tests = tests/target/test-results +test.classes = tests/target/test-classes +test.coverage.dir = tests/target/test-results +test.instr.dir = ${common.plugin-target}/inst +test.emma.libdir = ../tests/lib +test.emma.src = tests/emma/src +test.emma.report.dir = tests/target/emma/report \ No newline at end of file