|
|
c81d6dc9ed
|
trace_abbs and dump path
|
2023-02-22 09:05:34 +01:00 |
|
|
|
e3c624d5f2
|
update input sizes, dump worstcase, benchmarking
|
2023-02-22 09:05:34 +01:00 |
|
|
|
961b4a1ae1
|
re-add system state fuzzing
|
2023-02-22 09:05:34 +01:00 |
|
|
|
80e2649746
|
debug stuff
|
2023-02-22 09:05:33 +01:00 |
|
|
|
3eb3744c5b
|
random seeds, better plots
|
2023-02-22 09:05:33 +01:00 |
|
|
|
faf7873000
|
add more benchmarks
|
2023-02-22 09:05:33 +01:00 |
|
|
|
3d1282ea90
|
exectime increase feedback
|
2023-02-22 09:05:33 +01:00 |
|
|
|
bff7bd10ff
|
rename bin, allow random fuzzing
|
2023-02-22 09:05:33 +01:00 |
|
|
|
6ea9288952
|
add benchmark scripts
|
2023-02-22 09:05:33 +01:00 |
|
