diff options
| author | lianah <lianahady@gmail.com> | 2013-02-04 21:16:55 -0500 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-02-04 21:16:55 -0500 |
| commit | 8aaee8d5acce9887329f3e5a6fdeb425e428ec79 (patch) | |
| tree | bb353b395126f8aede271548fea7af3bf888255a /src/theory/bv/slicer.cpp | |
| parent | 764bda53ed154495286d7ff117aa7182a8ce5f7b (diff) | |
Fixing regression failure. The only unfixed ones seem model related which would require some graph coloring algorithm.
Diffstat (limited to 'src/theory/bv/slicer.cpp')
| -rw-r--r-- | src/theory/bv/slicer.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index 55402251d..87295e8f6 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -481,6 +481,7 @@ void Slicer::getBaseDecomposition(TNode node, std::vector<Node>& decomp) { current_low += current_size; decomp.push_back(current); } + // cache the result Debug("bv-slicer") << "as ["; for (unsigned i = 0; i < decomp.size(); ++i) { |