search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
374 stars 48 forks source link

test for issue #451 #503

Closed ahmed-irfan closed 7 months ago

coveralls commented 7 months ago

Coverage Status

coverage: 65.653% (+0.04%) from 65.612% when pulling 48394c09132597377e52fbc4d9e6e941dffaf3da on test-451 into 5806d76e2817d059e0de428ee3737db71ee8fa1d on master.