diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/Checker.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs index 30056d99..d9da29cc 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -238,6 +238,7 @@ namespace Microsoft.Boogie.Houdini { stats.proverTime += queryTime;
stats.numProverQueries++;
if (CommandLineOptions.Clo.Trace) {
+ Console.WriteLine("Outcome = " + proverOutcome);
Console.WriteLine("Time taken = " + queryTime);
}
|