Update test_model_hint.c

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

Update test_model_hint.c #505

Closed ahmed-irfan closed 3 months ago

coveralls commented 3 months ago

coverage: 65.614% (+0.002%) from 65.612% when pulling de6e86485b1206ad3afe408fc4993a153b6daf15 on ahmed-irfan-patch-2 into 5806d76e2817d059e0de428ee3737db71ee8fa1d on master.