From 872eb6b59a7018e45686f6ed77c9f730a251963c Mon Sep 17 00:00:00 2001
From: akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>
Date: Sun, 5 Apr 2015 19:45:38 +0530
Subject: VC gen for security properties

---
 Source/Provers/SMTLib/ProverInterface.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/Provers')

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index a62fa25a..868b9ee3 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -74,7 +74,8 @@ namespace Microsoft.Boogie.SMTLib
 
       SetupProcess();
 
-      if (CommandLineOptions.Clo.StratifiedInlining > 0 || CommandLineOptions.Clo.ContractInfer)
+      if (CommandLineOptions.Clo.StratifiedInlining > 0 || CommandLineOptions.Clo.ContractInfer
+          || CommandLineOptions.Clo.SecureVcGen != null)
       {
           // Prepare for ApiChecker usage
           if (options.LogFilename != null && currentLogFile == null)
-- 
cgit v1.2.3