Add support for figlet 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 support for benchmarking the figlet repository in the incremental benchmarking scripts (added by #44 ).