search

goblint / bench

The benchmark suite
4 stars 5 forks source link

Unassume benchmarking #57

Closed sim642 closed 10 months ago

michael-schwarz commented 10 months ago

I guess this could now be merged?