Skip to content
Kani

Verify safety of Vec functions with VeriFast (Challenge 23) #2463

Sign in to view logs

Verify safety of Vec functions with VeriFast (Challenge 23)

Verify safety of Vec functions with VeriFast (Challenge 23) #2463

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library using autoharness (macos-latest)
5m 3s
Kani Autoharness Analyzer
4m 21s
Verify std library using autoharness (ubuntu-latest)
4m 39s
Kani Metrics (ubuntu-latest)
4m 34s
Kani List
4m 56s
Kani Metrics (macos-latest)
4m 41s
Verify std library (partition 1)
5m 19s
Verify std library (partition 3)
4m 38s
Verify std library (partition 4)
4m 54s
Verify std library (partition 2)
4m 0s
Verify std library (partition 2)
4m 40s
Verify std library (partition 1)
9m 13s
Verify std library (partition 4)
3m 46s
Verify std library (partition 3)
4m 35s
Build JSON from logs
0s
1h 9m 19s