From f82a7c84ad636967324f6e07dc895306551c0fac Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Jun 2015 14:40:35 +0000 Subject: [PATCH] Clean up output when avg time is shown as NaN. [from Joachim Klein; and the last commit] git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10130 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/QuantAbstractRefine.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/QuantAbstractRefine.java b/prism/src/explicit/QuantAbstractRefine.java index f687c885..509e0054 100644 --- a/prism/src/explicit/QuantAbstractRefine.java +++ b/prism/src/explicit/QuantAbstractRefine.java @@ -1218,7 +1218,7 @@ public abstract class QuantAbstractRefine extends PrismComponent mainLog.print("* " + PrismUtils.formatDouble2dp(timeRebuild) + " secs"); mainLog.print(" (" + PrismUtils.formatPercent1dp(timeRebuild / timeTotal) + ")"); mainLog.print(" = Rebuilding " + abstractionType + " ("); - mainLog.print(refinementNum + " x avg " + PrismUtils.formatDouble2dp(timeRebuild / (refinementNum)) + " secs)"); + mainLog.print(refinementNum + " x avg " + PrismUtils.formatDouble2dp(refinementNum > 0 ? (timeRebuild / (refinementNum)) : 0) + " secs)"); mainLog.println(); mainLog.print("* " + PrismUtils.formatDouble2dp(timeCheck) + " secs"); mainLog.print(" (" + PrismUtils.formatPercent1dp(timeCheck / timeTotal) + ")"); @@ -1232,7 +1232,7 @@ public abstract class QuantAbstractRefine extends PrismComponent mainLog.print("* " + PrismUtils.formatDouble2dp(timeRefine) + " secs"); mainLog.print(" (" + PrismUtils.formatPercent1dp(timeRefine / timeTotal) + ")"); mainLog.print(" = refinement ("); - mainLog.print(refinementNum + " x avg " + PrismUtils.formatDouble2dp(timeRefine / refinementNum) + " secs)"); + mainLog.print(refinementNum + " x avg " + PrismUtils.formatDouble2dp(refinementNum > 0 ? (timeRefine / refinementNum) : 0) + " secs)"); mainLog.println(); // Print result info for initial states