potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver

Home Page:https://potassco.org/clasp/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Exception in statistics callback is not propagated when yielding models.

rkaminsk opened this issue · comments

When an exception is thrown in a statistics callback it is not propagated when yielding models. Would be cool if it work just like it does with the on_model and on_finish handlers.

Sorry, I was reading the test output wrong. Everything works as expected.