diff options
| author |  stefanheule <unknown> | 2012-09-11 18:57:25 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-09-11 18:57:25 +0200 |
| commit | 9a1dae807d9ddd0037758050285f6c46eb295717 (patch) | |
| tree | 00ef8d6602dcaa5a514abbef6eaf0de1c431d07d /Chalice/tests/predicates/setset.output.txt | |
| parent | ffc4dad0c8670a1fb2d8d5fbdda491d35d8f5130 (diff) | |
Chalice: New command line parameter /time:<n> that allows to output timing information (with varying verbosity). By default, the overall verification time is output.
Diffstat (limited to 'Chalice/tests/predicates/setset.output.txt')
0 files changed, 0 insertions, 0 deletions