Assertion failure in disconnect_external_propagator
BrunoDutertre opened this issue · comments
Bruno Dutertre commented
If you connect an external propagator to cadical then disconnect it without adding any observed variable,
the call to disconnect_external_propagator
will abort with an assertion failure:
Assertion failed: ((size_t) max_var + 1 == is_observed.size ()), function reset_observed_vars, file external.cpp, line 394.
Abort
Here's a minimal example that causes this: test2.cpp.
(I'm using cadical-1.9.1).
Armin Biere commented
Thanks, this one was a bogus assertion, when no variable was added ('max_var == 0').