Added mcsat-regress - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

370 stars 47 forks source link

Added mcsat-regress #491

Closed Ovascos closed 7 months ago

Ovascos commented 7 months ago

Allows to run yices regression for mcsat only.

coveralls commented 7 months ago

coverage: 65.531%. remained the same when pulling b6aa15f670958cca10c5e66f750b4a4ddad0356f on Ovascos:mcsat-regress into 5326f0d645df6e38ae6e7d944381d01ba7d805ab on SRI-CSL:master.