Fix issue #615: crash in mcsat_value_construct_from_value during interpolation.#624

Merged

disteph merged 8 commits intomasterfrom

fix-issue-615-interpolation-crash

May 8, 2026

Commits on May 5, 2026

Fix issue #615: crash in mcsat_value_construct_from_value during interpolation
disteph
committed
test_issue_615: replace assert() with CHECK() macro
disteph
committed
test_issue_615: drop CHECK macro, use plain assert + (void)s
disteph
committed