Fix Typo in 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 Typo in initial var order #508

Closed ahmed-irfan closed 2 months ago

ahmed-irfan commented 2 months ago

Fixes a bug in setting initial variable ordering
adds a test

coveralls commented 2 months ago

coverage: 65.678% (+0.009%) from 65.669% when pulling e3d51bf9d525f005220fa7a86e6140cc7268c52f on test-initial-order into 3b93035e0f3e3e34986117806226a6cd016adba9 on master.