diff options
author | 2011-06-30 18:46:42 -0700 | |
---|---|---|
committer | 2011-06-30 18:46:42 -0700 | |
commit | dfbb0d7413d68c094c6fc243ea57a3b720bdc048 (patch) | |
tree | 68082b2cf61c1dfebe75488b948855151fba2cad /Source/VCGeneration/Check.cs | |
parent | 7a145e0fdc83fe13a7e9819e9c13e19e1b785fae (diff) |
Add /T: option to Z3 to kill it if it exceeds soft timeout by more than 1s
Diffstat (limited to 'Source/VCGeneration/Check.cs')
0 files changed, 0 insertions, 0 deletions