Skip to content

KNOWNBUG tests for checkers #3252

KNOWNBUG tests for checkers

KNOWNBUG tests for checkers #3252

examples

succeeded Jan 15, 2025 in 5s
Set up job
0s
Run actions/checkout@v4
1s
Get the ebmc binary
1s
Try the ebmc binary
0s
ebmc on Hazard3
0s
Get the vlindex binary
1s
Try the vlindex binary
0s
vlindex on Hazard3
0s
Post Run actions/checkout@v4
0s
Complete job
0s