Skip to content
Kani Performance Benchmarks

Enable stubbing and function contracts for primitive types (#3496) #588

Sign in to view logs

Enable stubbing and function contracts for primitive types (#3496)

Enable stubbing and function contracts for primitive types (#3496) #588

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
1h 4m 5s
1h 4m 5s