Displaying 1 result from an estimated 1 matches for "d914c8ea".
2018 Sep 21
1
[cfe-dev] SMT solvers in clang SA
We are currently implementing the backends for other solvers (you can
follow the progress here: https://github.com/mikhailramalho/clang). So far
we got Boolector, MathSAT and Yices ready. CVC4 should be done soon.
When used to refute bugs, they all give roughly the same results: a ~5%
speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted.
I've only tried to analyze one