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)); }