fix mingw strerror_r issue

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

fix mingw strerror_r issue #460

Closed ahmed-irfan closed 9 months ago

ahmed-irfan commented 9 months ago

strerror_r is not available under windows.

This PR fixes this by using strerror (thread safe under windows)

coveralls commented 9 months ago

coverage: 65.098%. remained the same when pulling 0401d9fea9ccd150b337656c60544f2e7c785b08 on fix-strerror-mingw into ef6ccf72daebd114807733d3758cdb400c6c5994 on master.

markpmitchell commented 9 months ago

Looks good to me.