Skip to content
Kani

Parse log file of multi-threaded Kani run (terse output) into JSON #1598

Sign in to view logs

Parse log file of multi-threaded Kani run (terse output) into JSON

Parse log file of multi-threaded Kani run (terse output) into JSON #1598

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
23m 34s
Verify std library (partition 1)
50m 32s
Verify std library (partition 4)
1h 53m 25s
Verify std library (partition 1)
41m 30s
Verify std library (partition 3)
1h 15m 12s
Verify std library (partition 4)
1h 25m 22s
Verify std library (partition 3)
1h 9m 14s
Verify std library (partition 2)
57m 36s
Verify std library (partition 2)
1h 16m 6s
9h 52m 31s