diff options
| author | lianah <lianahady@gmail.com> | 2013-03-27 17:48:39 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-03-27 17:48:39 -0400 |
| commit | 2d091366f7d437c3839307b1ad732a6999333fe0 (patch) | |
| tree | 2c732988e40f59a66ec016791325cb244ce5fb08 /src/theory/bv/options | |
| parent | f2335d2b64dc0c7e521aea6ea29088b8de7a3ca0 (diff) | |
reverted the core solver to do static slicing, added option --bv-core-solver
Diffstat (limited to 'src/theory/bv/options')
| -rw-r--r-- | src/theory/bv/options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/bv/options b/src/theory/bv/options index 8e01c6572..cdc02c9ad 100644 --- a/src/theory/bv/options +++ b/src/theory/bv/options @@ -16,4 +16,8 @@ option bitvectorEagerFullcheck --bitblast-eager-fullcheck bool option bitvectorInequalitySolver --bv-inequality-solver bool turn on the inequality solver for the bit-vector theory + +option bitvectorCoreSolver --bv-core-solver bool + turn on the core solver for the bit-vector theory + endmodule |