diff options
| author |  rustanleino <unknown> | 2009-10-04 07:01:06 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-10-04 07:01:06 +0000 |
| commit | f0df4f110687974508a4c96e4ebb58a9cd7270c8 (patch) | |
| tree | b4ec1a6714d898c8f58057306a90ff40747d6be9 /Build | |
| parent | bdaa9996170aed0b2638962014fe80777b98d5c7 (diff) | |
Added /z3lets switch, which governs which kinds of LET expressions are sent to Z3. By default, both LET TERM and LET FORMULA expressions are used. Mode /z3lets:2 uses only LET FORMULA, which works around a current Z3 issue with LET expressions and nested quantifiers.
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions