diff options
| author |  Jason Koenig <unknown> | 2011-05-26 17:11:48 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-05-26 17:11:48 -0700 |
| commit | f56fdb444e20f7b66ac65f4ca0b4dc892617a796 (patch) | |
| tree | 2da1a464cadd54ec10012d54f1b59369b53576c6 /Util | |
| parent | 8d353c7dca06d1121a3751efbb4a85721d81b2dd (diff) | |
VisualStudio plugin now informs the user of a timeout.
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Integration/IronyLanguageService.cs | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/IronyLanguageService.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/IronyLanguageService.cs index aed73699..b9a0ca22 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Integration/IronyLanguageService.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Integration/IronyLanguageService.cs @@ -172,9 +172,26 @@ namespace Demo //string result = reader.ReadToEnd();
//Console.Write(result);
- for (string line = reader.ReadLine(); !String.IsNullOrEmpty(line); line = reader.ReadLine()) {
+ for (string line = reader.ReadLine(); line != null; line = reader.ReadLine()) {
// the lines of interest have the form "filename(line,col): some_error_label: error_message"
// where "some_error_label" is "Error" or "syntax error" or "Error BP5003" or "Related location"
+ if (line.Equals("")) continue;
+ if (line.StartsWith("Dafny program verifier finished with") && line.Contains("time out"))
+ {
+ try
+ {
+ AddErrorBecauseOfToolProblems(req, "Verification timed out.");
+ }
+ catch (System.FormatException)
+ {
+ continue;
+ }
+ catch (System.OverflowException)
+ {
+ continue;
+ }
+ continue;
+ }
string message;
int n = line.IndexOf("): ", 2); // we start at 2, to avoid problems with "C:\..."
if (n == -1) {
|