File tree Expand file tree Collapse file tree 1 file changed +10
-2
lines changed
Expand file tree Collapse file tree 1 file changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -25,8 +25,16 @@ zkregex-fuzzer --help
2525
2626## Example Run
2727
28+ ### Fuzzing
29+
30+ ```
31+ python src/zkregex_fuzzer/cli.py fuzz --fuzzer grammar --oracle valid --target python_re --valid-input-generator exrex
32+ ```
33+
34+ ### Reproducing bugs
35+
2836```
29- python src/zkregex_fuzzer/cli.py --fuzzer grammar --oracle valid --target python_re --valid-input-generator exrex
37+ python src/zkregex_fuzzer/cli.py reproduce --path output*
3038```
3139
3240# Test zkregex
@@ -43,7 +51,7 @@ You can follow the instructions from here:
4351Finally, if we say that you install the above in the parent directory you can run the fuzzer with the following command:
4452
4553```
46- python src/zkregex_fuzzer/cli.py \
54+ python src/zkregex_fuzzer/cli.py fuzz \
4755 --oracle valid \
4856 --target circom \
4957 --valid-input-generator rstr \
You can’t perform that action at this time.
0 commit comments