Skip to content

Add Goblint to Overall

Simmo Saan requested to merge sim642/bench-defs:goblint-overall into main

Is it sufficient to just add Goblint under Overall in category-structure to have a result for Overall, but not MemSafety and Termination? Or should I add Goblint also under those but then opt-out from those metacategories as well? I'm wondering because Pesco and Graves do the latter, but is it really necessary?

Merge request reports