1 files changed, 5 insertions, 0 deletions
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);