4 Commits

Author	SHA1	Message	Date
Dominik Maier	8f8e74d670	Don't build z3 from source by default (and add static_z3 feature) (#1160) ... * Reduce build times by using preinstaled z3 * fix env order --------- Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>	2023-03-20 10:04:27 +01:00
Addison Crump	786af9f6a9	resolve zero-sized allocation in swap diff fuzzer (#1139)	2023-03-12 23:24:22 +01:00
Vincent	c8254dbd0e	Check CI result on cargo make test for available fuzzers (#1107) ... * fix libfuzzer_libpng_cmin * fix libfuzzer_libpng_ctx * revert libfuzzer_libpng_cmin and check ci by grepping broker stdout result instead * revert libfuzzer_libpng_ctx and check ci by grepping broker stdout result instead * add check ci for fuzzers * add check ci for fuzzers * add check ci * add fuzzbench test * add validation for qemu fuzzer --------- Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>	2023-03-06 23:21:24 +09:00
Addison Crump	0515eebbd2	Differential observers (#868) ... * reduce diffexecutor constraints for new (so it may be used in a manager-less environment) * add differential observers * finish differential observeration * requirement for observers (weak), default impl for time observer * make the map swapper, revisit how differentialobserver is implemented * semi-specialise multimap, add example * improve example slightly * fix clippy lints * fix last clippy issue * better docs + example flow * improve example: correct map sizing + multimap vs split slice * correct some comments * fix tests + slight bit more docs * fix bindings * fixups for the CI * typo fix Co-authored-by: Dominik Maier <domenukk@gmail.com> Co-authored-by: Dominik Maier <dmnk@google.com>	2022-11-20 23:56:23 +01:00