9 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	555dc4f46f	Remove Why3 generator	2017-06-25 12:26:16 +01:00
chriseth	bd6e891704	Fix return value in the fuzzer.	2017-05-03 12:27:01 +02:00
Alex Beregszaszi	28902f9f42	Add --standard-json option to solfuzzer	2017-04-27 16:47:42 +01:00
chriseth	3a93aec768	Make the fuzzer quiet	2017-04-27 16:47:39 +01:00
chriseth	99dd28d63e	Add constant optimizer testing to the fuzz tester.	2017-04-27 16:37:02 +01:00
chriseth	9acfdb8044	Print full error on failure.	2017-02-24 19:32:44 +01:00
chriseth	8877d4a781	Compiler error is not a failure.	2017-02-24 19:32:44 +01:00
chriseth	f66ebbc8e2	Report failures correctly to AFL.	2017-02-16 18:05:11 +01:00
chriseth	f93f9fa3a0	Add executable for use with AFL.	2017-02-16 16:59:19 +01:00