fix registration-queue error in mcsat-model-hint - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

fix registration-queue error in mcsat-model-hint #477

Closed ahmed-irfan closed 7 months ago

ahmed-irfan commented 7 months ago

fixes an assertion violation
adds a test