From b56539ef83628c27e0d32b0ef595263f40836c44 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 8 Aug 2011 13:03:37 -0700
Subject: various changes to boogie for bitvector analysis and bctprovider

---
 Source/BoogieDriver/BoogieDriver.cs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 82c864d5..3981536f 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -360,6 +360,11 @@ namespace Microsoft.Boogie {
       // Eliminate dead variables
       Microsoft.Boogie.UnusedVarEliminator.Eliminate(program);
 
+      // Do bitvector analysis
+      if (CommandLineOptions.Clo.DoBitVectorAnalysis) {
+        Microsoft.Boogie.BitVectorAnalysis.DoBitVectorAnalysis(program);
+      }
+
       // Collect mod sets
       if (CommandLineOptions.Clo.DoModSetAnalysis) {
         Microsoft.Boogie.ModSetCollector.DoModSetAnalysis(program);
-- 
cgit v1.2.3