Skip to content

Commit 7809e31

Browse files
Fix how we process the harness result
1 parent e1ff5ab commit 7809e31

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/zkregex_fuzzer/fuzzer.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ def fuzz_with_grammar(
4444
for regex, inputs in zip(regexes, regexes_inputs):
4545
print(f"Testing regex: {regex} -------- ({len(inputs)} inputs)")
4646
result = harness(regex, primary_runner, target_runner, inputs, oracle, kwargs)
47-
if result.status == HarnessStatus.FAILED:
47+
if result.status != HarnessStatus.SUCCESS:
4848
print("-" * 80)
4949
print(f"Found a bug with regex: {regex}")
5050
print(f"Inputs: {inputs}")

0 commit comments

Comments
 (0)