search

SRI-CSL / yices2

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

mcsat arrays finite #442

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

extra read term is only added if the index is finite

coveralls commented 1 year ago

Coverage Status

Coverage: 64.208% (-0.02%) from 64.23% when pulling 516ffca15dcc7f6a23d0b1ed81e7b61658666408 on mcsat-array-finite into 6e5b85ae7758a42f76080ac0449202e3239df8ae on master.