diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-12 11:30:40 +0200 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-12 11:30:40 +0200 |
| commit | 0e851041485039a07684e0db5b584cd1237d3dfd (patch) | |
| tree | fec12383f18cad093738522732a8c23e819cb13d /Source/Core | |
| parent | 2920db784b61f02b6d68e249bc3b1c6d1cf26efd (diff) | |
Minor changes
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 | ||||
| -rw-r--r-- | Source/Core/LambdaHelper.cs | 1 |
2 files changed, 1 insertions, 2 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 {
diff --git a/Source/Core/LambdaHelper.cs b/Source/Core/LambdaHelper.cs index a2b0f143..16e75760 100644 --- a/Source/Core/LambdaHelper.cs +++ b/Source/Core/LambdaHelper.cs @@ -67,7 +67,6 @@ namespace Microsoft.Boogie { string FreshLambdaFunctionName()
{
- // TODO(wuestholz): Should we use a counter per top-level declaration?
return string.Format("lambda#{0}", lambdaid++);
}
|