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/VCGeneration/VC.ssc | |
| parent | a4f2bf6414f35907ab135cc6723683fe632467c4 (diff) | |
Use callback mechanism to report prover warnings; do not just write them to stdout/stderr
Diffstat (limited to 'Source/VCGeneration/VC.ssc')
| -rw-r--r-- | Source/VCGeneration/VC.ssc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/VCGeneration/VC.ssc b/Source/VCGeneration/VC.ssc index bfdcf6c6..0644c14f 100644 --- a/Source/VCGeneration/VC.ssc +++ b/Source/VCGeneration/VC.ssc @@ -1704,6 +1704,11 @@ namespace VC {
resourceExceededMessage = msg;
}
+
+ public override void OnProverWarning(string! msg)
+ {
+ callback.OnWarning(msg);
+ }
}
public class ErrorReporterLocal : ErrorReporter {
|