Fuzzing setup
SMT-LIB seeds
To select SMT-LIB seed files for fuzzing SMT solvers with yinyang, edit scripts/SMT-LIB-clone.sh
to select the logics for testing. Then use the following command to download the chosen benchmarks.
$ ./scripts/SMT-LIB-clone.sh
Alternatively, you can download the benchmarks directly from the website of SMT-LIB initiative or use your own benchmarks.
SMT solvers
To run typefuzz or opfuzz, you need to install two or more SMT solvers. The SMT-LIB initiative provides a comprehensive list of SMT solvers. Make sure that all SMT solvers you consider for testing support the chosen seeds.
If you can only use one SMT solver consider Fusion.