improved check for all assigned

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

improved check for all assigned #501

Closed ahmed-irfan closed 3 months ago

coveralls commented 3 months ago

coverage: 65.605% (-0.001%) from 65.606% when pulling 8d817fd15d692c768d8e2d91c3d2f0af3db3efdc on mcsat-array-improved-call into eb840af169ce7be1e63ca8d57073d8ca9a61a5c6 on master.