This commit is contained in:
Alwin Berger 2024-11-02 11:37:29 +01:00
parent e58d4ba6ff
commit 79be3c8eca
2 changed files with 4 additions and 4 deletions

View File

@ -5,7 +5,7 @@ authors = ["Alwin Berger <alwin.berger@tu-dortmund.de>"]
edition = "2021"
[features]
default = ["std", "snapshot_fast", "restarting", "do_hash_notify_state", "config_stg", "fuzz_int", "trace_job_response_times", "shortcut", "trace_reads" ]
default = ["std", "snapshot_fast", "restarting", "do_hash_notify_state", "config_stg", "fuzz_int", "shortcut", "trace_job_response_times" ]
std = []
# Exec environemnt basics
snapshot_restore = []
@ -22,14 +22,14 @@ observe_systemstate = []
do_hash_notify_state = []
trace_job_response_times = [ "trace_stg" ]
trace_stg = [ "observe_systemstate" ]
trace_reads = [ "trace_stg" ]
trace_reads = [ "trace_stg", "trace_job_response_times" ]
# feedbacks
feed_stg = [ "trace_stg", "observe_systemstate" ]
# feed_stg_edge = [ "feed_stg"]
feed_stg_pathhash = [ "feed_stg"]
feed_stg_abbhash = [ "feed_stg"]
feed_stg_aggregatehash = [ "feed_stg"]
mutate_stg = [ "observe_systemstate" ]
mutate_stg = [ "observe_systemstate", "trace_reads" ]
feed_longest = [ ]
feed_afl = [ "observe_edges" ]
feed_genetic = []

View File

@ -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,trace_reads"
def_flags="--release --no-default-features --features std,snapshot_fast,restarting,do_hash_notify_state,fuzz_int"
remote="remote/"
RUNTIME=1800
TARGET_REPS_A=2