From 0e851041485039a07684e0db5b584cd1237d3dfd Mon Sep 17 00:00:00 2001
From: Valentin Wüstholz <wuestholz@gmail.com>
Date: Fri, 12 Jun 2015 11:30:40 +0200
Subject: Minor changes

---
 Source/Core/CommandLineOptions.cs | 2 +-
 Source/Core/LambdaHelper.cs       | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'Source/Core')

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++);
       }
 
-- 
cgit v1.2.3