aboutsummaryrefslogtreecommitdiffstats
path: root/test/fuzzer.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Add --without-optimizer option to fuzzerAlex Beregszaszi2017-08-311-4/+7
|
* Add header for jsonCompilerAlex Beregszaszi2017-08-291-7/+1
|
* Move all file specific globals to anonymous namespaceAlex Beregszaszi2017-08-291-0/+5
|
* 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