diff options
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 1564b76b..b57ea02a 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -561,7 +561,7 @@ namespace Microsoft.Boogie { public bool UseLabels = true;
public bool RunDiagnosticsOnTimeout = false;
public bool TraceDiagnosticsOnTimeout = false;
- public int TimeLimitPerAssertionInPercent = 20;
+ public int TimeLimitPerAssertionInPercent = 10;
public bool SIBoolControlVC = false;
public bool MonomorphicArrays {
get {
|