|
|
95be29d9b2
|
trace_abbs and dump path
|
2023-09-05 12:47:13 +02:00 |
|
|
|
1420cd77aa
|
update input sizes, dump worstcase, benchmarking
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f9449511e8
|
re-add system state fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d002fe39b7
|
debug stuff
|
2023-09-05 12:47:13 +02:00 |
|
|
|
386fb64c80
|
random seeds, better plots
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c72dddef2b
|
add more benchmarks
|
2023-09-05 12:47:13 +02:00 |
|
|
|
4ebb38a93c
|
exectime increase feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8494dd408
|
rename bin, allow random fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c623c45547
|
add benchmark scripts
|
2023-09-05 12:47:13 +02:00 |
|
