Yices global lock in egraph final check - 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

Yices global lock in egraph final check #487

Open Saloed opened 8 months ago

Saloed commented 8 months ago

It seems like there are no reasons to acquire yices global lock during egraph final_check. https://github.com/SRI-CSL/yices2/blob/ecac3fd9d28ac3ed3de194613c36bb86115b4b3d/src/solvers/egraph/egraph.c#L6326