diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index e9da9e30..081353ee 100644
--- a/prism/src/prism/PrismCL.java
+++ b/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;
 				}