commented out SuperAwesomeMethod

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 013d7900..965939fc 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -1929,6 +1929,7 @@ namespace VC
           calleeToCallSites[callee].Remove(cs);

         }

 

+#if SuperAwesomeMethod  

         private Outcome FindUnsatCoreInMainCallees(Implementation impl, ApiChecker checker, VCExpressionGenerator Gen, PCBErrorReporter reporter, List<VCExpr> assumptions, out HashSet<VCExprVar> unsatCore)

         {

           Debug.Assert(checker is ApiChecker);

@@ -1950,7 +1951,7 @@ namespace VC
           }

           return Outcome.Correct;

         }

-

+      

         private Outcome FindUnsatCore(Implementation impl, ApiChecker checker, VCExpressionGenerator Gen, PCBErrorReporter reporter, List<VCExpr> assumptions, out HashSet<VCExprVar> unsatCore)

         {

           Helpers.ExtraTraceInformation("Number of assumptions = " + assumptions.Count);

@@ -2174,8 +2175,7 @@ namespace VC
             InlineIntoMain(checker, impl, unsatCore);

           }

         }

-

-        

+#endif

 

         // A step of the stratified inlining algorithm: both under-approx and over-approx queries

         private Outcome stratifiedStep(int bound, VerificationState vState, HashSet<int> block)