Update ci -- run mcsat with thread-safety

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

Update ci -- run mcsat with thread-safety #468

Closed ahmed-irfan closed 9 months ago

ahmed-irfan commented 9 months ago

This PR enables running yices-mcsat with the thread-safety option. We run it only with GCC, and not with clang because of the unavailability of thread-local storage.

markpmitchell commented 9 months ago

Looks good! I was meaning to get to that. Thanks!

coveralls commented 9 months ago

coverage: 65.098%. remained the same when pulling e6ad0761a579827212069a08dcde181e2b00814d on update-ci into 95f13c6777b9c262dc13aebd908aa52fda0892d2 on master.