Skip to content
Kani Extra

Emit dead goto-instructions on MIR StatementDead #493

Sign in to view logs

Emit dead goto-instructions on MIR StatementDead

Emit dead goto-instructions on MIR StatementDead #493

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
10s
Verification Benchmarks / perf-benchcomp
1h 5m 23s
1h 5m 33s