Skip to content

PROTON: Updated run_definition name to 24

Ravi Metta requested to merge r.metta/bench-defs:main into main

Updated run_definition name to SVCOMP 24

Merge request reports