Fix interpolant with empty model

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 interpolant with empty model #510

Closed ahmed-irfan closed 2 months ago

coveralls commented 2 months ago

coverage: 65.716% (+0.04%) from 65.678% when pulling 1769a434cbbba74066314c35d52209782c0a8159 on fix-interpolant-with-empty-model into 3393fdab58187d1ad79ab1141392ed4381c27db6 on master.