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/TPTP | |
| parent | e29ca07f28a9c54c46f4c45a3d77c3cf7254d07f (diff) | |
Boogie: output number of proof obligations (asserts) along with timing information when using the /trace option
Diffstat (limited to 'Source/Provers/TPTP')
| -rw-r--r-- | Source/Provers/TPTP/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/TPTP/ProverInterface.cs b/Source/Provers/TPTP/ProverInterface.cs index 424e36ac..662d45d3 100644 --- a/Source/Provers/TPTP/ProverInterface.cs +++ b/Source/Provers/TPTP/ProverInterface.cs @@ -240,7 +240,7 @@ USE_PREDICATES=<bool> Try to use SMT predicates for functions returning bool if (CommandLineOptions.Clo.Trace) {
DateTime end = DateTime.Now;
TimeSpan elapsed = end - start;
- Console.WriteLine("finished [{0} s] ", elapsed.TotalSeconds);
+ Console.WriteLine("finished [{0} s]", elapsed.TotalSeconds);
}
return res;
}
|