mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
remove assert on failed label compuation in duality
This commit is contained in:
parent
673ba137e5
commit
1b9f1ea6b3
|
@ -1492,7 +1492,7 @@ namespace Duality {
|
|||
}
|
||||
}
|
||||
/* Unreachable! */
|
||||
throw "error in RPFP::GetLabelsRec";
|
||||
// throw "error in RPFP::GetLabelsRec";
|
||||
goto done;
|
||||
}
|
||||
else if(k == Not) {
|
||||
|
|
|
@ -1620,6 +1620,7 @@ namespace Duality {
|
|||
#ifdef USE_CACHING_RPFP
|
||||
cache_ls->slvr->pop(1);
|
||||
delete cache_ls;
|
||||
tree->ls = rpfp->ls;
|
||||
#endif
|
||||
timer_stop("Derive");
|
||||
return res;
|
||||
|
|
Loading…
Reference in a new issue