Mcsat ufnra model fix - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

374 stars 48 forks source link

Mcsat ufnra model fix #518

Closed ahmed-irfan closed 5 months ago

coveralls commented 5 months ago

coverage: 65.73% (+0.002%) from 65.728% when pulling c5994afda83df76d5e56dc4290a8854cf125fe88 on mcsat-ufnra-model-fix into f06761440620cb803af6275baaefd3cbe880bb70 on master.

coveralls commented 5 months ago

coverage: 65.726% (+0.002%) from 65.724% when pulling 2e3187456ff0c860a24ef5be2ad090da55be56b6 on mcsat-ufnra-model-fix into 5df56b74de22f96d2d3e33a5572270bbb7c15cdc on master.