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

Array tests #434

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

Coverage Status

Coverage: 64.252% (+0.005%) from 64.247% when pulling 04569ac8f9a0444dd21fc4c37121de09975777a8 on array-tests into ae6aa42219c7aa260a5056564c1a76911261f0ef on master.