From bae801c6204bb09dccf685b81a709209a0e1596b Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Thu, 10 Oct 2024 15:24:54 +0200 Subject: [PATCH] remove shortcut from benchmark features --- fuzzers/FRET/benchmark/Snakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index a9ccedd957..1cccaf3c70 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -1,6 +1,6 @@ import csv import os -def_flags="--release --no-default-features --features std,snapshot_fast,restarting,do_hash_notify_state,trace_job_response_times,fuzz_int,shortcut" +def_flags="--release --no-default-features --features std,snapshot_fast,restarting,do_hash_notify_state,trace_job_response_times,fuzz_int" remote="remote/" RUNTIME=1800 TARGET_REPS_A=2