fix array check - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

363 stars 45 forks source link

fix array check #439

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

Coverage: 64.233%. Remained the same when pulling 8d86684d3c8adcf07760e9f7e509ff43eed0a63d on mcsat-array-patch-1 into fca90c671bc3ec280760c2c17f25024b80f8d84d on master.