Used with a fuzzer, it needs no expected output: if your parser and a trusted one disagree on an input, one of them has a bug.