Closed MattWindsor91 closed 5 years ago
The fuzzer currently emits empty programs, which confuse the living daylights out of Herd. It should be easy to add a step to subject-to-litmus-test conversion that filters out empty programs.
The fuzzer currently emits empty programs, which confuse the living daylights out of Herd. It should be easy to add a step to subject-to-litmus-test conversion that filters out empty programs.