test example for the mcsat-var-order option

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

test example for the mcsat-var-order option #476

Closed ahmed-irfan closed 7 months ago

coveralls commented 7 months ago

coverage: 65.144% (+0.08%) from 65.069% when pulling bc244648b750fb6d4f1619e64297a48e9b7b66c4 on test-var-order into 827cd9cb39f5334521a04800f27de59085f7e86d on master.