Try the foorbar function smt-encoding using online SMT solver CVC4. The solver finds input values that violate an assertion in the program.
farif / foobar Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mfarif/foobar
Symbolic encoding of a C program.