search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

Win timeout #471

Closed markpmitchell closed 9 months ago

markpmitchell commented 9 months ago

Avoid use of global variables in timeouts on MinGW to avoid thread-safety issues.

Fixes #462

coveralls commented 9 months ago

Coverage Status

coverage: 65.098%. remained the same when pulling 01151625bc1e26da6cd6881307a48f0909cd06e5 on markpmitchell:win-timeout into eb9d447098a363eb0f16ed50925bf9853c4fe684 on SRI-CSL:master.