Updated README_TESTS to reflect the rename of "disl.test.debug" to "test.debug".

README_TESTS

@@ -7,20 +7,26 @@ ch.usi.dag.disl.test.suite package that invoke all parts of the framework
 (client, server, ...) and verify computed results.
 
 All tests are executed by running
+
 $ ant test
 
-To use the tests for debuging purposes during development, a single test suite
-(for example, "after") can be executed by running
+
+Properties given on the Ant command line starting with "-Ddisl.",
+"-Ddislserver.", and "-Ddislreserver." are passed to the test.
+
+
+To use the tests for debuging purposes during development, a single test
+suite (for example, "after") can be executed by running
+
 $ ant test -Dtest.name=after
 
-Properties passed to Ant on the command line starting with "-Ddisl.",
-"-Ddislserver.", and "-Ddislreserver." are passed to the test. For example,
-to save the outputs produced by the test suites, use
 
--Ddisl.test.verbose=true
+To save the outputs produced by the test suites, add "-Dtest.verbose=true"
+to the Ant command line.
 
-When built with "ant prepare-test" tests can be also run directly. They are
-packed in the "build-test" directory.
+The tests can be also run directly from the command line. To obtain the
+command lines used by the test runner to execute the individual JVMs, add
+"-Dtest.debug=true" to the Ant command line.
 
 
 Implementation