From 25297bb697c4d2c48a8594b0533d2c8b2c4d5cc6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jan 2018 14:39:20 +0000 Subject: [PATCH] Bug fix in PRISM API: modelCheck(String) should use ModelInfo for parsing. Does not show up in normal usage of PRISM currently (CL/GUI). --- prism/src/prism/Prism.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 1bb6ce4e..d05960c7 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -2850,7 +2850,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener */ public Result modelCheck(String propertyString) throws PrismException { - PropertiesFile propertiesFile = parsePropertiesString(currentModelGenerator, propertyString); + PropertiesFile propertiesFile = parsePropertiesString(currentModelInfo, propertyString); if (propertiesFile.getNumProperties() != 1) { throw new PrismException("There should be exactly one property to check (there are " + propertiesFile.getNumProperties() + ")"); }