2 Repositories
Python smt Libraries
A fuzzing framework for SMT solvers
yinyang A fuzzing framework for SMT solvers. Given a set of seed SMT formulas, yinyang generates mutant formulas to stress-test SMT solvers. yinyang c
145 Jan 4, 2023
Klara is a static analysis tools to automatic generate test case, based on SMT (z3) solver, with a powerful ast level inference system.
Automatic test case generation for python and static analysis library
253 Dec 21, 2022