From a7c384607bffbb4b611cd2306b0930f29ff755e0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 23 Dec 2008 15:24:46 +0000 Subject: [PATCH] Re-enable LTL model checking for MDPs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@916 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 5f7a971d..60a022a5 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -312,8 +312,8 @@ public class NondetModelChecker extends NonProbModelChecker if (expr.isSimplePathFormula()) { return checkProbPathFormulaSimple(expr, qual, min); } else { - //return checkProbPathFormulaLTL(expr, qual, min); - throw new PrismException("LTL-style path formulas are not yet supported"); + return checkProbPathFormulaLTL(expr, qual, min); + //throw new PrismException("LTL-style path formulas are not yet supported"); } }