fix logic classification of regress tests for mcsat uf - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

368 stars 46 forks source link

fix logic classification of regress tests for mcsat uf #412

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

Fix logic classfication of UF regression tests for the mcsat case.
Add options files for those cases