diff options
| author |  rustanleino <unknown> | 2009-11-26 02:09:15 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-26 02:09:15 +0000 |
| commit | 21d86917fe235479e1a3b8e9ee20d5e6d67a8ad5 (patch) | |
| tree | 796d09ca6bdb0bdb5bea4ede696bc90620219bd7 /Source/VCGeneration/ConditionGeneration.ssc | |
| parent | 6a14224aabbdf2145bf522b526313719e9373202 (diff) | |
Added code to (once again) print out prover warnings (under the /proverWarning switch).
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.ssc')
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.ssc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.ssc b/Source/VCGeneration/ConditionGeneration.ssc index 77df5476..e0088bb8 100644 --- a/Source/VCGeneration/ConditionGeneration.ssc +++ b/Source/VCGeneration/ConditionGeneration.ssc @@ -123,6 +123,18 @@ namespace Microsoft.Boogie public virtual void OnWarning(string! msg)
{
+ switch (CommandLineOptions.Clo.PrintProverWarnings) {
+ case CommandLineOptions.ProverWarnings.None:
+ break;
+ case CommandLineOptions.ProverWarnings.Stdout:
+ Console.WriteLine("Prover warning: " + msg);
+ break;
+ case CommandLineOptions.ProverWarnings.Stderr:
+ Console.Error.WriteLine("Prover warning: " + msg);
+ break;
+ default:
+ assume false; // unexpected case
+ }
}
}
}
|