Extend incremental benchmark scripts to allow analyzing local repositories

goblint / bench

The benchmark suite

4 stars 5 forks source link

Extend incremental benchmark scripts to allow analyzing local repositories #45

Open jerhard opened 1 year ago

jerhard commented 1 year ago

The incremental benchmark scripts that are added in #44 require that the repository that is to be analyzed is given as an URL. The option should be added to also allow to run the scripts on repositories that are only available locally.