Skip to content

update aise.xml to SV-COMP24

wang zhen requested to merge ZhenWang233/benchmark-definitions-sv-comp:main into main

update the task name from sv-comp23 to sv-comp24

Merge request reports