diff options
| author | lianah <lianahady@gmail.com> | 2013-03-26 16:55:29 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-03-26 16:55:29 -0400 |
| commit | 33a5c0897bdbfb8367dfa90342471615908df1bc (patch) | |
| tree | 2a626875762ecc7ad4f04002a78b2253ab5ad519 /src | |
| parent | a15bf2140e45d76f98f0887be6461618c884589d (diff) | |
core theory currently disabled
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/bv/slicer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index 23ae5beec..121802b65 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -777,8 +777,8 @@ void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp, std::ve bool Slicer::isCoreTerm(TNode node) { if (d_coreTermCache.find(node) == d_coreTermCache.end()) { Kind kind = node.getKind(); - if (kind != kind::BITVECTOR_EXTRACT && - kind != kind::BITVECTOR_CONCAT && + if (//kind != kind::BITVECTOR_EXTRACT && + //kind != kind::BITVECTOR_CONCAT && kind != kind::EQUAL && kind != kind::STORE && kind != kind::SELECT && |