search

testsmt / yinyang

A fuzzing framework for SMT solvers
https://testsmt.github.io/
MIT License
185 stars 23 forks source link

integration tests for sat fusion and unsat fusion #29

Closed wintered closed 3 years ago

wintered commented 3 years ago

Addressing https://github.com/testsmt/yinyang/issues/9 which was mistakenly already believed to be solved (and hence closed).