From f966f97d421133db8484ac7c3778f24de7968cf1 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 8 Dec 2015 10:11:24 +0000 Subject: [PATCH] MultiObjModelChecker: fix DRA statistics typo in log output git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11020 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/MultiObjModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java index 9da4f550..a7926753 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -88,7 +88,7 @@ public class MultiObjModelChecker extends PrismComponent long l = System.currentTimeMillis(); LTL2DA ltl2da = new LTL2DA(this); dra[i] = ltl2da.convertLTLFormulaToDRA(ltl, modelChecker.getConstantValues()); - mainLog.print("DRA has " + dra[i].size() + " states, " + ", " + dra[i].getAcceptance().getSizeStatistics() + "."); + mainLog.print("DRA has " + dra[i].size() + " states, " + dra[i].getAcceptance().getSizeStatistics() + "."); l = System.currentTimeMillis() - l; mainLog.println("Time for Rabin translation: " + l / 1000.0 + " seconds."); // If required, export DRA