Add support for chrony to incremental benchmarking scripts

goblint / bench

The benchmark suite

4 stars 5 forks source link

Open jerhard opened 1 year ago

jerhard commented 1 year ago

Add option to run Goblint on chrony in the incremental benchmarking scripts.