summaryrefslogtreecommitdiff
path: root/Source/Core
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Core')
-rw-r--r--Source/Core/CommandLineOptions.cs2
-rw-r--r--Source/Core/LambdaHelper.cs1
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++);
}