diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-09 17:08:16 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-09 17:08:16 -0800 |
| commit | ea8f475d9f26ac46339bbaca436035b1b75c671d (patch) | |
| tree | 5619777f8702441b97f2c0032a9114fc5e1edb43 /Source/Provers/Z3 | |
| parent | e29ca07f28a9c54c46f4c45a3d77c3cf7254d07f (diff) | |
Boogie: output number of proof obligations (asserts) along with timing information when using the /trace option
Diffstat (limited to 'Source/Provers/Z3')
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs index 388cf91b..45f2d098 100644 --- a/Source/Provers/Z3/ProverInterface.cs +++ b/Source/Provers/Z3/ProverInterface.cs @@ -350,7 +350,7 @@ REVERSE_IMPLIES=<bool> Encode P==>Q as Q||!P. if (CommandLineOptions.Clo.Trace) {
TimeSpan elapsed = DateTime.Now - start;
- Console.WriteLine("finished [{0} s] ", elapsed.TotalSeconds);
+ Console.WriteLine("finished [{0} s]", elapsed.TotalSeconds);
}
return res;
}
|