search

4tXJ7f / cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Other
2 stars 5 forks source link

Investigate Portfolio failure #7

Closed 4tXJ7f closed 7 years ago

4tXJ7f commented 7 years ago

Check why the portfolio build has issues. This might not be worth fixing right now if it is due to multiple copies of the SMTEngine coexisting.

4tXJ7f commented 7 years ago

Alright, it looks like the issue is being caused by multiple threads executing processAssertions(), so this i probably not worth fixing right now because we anyway want to make it possible to have multiple copies of a preprocessing pass.