diff options
| author |  mkawa <unknown> | 2009-12-05 06:31:24 +0000 |
|---|---|---|
| committer | mkawa <unknown> | 2009-12-05 06:31:24 +0000 |
| commit | 786e335fbfe03ca283fd9dd784251802f6a88f19 (patch) | |
| tree | 6cb619cc83015da3fed3d07948c766fd0370b5ad /Source/VCExpr/Boogie2VCExpr.ssc | |
| parent | 484464cefdef3c894a2b831e8628b370e3554b90 (diff) | |
Z3 parameters to help it bail out of fruitless searches faster
print _all_ the attributes of an assert this time
add simpletypes to the visitor
Diffstat (limited to 'Source/VCExpr/Boogie2VCExpr.ssc')
0 files changed, 0 insertions, 0 deletions