diff options
| author | lianah <lianahady@gmail.com> | 2013-04-12 16:15:30 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-04-30 15:54:24 -0400 |
| commit | 6a86536bd25fc7ffa305f25990cf37b8c6566c52 (patch) | |
| tree | 197b931f8f391a21eebbf097fd0f4b5adeb53c09 /src/theory/bv/options | |
| parent | e4f5359675972341858fe167f454ed5da4d8c115 (diff) | |
finished implementing bv to bool lifting and added --bv-to-bool option
Diffstat (limited to 'src/theory/bv/options')
| -rw-r--r-- | src/theory/bv/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/bv/options b/src/theory/bv/options index 2e53b029c..7b87baa21 100644 --- a/src/theory/bv/options +++ b/src/theory/bv/options @@ -19,5 +19,8 @@ option bitvectorInequalitySolver --bv-inequality-solver bool :default true option bitvectorCoreSolver --bv-core-solver bool turn on the core solver for the bit-vector theory + +option bvToBool --bv-to-bool bool + lift bit-vectors of size 1 to booleans when possible endmodule |