Kani

Challenge 12: Verify safety of NonZero #2470

Job	Run time
Kani List	59m 25s
Verify std library using autoharness (ubuntu-latest)	1h 7m 32s
Kani Metrics (ubuntu-latest)	1h 5m 54s
Kani Metrics (macos-latest)	1h 21m 35s
Kani Autoharness Analyzer	43m 10s
Verify std library using autoharness (macos-latest)	1h 6m 22s
Verify std library (partition 4)	47m 58s
Verify std library (partition 1)	49m 5s
Verify std library (partition 2)	28m 6s
Verify std library (partition 4)	53m 57s
Verify std library (partition 1)	39m 8s
Verify std library (partition 3)	30m 42s
Verify std library (partition 3)	31m 23s
Verify std library (partition 2)	19m 43s
Build JSON from logs (ubuntu-latest)	9s
Build JSON from logs (macos-latest)	15s
	11h 24m 24s

Provide feedback