Skip to content

Commit 97d52c7

Browse files
Add noir command for fuzz
1 parent 98f125c commit 97d52c7

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

README.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -113,3 +113,13 @@ python src/zkregex_fuzzer/cli.py fuzz \
113113
--fuzzer grammar \
114114
--circom-library ../zk-regex/node_modules/circomlib ../zk-regex/node_modules/
115115
```
116+
117+
or for noir with the database fuzzer
118+
119+
```
120+
python src/zkregex_fuzzer/cli.py fuzz \
121+
--oracle valid \
122+
--target noir \
123+
--valid-input-generator exrex \
124+
--fuzzer database
125+
```

0 commit comments

Comments
 (0)