mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

debugging code in duality

Browse source
This commit is contained in:
Ken McMillan 2014-05-09 13:10:03 -07:00
parent 2a887a7608
commit 90ca1b95c0
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/duality/duality_solver.cpp
View file

@ -3043,6 +3043,7 @@ namespace Duality {
}; };
}; };
static int stop_event = -1;
class StreamReporter : public Reporter { class StreamReporter : public Reporter {
std::ostream &s; std::ostream &s;
@ -3052,6 +3053,9 @@ namespace Duality {
int event; int event;
int depth; int depth;
void ev(){ void ev(){
if(stop_event == event){
std::cout << "stop!";
}
s << "[" << event++ << "]" ; s << "[" << event++ << "]" ;
} }
virtual void Extend(RPFP::Node *node){ virtual void Extend(RPFP::Node *node){