From 34271bb74c6eb9b93e8c0773b6723be89f13c7ad Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 23 Dec 2008 10:52:16 +0000 Subject: [PATCH] Disable LTL model checking (for dev release). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@910 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 3 ++- prism/src/prism/ProbModelChecker.java | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 84e33e73..053dcf2a 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -312,7 +312,8 @@ public class NondetModelChecker extends StateModelChecker if (expr.isSimplePathFormula()) { return checkProbPathFormulaSimple(expr, qual, min); } else { - return checkProbPathFormulaLTL(expr, qual, min); + //return checkProbPathFormulaLTL(expr, qual, min); + throw new PrismException("LTL-style path formulas are not yet supported"); } } diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 603dd91d..f90deaf0 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -512,7 +512,7 @@ public class ProbModelChecker extends NonProbModelChecker if (expr.isSimplePathFormula()) { return checkProbPathFormulaSimple(expr, qual); } else { - throw new PrismException("LTL-style path formulas are not supported"); + throw new PrismException("LTL-style path formulas are not yet supported"); } }