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

Mcsat array simplify var bump #496

Closed ahmed-irfan closed 6 months ago

coveralls commented 6 months ago

Coverage Status

coverage: 65.529% (+0.002%) from 65.527% when pulling fdf86b43252f138d9bcfb6aa8db9d5906ab509d2 on mcsat-array-simplify-var-bump into d62a1fea29eb2c378a0320b58574ae631ceda7f8 on master.