public void PrintSummary(VC.ConditionGeneration.Outcome outcome, string addInfo = null)
{
if (!this.outcomeReported)
{
this.outcomeReported = true;
this.errorHandler.ReportOutcomeMethodSummary(this.name, this.tok, outcome, addInfo, this.startTime, this.proverWarnings);
}
}
public void ReportOutcomeMethodSummary(string methodName, IToken tok, VC.ConditionGeneration.Outcome outcome, string addInfo, double startTime, IEnumerable <string> proverWarnings)
{
if (outcome != VC.ConditionGeneration.Outcome.Correct)
{
VccCommandLineHost.IncreaseErrorCount();
}
Logger.Instance.LogMethodSummary(methodName, tok.ToLocation(), (Outcome)(int)outcome, addInfo, GetTime() - startTime);
if (!commandLineOptions.RunTestSuite)
{
foreach (var proverWarning in proverWarnings)
{
Logger.Instance.Warning("Prover warning: {0}", proverWarning);
}
}
}
