Fix mcsat array optimization

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

Fix mcsat array optimization #512

Closed ahmed-irfan closed 2 months ago

coveralls commented 2 months ago

coverage: 65.728%. remained the same when pulling ad90f3a4df383c22f364eb39237615364bb0fb27 on ahmed-irfan-patch-1 into 61713b500cb6368205b2736e1441763774c32080 on master.