Skip to content

Fuzzers for Equi-X and HashX

Ghost User requested to merge (removed):ticket889_fuzz into main

Start fuzzing both the Equi-X and HashX crates.

The Equi-X fuzzer is from nick (draft in !1442 (closed)) and it tests the unsafe BucketArray data structure against a simple safe reference implementation.

The HashX fuzzer is a relatively heavy black-box-ish tester that compares our four hashx implementations against each other, and it lets the fuzzer drive program generation directly by providing PRNG value overrides.

These both seem to be working now, and I'm starting to gather a corpus.

Edited by Ghost User

Merge request reports