search

SRI-CSL / yices2

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

correct lemmas limit in the multi-check mode #484

Closed ahmed-irfan closed 9 months ago

coveralls commented 9 months ago

Coverage Status

coverage: 65.145% (-0.002%) from 65.147% when pulling c1298005f3f3fbe75bed2bb1166b2f868f7d633a on mcsat-lemma-limit-update into cda317cb1f9c73b36088663ae175d2494d182019 on master.