diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index 0c4f95d4ff..cf8141c864 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -1,6 +1,6 @@ import csv import os -def_flags="--no-default-features --features std,snapshot_fast,singlecore,restarting,do_hash_notify_state,trace_job_response_times,fuzz_int" +def_flags="--no-default-features --features std,snapshot_fast,restarting,do_hash_notify_state,trace_job_response_times,fuzz_int,shortcut" remote="remote/" RUNTIME=1800 TARGET_REPS_A=2 diff --git a/fuzzers/FRET/benchmark/build_all_bins.sh b/fuzzers/FRET/benchmark/build_all_bins.sh index d09f95e574..7d32c3411c 100644 --- a/fuzzers/FRET/benchmark/build_all_bins.sh +++ b/fuzzers/FRET/benchmark/build_all_bins.sh @@ -1,4 +1,4 @@ -def_flags="--no-default-features --features std,snapshot_fast,singlecore,restarting,do_hash_notify_state,trace_job_response_times" +def_flags="--no-default-features --features std,snapshot_fast,restarting,do_hash_notify_state,trace_job_response_times,fuzz_int" set -e cargo build --target-dir ./bins/target_showmap ${def_flags},config_stg cargo build --target-dir ./bins/target_random ${def_flags},feed_longest