Skip to content

Update benchmark definition for CPALockator

Pavel Andrianov requested to merge p.andrianov/bench-defs:cpalockator-def-update into main

Use a new configuration svcomp23-lockator

Merge request reports