SRI-CSL / yices2

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

fixes #440 #441

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

Coverage Status

Coverage: 64.228% (+0.004%) from 64.224% when pulling 4d9a389d54b1301f774d6f6426483c8381acb075 on iss440-fix into f5b4e1811a09bec0574a36c99e790af4b05f210b on master.