|
|
96e79144c2
|
trace_abbs and dump path
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fc355f5fd1
|
update input sizes, dump worstcase, benchmarking
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f26eed2178
|
re-add system state fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
ea7edb2001
|
debug stuff
|
2023-12-22 12:56:54 +01:00 |
|
|
|
180edbb7d5
|
random seeds, better plots
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e70a816f49
|
add more benchmarks
|
2023-12-22 12:56:54 +01:00 |
|
|
|
1976150a45
|
exectime increase feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f1552f95a0
|
rename bin, allow random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
25e81498f5
|
add benchmark scripts
|
2023-12-22 12:56:54 +01:00 |
|
