private void AnalyzeMethod(Method method, Dictionary <string, ICollection <string> > proofResults)
{
IMetaDataProvider metadataDecoder = this.analysis_driver.MetaDataProvider;
if (!metadataDecoder.HasBody(method))
{
return;
}
if (this.options.Method != null && !metadataDecoder.FullName(method).Contains(this.options.Method))
{
return;
}
var results = new List <string> ();
proofResults.Add(method.FullName, results);
try {
AnalyzeMethodInternal(method, results);
} catch (Exception e) {
results.Add("Exception: " + e.Message);
return;
}
results.Add(string.Format("Checked {0} assertions", results.Count));
}