|
|
967aac60a3
|
add run_until_saturation
|
2023-06-02 10:11:08 +02:00 |
|
|
|
dfda200eed
|
set up configurations
|
2023-06-02 10:11:08 +02:00 |
|
|
|
4125f2be22
|
add generation based genetic testing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
0bf060b8c2
|
determinism fixes, scheduler precision, restarts
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ea1e0e26bc
|
configure restarting manager
|
2023-06-02 10:11:08 +02:00 |
|
|
|
6b2eb6fad2
|
add interrupt fuzzing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
84440b37d1
|
fix feedbacks
|
2023-06-02 10:11:07 +02:00 |
|
|
|
fcb663b844
|
trace_abbs and dump path
|
2023-06-02 10:11:07 +02:00 |
|
|
|
70bb1322c8
|
add graph feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
6f65e1fadc
|
speed up random generation
|
2023-06-02 10:11:07 +02:00 |
|
|
|
32c245e619
|
re-add system state fuzzing
|
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 |
|
|
|
6ea42839e7
|
add systemstate feature and dump times
|
2023-06-02 10:11:07 +02:00 |
|
|
|
36049011cf
|
WIP: add systemstate tracking
|
2023-06-02 10:11:07 +02:00 |
|
|
|
57c5a49fc7
|
add arguments
|
2023-06-02 10:11:07 +02:00 |
|
|
|
cc6580eaab
|
WIP: port fret
|
2023-06-02 10:11:07 +02:00 |
|
