public static void endProgVerification()
{
Debug.Assert(verifyingProg);
verifyingProg = false;
BoogieVerify.setTimeOut(0);
Stats.ProgCallTreeSize = BoogieVerify.CallTreeSize;
Stats.programVerificationTime += (DateTime.Now - startTime);
}
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;
}
