diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index 133dc33f..2d1836c6 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -190,6 +190,7 @@ namespace Microsoft.Boogie { ogTransform.Transform();
LinearSetTransform linearTransform = new LinearSetTransform(program);
linearTransform.Transform();
+ PrintBplFile("OwickiGriesDesugared.bpl", program, false);
EliminateDeadVariablesAndInline(program);
|