From bb929f64f3733496f7c37194a66a08cd8ce69cf8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 3 Nov 2010 08:02:01 +0000 Subject: [PATCH] Bug fix: Model check freeze in GUI. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2220 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../properties/computation/ModelCheckThread.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/userinterface/properties/computation/ModelCheckThread.java b/prism/src/userinterface/properties/computation/ModelCheckThread.java index d6891392..72bbbbf4 100644 --- a/prism/src/userinterface/properties/computation/ModelCheckThread.java +++ b/prism/src/userinterface/properties/computation/ModelCheckThread.java @@ -135,7 +135,7 @@ public class ModelCheckThread extends GUIComputationThread if (definedPFConstants.getNumValues() > 0) logln("Property constants: " + definedPFConstants); // for PTAs via digital clocks, do model translation and build - if (modulesFile.getModelType() == ModelType.PTA + if (model == null && modulesFile.getModelType() == ModelType.PTA && prism.getSettings().getString(PrismSettings.PRISM_PTA_METHOD).equals("Digital clocks")) { DigitalClocks dc = new DigitalClocks(prism); dc.translate(modulesFile, propertiesFile, propertiesFile.getProperty(i)); @@ -159,7 +159,7 @@ public class ModelCheckThread extends GUIComputationThread } else { modulesFileToCheck = modulesFile; } - // No model (PTA) case + // No model (PTA, non-digital-clocks) case if (model == null) { if (modulesFile.getModelType() != ModelType.PTA) throw new PrismException("No model to verify");