Skip to content

Update CPAchecker benchmark def for svcomp24

Daniel Baier requested to merge update_cpachecker_svcomp24 into main

Update CPAchecker benchmark def for svcomp24.

Merge request reports