diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-21 14:51:40 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-21 14:51:40 -0700 |
| commit | c7abae9182c020e3f3f05e6e4d999163672fe387 (patch) | |
| tree | c9ae1b9a560bd2a1f17c1d6ad1feb1f5ee57b1d6 /Util | |
| parent | 1ac82df441e621fce2f38d53b5d17c69650d7358 (diff) | |
DafnyExtensions: better error handling
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs index 5fa7d91c..33f00ab2 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs @@ -199,11 +199,9 @@ namespace DafnyLanguage }
});
if (!success) {
- newErrors.Clear();
newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error"));
}
} catch (Exception e) {
- newErrors.Clear();
newErrors.Add(new DafnyError(0, 0, ErrorCategory.InternalError, "verification process error: " + e.Message));
}
errorListHolder.PopulateErrorList(newErrors, true, snapshot);
|