justfile

# Some common recipes for fuzz-workflow script

# Download a target
download target="all":
    ./fuzz-workflow.py --targets "{{target}}" --skip-run --skip-report --parallel

# Execute an exploratory workflow with a few targets and random seed
explore target="all" spec="tiny":
    ./fuzz-workflow.py --targets "{{target}}" --spec "{{spec}}" --skip-get --parallel --source local --max-mutations 5 --mutation-ratio 0.1 --publish --base-dir "../fuzz-reports/0.7.2/{{spec}}"

# Execute a trace workflow with a few targets and publish the corresponding reports
replay target="all" spec="tiny":
    ./fuzz-workflow.py --targets "{{target}}" --spec "{{spec}}" --skip-get --report-publish --parallel --source trace --max-mutations 0 --mutation-ratio 0 --base-dir "../fuzz-reports/0.7.2/{{spec}}"

conformance target="all" config="../conformance-criteria/fuzzer_configs/l0_tiny.toml":
    ./fuzz-workflow.py --targets "{{target}}" --config "{{config}}" --skip-get --parallel --report-publish