Skip to content
Kani Extra

Migrate function, block and statement modules to StableMIR #269

Sign in to view logs

Migrate function, block and statement modules to StableMIR

Migrate function, block and statement modules to StableMIR #269

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
5s
Verification Benchmarks / perf-benchcomp
2m 43s
2m 48s