diff options
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.cpp')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_to_int.cpp b/src/preprocessing/passes/bv_to_int.cpp index 47170c607..04d6b7a0c 100644 --- a/src/preprocessing/passes/bv_to_int.cpp +++ b/src/preprocessing/passes/bv_to_int.cpp @@ -77,7 +77,13 @@ Node BVToInt::modpow2(Node n, uint64_t exponent) */ Node BVToInt::makeBinary(Node n) { - for (TNode current : NodeDfsIterable(n, VisitOrder::POSTORDER)) + for (TNode current : NodeDfsIterable(n, + VisitOrder::POSTORDER, + // skip visited nodes + [this](TNode tn) { + return d_binarizeCache.find(tn) + != d_binarizeCache.end(); + })) { uint64_t numChildren = current.getNumChildren(); /* |