From 3ee7bb565177f2593d004b3744f64f4b6560e874 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 12 Feb 2012 12:47:32 +0000 Subject: [PATCH] Bugfix in recent changes to GUIExperiment. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4599 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/properties/GUIExperiment.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/userinterface/properties/GUIExperiment.java b/prism/src/userinterface/properties/GUIExperiment.java index 58159015..d4a32133 100644 --- a/prism/src/userinterface/properties/GUIExperiment.java +++ b/prism/src/userinterface/properties/GUIExperiment.java @@ -267,7 +267,7 @@ public class GUIExperiment } // for simulation where "simultaneous property checking" is enabled... - else if (useSimulation && prism.getSettings().getBoolean(PrismSettings.SIMULATOR_SIMULTANEOUS) + if (useSimulation && prism.getSettings().getBoolean(PrismSettings.SIMULATOR_SIMULTANEOUS) && undefinedConstants.getNumPropertyIterations() > 1) { try { // TODO