Update 2LS (svcomp-23-1)
Once you created the merge request, please check the items below and check-mark them.
-
Tool runs with CoVeriTeam and delivers expected results -
The issue in this repository is labeled with StatusWorks with CoVeriTeam -
Approve your merge request (only merge-requests that are approved by the code owners will be merged) -
Repository is public if own fork is used (such that we can see the CI results) -
Shared runners are enabled if own fork is used (such that CI runs; Settings -> CI/CD -> Runners -> Enable shared runners)
CC: @viktor.malik
Edited by Viktor Malik