From 8f64d5c104efe69c5d561c1b22c3e1320bba04fa Mon Sep 17 00:00:00 2001
From: Valentin Wüstholz <wuestholz@gmail.com>
Date: Mon, 8 Jun 2015 00:15:01 +0200
Subject: Improve support for diagnosing timeouts.

---
 Source/Core/CommandLineOptions.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Core')

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 675ac6a5..be371fcb 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -559,7 +559,7 @@ namespace Microsoft.Boogie {
     public bool UseLabels = true;
     public bool RunDiagnosticsOnTimeout = false;
     public bool TraceDiagnosticsOnTimeout = false;
-    public int TimeLimitPerAssertionInMs = -1;
+    public int TimeLimitPerAssertionInPercent = 20;
     public bool SIBoolControlVC = false;
     public bool MonomorphicArrays {
       get {
@@ -1479,8 +1479,8 @@ namespace Microsoft.Boogie {
           ps.GetNumericArgument(ref ProverKillTime);
           return true;
 
-        case "timeLimitPerAssertionInMs":
-          ps.GetNumericArgument(ref TimeLimitPerAssertionInMs);
+        case "timeLimitPerAssertionInPercent":
+          ps.GetNumericArgument(ref TimeLimitPerAssertionInPercent, a => 0 < a);
           return true;
 
         case "smokeTimeout":
-- 
cgit v1.2.3