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

remove duplicated code about hints in mcsat #529

Closed ahmed-irfan closed 2 months ago

coveralls commented 2 months ago

Coverage Status

coverage: 65.923% (+0.001%) from 65.922% when pulling ca0a8441771856f204e5212b3a3326be436ea52a on ahmed-irfan-patch-1 into 1af326bf069d03e50f3d20e786ad08e5d3f50101 on master.