diff options
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":
|