Skip to content
Kani Performance Benchmarks

Add unchecked/SIMD bitshift checks and disable CBMC flag (#2630) #26

Sign in to view logs

Add unchecked/SIMD bitshift checks and disable CBMC flag (#2630)

Add unchecked/SIMD bitshift checks and disable CBMC flag (#2630) #26

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
2h 9m 46s
2h 9m 46s