src-test: Added support for test debugging -- jobs can now output their...

src-test: Added support for test debugging -- jobs can now output their command line with -Ddisl.test.debug=true.

src-test/ch/usi/dag/disl/test/utils/Job.java

@@ -79,6 +79,13 @@ final class Job {
 
         //
 
+        if (Runner.TEST_DEBUG) {
+            System.out.println ("Starting job:");
+            System.out.println (Strings.join (" ", __builder.command ()));
+        }
+
+        //
+
         __process = __builder.start ();
         __isRunning.set (true);
 

src-test/ch/usi/dag/disl/test/utils/Runner.java

@@ -33,7 +33,10 @@ public abstract class Runner {
     protected static final File _DISL_RE_SERVER_JAR_ = new File (_DISL_BUILD_DIR_, "dislre-server.jar");
     protected static final Class <?> _DISL_RE_SERVER_MAIN_CLASS_ = DiSLREServer.class;
 
+    //
+
     protected static final File _TEST_BUILD_DIR_ = new File ("build-test");
+    static final boolean TEST_DEBUG = Boolean.getBoolean ("disl.test.debug");
 
     //