filter select terms according to array terms

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

filter select terms according to array terms #447

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

coverage: 64.241% (+0.007%) from 64.234% when pulling 2e500ce3938319b6ad303a7c182f0683a7e06f6d on mcsat-arrays-fix into 36cee66d04de90da35fab6131bebdc45b6d74342 on master.