From 9ffb77d8593f4b1a4d022da2bf2cc6be8a3a3c92 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 17 Jul 2017 12:48:52 +0000 Subject: [PATCH] LTL2DA.main: Don't print formulas (this allows use in automatic LTL->automata test tools such as Spot's ltlcross) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12047 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/automata/LTL2DA.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/automata/LTL2DA.java b/prism/src/automata/LTL2DA.java index a0f6cd70..6069f4bb 100644 --- a/prism/src/automata/LTL2DA.java +++ b/prism/src/automata/LTL2DA.java @@ -342,11 +342,11 @@ public class LTL2DA extends PrismComponent System.out.println("LTL: " + expr);*/ // Convert to Expression (from LBT format) - String ltl = args[0]; + // String ltl = args[0]; SimpleLTL sltl = SimpleLTL.parseFormulaLBT(args[0]); Expression expr = Expression.createFromJltl2ba(sltl); - System.out.println("LBT: " + ltl); - System.out.println("LTL: " + expr); + // System.out.println("LBT: " + ltl); + // System.out.println("LTL: " + expr); // Build/export DA LTL2DA ltl2da = new LTL2DA(new PrismComponent());