PrismCL (test mode): run tests also in case of model build failures

Previously, model build failures skipped the tests and the corresponding
errors would not appear when running prism-auto in test mode.

Now, we just call doResultTest with the Result containing
the build exception for all the properties.


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

prism/src/prism/PrismCL.java

@@ -392,6 +392,7 @@ 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));
 							break;
 						}
 
@@ -442,6 +443,7 @@ 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));
 					}
 					break;
 				}