Skip to content

bitwuzla: Do not error when option incremental is set to false.#371

Merged
yoni206 merged 1 commit intostanford-centaur:mainfrom aniemetz:bitwuzla-incFeb 14, 2025

Commits

Commits on Feb 13, 2025