diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-06-30 18:46:42 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-06-30 18:46:42 -0700 |
| commit | dfbb0d7413d68c094c6fc243ea57a3b720bdc048 (patch) | |
| tree | 68082b2cf61c1dfebe75488b948855151fba2cad /Test/test2/Implies.bpl | |
| parent | 7a145e0fdc83fe13a7e9819e9c13e19e1b785fae (diff) | |
Add /T: option to Z3 to kill it if it exceeds soft timeout by more than 1s
Diffstat (limited to 'Test/test2/Implies.bpl')
0 files changed, 0 insertions, 0 deletions