PrismCL, testing, regression: Don't try and run tests if not in test mode

Introduced in SVN 11637. We only want to run tests if test mode is actually active...


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11642 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismCL.java

@@ -392,7 +392,9 @@ public class PrismCL implements PrismModelListener
 						// in case of build failure during model checking, store as result for any const values and continue
 						if (modelBuildFail) {
 							results[j].setMultipleErrors(definedMFConstants, null, modelBuildException);
-							doResultTest(propertiesToCheck.get(j), new Result(modelBuildException));
+							if (test) {
+								doResultTest(propertiesToCheck.get(j), new Result(modelBuildException));
+							}
 							break;
 						}
 
@@ -443,7 +445,9 @@ public class PrismCL implements PrismModelListener
 				if (modelBuildFail) {
 					for (j++; j < numPropertiesToCheck; j++) {
 						results[j].setMultipleErrors(definedMFConstants, null, modelBuildException);
-						doResultTest(propertiesToCheck.get(j), new Result(modelBuildException));
+						if (test) {
+							doResultTest(propertiesToCheck.get(j), new Result(modelBuildException));
+						}
 					}
 					break;
 				}