The wrong variable was passed to filter the options#1120
Merged
PhilippWendler merged 1 commit intomainfrom cpachecker-validator-tasksNov 21, 2024
+1-1
Commits
Commits on Nov 21, 2024
authored andMarian Lingsch-RosenfeldcommittedMarian Lingsch-Rosenfeld