From 744907c3d12d85338fb3e73c986caf151ac63537 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 17 Aug 2016 17:08:25 +0000 Subject: [PATCH] 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 | 2 ++ 1 file changed, 2 insertions(+) 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; }