search

goblint / bench

The benchmark suite
4 stars 5 forks source link

Tracking Benchmark Changes for Thesis #65

Open michael-schwarz opened 2 months ago

michael-schwarz commented 2 months ago

The branch I used to benchmark for my thesis diverges at e49ad2fe8832edb1d86563a3ba51e591578c0711

This draft MR is not intended to be merged but should allow me to keep an overview of the changes and see what should be maybe back-ported.