Skip to content

Update 2LS (svcomp-23-1)

František Nečas requested to merge 2ls-1 into main

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

Merge request reports