From 26ed5530a1a58444c5a86df5e273a36c56785c4d Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 18 Aug 2016 10:41:42 +0000 Subject: [PATCH] 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 | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 081353ee..13942d7e 100644 --- a/prism/src/prism/PrismCL.java +++ b/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; }