From e80c3d14cb8f1397d6552f943631902c2da4c995 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 18 Apr 2008 22:19:47 +0000 Subject: [PATCH] Debug output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@759 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 58718aee..f2483337 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -312,7 +312,7 @@ public class NondetModelChecker extends StateModelChecker { // Test whether this is a simple path formula (i.e. PCTL) // and then pass control to appropriate method. - if (1==2){//expr.isSimplePathFormula()) { + if (1==2){//TODO: replace after regression testing: expr.isSimplePathFormula()) { return checkProbPathFormulaSimple(expr, qual, min); } else { return checkProbPathFormulaLTL(expr, qual, min); @@ -403,6 +403,8 @@ public class NondetModelChecker extends StateModelChecker modelProduct = mcLtl.constructProductModel(dra, model, labelDDs); mainLog.println(); modelProduct.printTransInfo(mainLog, prism.getExtraDDInfo()); + //prism.exportStatesToFile(modelProduct, Prism.EXPORT_PLAIN, null); + //prism.exportTransToFile(modelProduct, true, Prism.EXPORT_PLAIN, null); mainLog.println("\nFinding accepting SCCs..."); JDDNode acc = mcLtl.findAcceptingSCSSs(dra, modelProduct);