Boogie:

* enhanced the printing of captured states
* addressed some warnings issued by VS 2010
* some code formatting

1 files changed, 1 insertions, 2 deletions

diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index c259febe..b6ce193a 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
@@ -156,7 +156,6 @@ namespace Microsoft.AbstractInterpretationFramework {
       FrameVertices = null;

       FrameRays = null;

       FrameLines = null;

-      IMutableSet ss;

       FrameDimensions.Clear();  // no implicit lines

     }

 

@@ -672,7 +671,7 @@ namespace Microsoft.AbstractInterpretationFramework {
       CHECK_NEXT_CONSTRAINT: {

         }

 #if DEBUG_PRINT

-        Console.WriteLine("Widen checking: done with that constraint");
+        Console.WriteLine("Widen checking: done with that constraint");

 #endif

       }