Commit 40e423d6c21956f50265744c1b095511d02ce010

Nick Wellnhofer 2025-01-30T19:30:44

fuzz: Improve fuzzing of push parser Also serialize the result of push-parsing and compare whether pull and push parser produce the same result (differential fuzzing). We lose the ability to inject IO errors when serializing for now, but this isn't too important. Use variable chunk size for push parser. Fixes #849.