[package]
name = "wcet_qemu_sys"
version = "0.1.2"
authors = [ "Alwin Berger <alwin.berger@tu-dortmund.de>" ]
edition = "2021"

[features]
default = ["std", "obj_collect"]
std = []
multicore = []

fuzz_interrupt = [] # use the first bytes of the input for a timed interrupts
fuzz_random = [] # just process random inputs

# select which feedbacks to use. enable at least one.
feed_known_edges = []
feed_afl = []
feed_clock = []
feed_state = []
feed_graph = []

# choose exactly one scheduler
sched_queue = []
sched_mapmax = []
sched_state = []
sched_graph = []

# objective selection, additive
obj_collect = []
obj_trace = []
obj_edges = []
obj_ticks = []

muta_input = [ "sched_graph" ]
muta_snip = [ "sched_graph" ]
muta_suffix = [ "sched_graph" ]
muta_interrupt = []

benchmark = []	# don't save corpus to disk, easy parallelizable
dump_infos = [] # dump select corpus items for analysis

[profile.release]
debug = true

[dependencies]
libafl = { path = "../../libafl/" }
libafl_qemu = { path = "../../libafl_qemu/", features = ["systemmode", "arm", "jmp_as_edge"] }
clap = { version = "3.0.0-beta.2", features = ["default"] }
serde = { version = "1.0", default-features = false, features = ["alloc"] } # serialization lib
ron = "0.7" # write serialized data - including hashmaps
hashbrown =  { version = "0.11", features = ["serde", "ahash-compile-time-rng"], default-features=false } # A faster hashmap, nostd compatible
nix = "0.23.0"
goblin = "0.4.2"
either = "1.6.1"
num-traits = "0.2"
petgraph = { version="0.6.0", features = ["serde-1"] }