diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-08 00:15:01 +0200 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-08 00:15:01 +0200 |
commit | 8f64d5c104efe69c5d561c1b22c3e1320bba04fa (patch) | |
tree | fc009a8dbedbf2ea139e92261166349313a69d43 /Source/Core | |
parent | 5d509aecf42406ad94a76aac49342a37620fb829 (diff) |
Improve support for diagnosing timeouts.
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 6 |
1 files changed, 3 insertions, 3 deletions
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":
|