fix assertion violation in uf_plugin model

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

370 stars 47 forks source link

fix assertion violation in uf_plugin model #446

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

coverage: 64.235% (-0.006%) from 64.241% when pulling 685605a385641fb794eee019853aa73544ccbf41 on mcsat_uf_model_fix into d6448c122270684ffb308fd8d6f3ca09266f50df on master.