diff options
| author | lianah <lianahady@gmail.com> | 2014-06-19 18:19:25 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
| commit | 61258d16bb812c5b5c8fb8dade1d2b497c69570b (patch) | |
| tree | e41f8ee86b56b031849b021654eec1915097a063 /src/theory/bv/theory_bv.h | |
| parent | 0e2bf5fc8906214ed4c210c7c4f91657cc41d025 (diff) | |
added model generation to eager bit-blasting and turned abc off by default
Diffstat (limited to 'src/theory/bv/theory_bv.h')
| -rw-r--r-- | src/theory/bv/theory_bv.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index 683f002cf..e96df8df2 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -209,6 +209,7 @@ private: friend class LazyBitblaster; friend class TLazyBitblaster; + friend class EagerBitblaster; friend class BitblastSolver; friend class EqualitySolver; friend class CoreSolver; |