aboutsummaryrefslogtreecommitdiffstats
path: root/test/fuzzer.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove Why3 generatorAlex Beregszaszi2017-06-251-1/+0
* Fix return value in the fuzzer.chriseth2017-05-031-1/+1
* Add --standard-json option to solfuzzerAlex Beregszaszi2017-04-271-3/+46
* Make the fuzzer quietchriseth2017-04-271-9/+16
* Add constant optimizer testing to the fuzz tester.chriseth2017-04-271-2/+85
* Print full error on failure.chriseth2017-02-251-1/+1
* Compiler error is not a failure.chriseth2017-02-251-1/+0
* Report failures correctly to AFL.chriseth2017-02-171-4/+4
* Add executable for use with AFL.chriseth2017-02-161-0/+92