diff options
| author |  stobies <unknown> | 2009-09-07 09:50:49 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2009-09-07 09:50:49 +0000 |
| commit | deb203b5944c966d72c2884a425a450e93d49ad3 (patch) | |
| tree | 45e2e7ae67ba7ca179030ac8e8646cd330264d0b /Source/Provers/Z3 | |
| parent | a4f2bf6414f35907ab135cc6723683fe632467c4 (diff) | |
Use callback mechanism to report prover warnings; do not just write them to stdout/stderr
Diffstat (limited to 'Source/Provers/Z3')
| -rw-r--r-- | Source/Provers/Z3/Prover.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Prover.ssc b/Source/Provers/Z3/Prover.ssc index d3212a9c..13c71814 100644 --- a/Source/Provers/Z3/Prover.ssc +++ b/Source/Provers/Z3/Prover.ssc @@ -247,7 +247,7 @@ namespace Microsoft.Boogie.Z3 if (line.StartsWith("WARNING: ")) {
string w = line.Substring(9);
- ReportWarning(w);
+ handler.OnProverWarning(w);
continue;
}
|