From dc793907a586228de24e496e1eb6526bd35282fb Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Thu, 9 May 2013 13:31:17 -0700 Subject: [PATCH] added rule names to duality output --- src/muz_qe/duality_dl_interface.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/muz_qe/duality_dl_interface.cpp b/src/muz_qe/duality_dl_interface.cpp index 1aee09f3f..c8a048a6a 100644 --- a/src/muz_qe/duality_dl_interface.cpp +++ b/src/muz_qe/duality_dl_interface.cpp @@ -240,6 +240,10 @@ static void print_proof(dl_interface *d, std::ostream& out, Solver::Counterexamp out << " " << cex.tree->Eval(&edge,edge.F.IndParams[i]); out << ")\n"; + // print the rule number + + out << " rule!" << node.Outgoing->map->number; + // print the substitution out << " (subst\n";