diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-08 13:03:37 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-08 13:03:37 -0700 |
| commit | b56539ef83628c27e0d32b0ef595263f40836c44 (patch) | |
| tree | 456031e52cfeddf442691bfc62f14232eede5617 /Source/BoogieDriver | |
| parent | 87946bf9c24a394c93dc3ffbae7c544640e8c120 (diff) | |
various changes to boogie for bitvector analysis and bctprovider
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 5 |
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);
|