Kani

Challenge 24: Verify safety of Vec IntoIter functions #2483

Job	Run time
Kani Metrics (macos-latest)	1h 24m 42s
Verify std library using autoharness (macos-latest)	59m 18s
Kani Metrics (ubuntu-latest)	59m 2s
Verify std library (partition 4)	48m 38s
Verify std library (partition 3)	26m 46s
Kani Autoharness Analyzer	44m 28s
Verify std library (partition 3)	23m 5s
Verify std library (partition 4)	51m 33s
Verify std library (partition 1)	39m 45s
Verify std library (partition 1)	39m 20s
Verify std library (partition 2)	34m 54s
Verify std library (partition 2)	36m 41s
Kani List	1h 0m 24s
Verify std library using autoharness (ubuntu-latest)	1h 9m 30s
Build JSON from logs (macos-latest)	11s
Build JSON from logs (ubuntu-latest)	10s
	11h 18m 27s

Provide feedback