Kani

Challenge 27: Verify safety of Arc functions #2559

Job	Run time
Kani List	58m 0s
Kani Metrics (macos-latest)	1h 15m 31s
Verify std library using autoharness (macos-latest)	50m 38s
Verify std library using autoharness (ubuntu-latest)	59m 49s
Kani Metrics (ubuntu-latest)	1h 5m 51s
Verify std library (partition 2)	29m 54s
Kani Autoharness Analyzer	43m 53s
Verify std library (partition 4)	33m 2s
Verify std library (partition 1)	39m 52s
Verify std library (partition 3)	25m 41s
Verify std library (partition 3)	20m 58s
Verify std library (partition 4)	45m 55s
Verify std library (partition 2)	34m 19s
Verify std library (partition 1)	44m 10s
Build JSON from logs (macos-latest)	17s
Build JSON from logs (ubuntu-latest)	10s
	10h 28m 0s

Provide feedback