Add echo groups to the CBMC proof run action #199
executableMonitorTests.yml
on: push
Matrix: test-exe-monitor-failure-cases
Matrix: test-exe-monitor-success-cases
Annotations
16 errors