diff options
Diffstat (limited to 'src/proof/cnf_proof.cpp')
| -rw-r--r-- | src/proof/cnf_proof.cpp | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/proof/cnf_proof.cpp b/src/proof/cnf_proof.cpp index d7672f1b4..016198735 100644 --- a/src/proof/cnf_proof.cpp +++ b/src/proof/cnf_proof.cpp @@ -161,10 +161,14 @@ void CnfProof::setCnfDependence(Node from, Node to) { } void CnfProof::pushCurrentAssertion(Node assertion) { - Debug("proof:cnf") << "CnfProof::pushCurrentAssertion " - << assertion << std::endl; + Debug("proof:cnf") << "CnfProof::pushCurrentAssertion " << assertion + << std::endl; d_currentAssertionStack.push_back(assertion); + + Debug("proof:cnf") << "CnfProof::pushCurrentAssertion " + << "new stack size = " << d_currentAssertionStack.size() + << std::endl; } void CnfProof::popCurrentAssertion() { @@ -174,6 +178,10 @@ void CnfProof::popCurrentAssertion() { << d_currentAssertionStack.back() << std::endl; d_currentAssertionStack.pop_back(); + + Debug("proof:cnf") << "CnfProof::popCurrentAssertion " + << "new stack size = " << d_currentAssertionStack.size() + << std::endl; } Node CnfProof::getCurrentAssertion() { |