|
|
fcb663b844
|
trace_abbs and dump path
|
2023-06-02 10:11:07 +02:00 |
|
|
|
7641857faa
|
update input sizes, dump worstcase, benchmarking
|
2023-06-02 10:11:07 +02:00 |
|
|
|
32c245e619
|
re-add system state fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
68df4ab131
|
debug stuff
|
2023-06-02 10:11:07 +02:00 |
|
|
|
7c148781e6
|
random seeds, better plots
|
2023-06-02 10:11:07 +02:00 |
|
|
|
2d12d80184
|
add more benchmarks
|
2023-06-02 10:11:07 +02:00 |
|
|
|
95a639a78e
|
exectime increase feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
fd85ae8ae8
|
rename bin, allow random fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
775364340a
|
add benchmark scripts
|
2023-06-02 10:11:07 +02:00 |
|
