diff options
| author |  akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-04-05 19:45:38 +0530 |
|---|---|---|
| committer | akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com> | 2015-04-05 19:45:38 +0530 |
| commit | 872eb6b59a7018e45686f6ed77c9f730a251963c (patch) | |
| tree | 5cde256e200712db15226fca659a3d5e7f7b5ed6 /Source/ExecutionEngine/ExecutionEngine.cs | |
| parent | bd71be7f9a06ba86e8271615ffc11c48bf1de372 (diff) | |
VC gen for security properties
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 7756973d..31a69c6e 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1060,6 +1060,9 @@ namespace Microsoft.Boogie #endregion
+ if (SecureVCGen.outfile != null)
+ SecureVCGen.outfile.Close();
+
return outcome;
}
@@ -1290,9 +1293,13 @@ namespace Microsoft.Boogie {
vcgen = new StratifiedVCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, checkers);
}
+ else if (CommandLineOptions.Clo.SecureVcGen != null)
+ {
+ vcgen = new SecureVCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, checkers);
+ }
else
{
- vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, checkers);
+ vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, checkers);
}
return vcgen;
}
|