Beispiel #1
0
 public static void endProgVerification()
 {
     Debug.Assert(verifyingProg);
     verifyingProg = false;
     BoogieVerify.setTimeOut(0);
     Stats.ProgCallTreeSize         = BoogieVerify.CallTreeSize;
     Stats.programVerificationTime += (DateTime.Now - startTime);
 }
Beispiel #2
0
        public static void beginProgVerification()
        {
            Debug.Assert(!verifyingPath && !verifyingProg);
            verifyingProg = true;

            Stats.programVerificationQueries++;

            // Set timeout
            BoogieVerify.setTimeOut(GlobalConfig.getTimeLeft());

            BoogieVerify.options = progVerifyOptions;

            // AL: adding logging
            //CommandLineOptions.Clo.ProverLogFilePath = "logProg";
            startTime = DateTime.Now;
        }