From 789d7789bbb670a59c9be277deb7a6bfc449b332 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 8 Jan 2015 00:05:16 +0000 Subject: [PATCH] Bug fix in export of DRAs for multi-objective model checking. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9509 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/MultiObjModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java index 216785cf..983b7902 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -87,10 +87,10 @@ public class MultiObjModelChecker extends PrismComponent mainLog.println("Time for Rabin translation: " + l / 1000.0 + " seconds."); // If required, export DRA if (prism.getSettings().getExportPropAut()) { - String exportPropAutFilename = PrismUtils.addCounterSuffixToFilename(prism.getSettings().getExportPropAutFilename(), i); + String exportPropAutFilename = PrismUtils.addCounterSuffixToFilename(prism.getSettings().getExportPropAutFilename(), i + 1); mainLog.println("Exporting DRA to file \"" + exportPropAutFilename + "\"..."); PrismLog out = new PrismFileLog(exportPropAutFilename); - out.println(dra); + out.println(dra[i]); out.close(); //dra.printDot(new java.io.PrintStream("dra.dot")); }