Fix mcsat-initial-var-order

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-initial-var-order #507

Closed ahmed-irfan closed 3 months ago

coveralls commented 3 months ago

coverage: 65.669%. remained the same when pulling a6857a5680ee733efab0b682ae1444d8f76f3080 on ahmed-irfan-patch-1 into 184a9695a6584c144d7cc8c42ff69a49a06da485 on master.