mcsat-array: fresh decision values for functions

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-array: fresh decision values for functions #428

Closed ahmed-irfan closed 1 year ago

coveralls commented 1 year ago

Coverage: 64.21% (+0.002%) from 64.208% when pulling 0b3b218ef772d5f6f61df7b889ec1080f11872b3 on unique-fun-decision into 1f1b16e264925ec661c1e0296ca17383c6c698ba on master.