From d7f9a3b37d1ac7b4fdccf1e317119cadbbf769ca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 11 Nov 2017 11:27:10 -0800 Subject: [PATCH] fix crash bugs in sat solver Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index d2a1b8b16..149d6feea 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -566,9 +566,6 @@ namespace sat { void solver::detach_nary_clause(clause & c) { clause_offset cls_off = get_offset(c); - if (c.id() == 62805 && c.capacity() == 29) { - std::cout << "detach: " << c[0] << " " << c[1] << " size: " << c.size() << " cap: " << c.capacity() << " id: " << c.id() << "\n"; - } erase_clause_watch(get_wlist(~c[0]), cls_off); erase_clause_watch(get_wlist(~c[1]), cls_off); }