fix: Add error message output to respond to the impact of Ubuntu 24.04#1042
Merged
PhilippWendler merged 2 commits intomainfrom 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404Jun 13, 2024
+32-1
Commits
Commits on Jun 13, 2024
- committed
