diff options
| author |  kyessenov <unknown> | 2010-08-06 18:37:16 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-06 18:37:16 +0000 |
| commit | fc69ffb206b1cafe13f084a79c948f8deeb998ea (patch) | |
| tree | 15a3f7b028a49ac2df7f2d3247a001efffa4fee6 /Source/VCExpr | |
| parent | f4afe14d1b3f1176cf0509d8e6c7bd6cbaeadf02 (diff) | |
Chalice: terminate Boogie subprocess manually on interrupt; Z3 still stays alive though???
Diffstat (limited to 'Source/VCExpr')
0 files changed, 0 insertions, 0 deletions