Kani

Verify safety of Vec IntoIter functions with VeriFast (Challenge 24) #2456

Job	Run time
Verify std library using autoharness (ubuntu-latest)	2h 7m 7s
Kani Autoharness Analyzer	46m 22s
Kani List	1h 2m 48s
Verify std library using autoharness (macos-latest)	3h 59m 27s
Verify std library (partition 2)	32m 32s
Verify std library (partition 1)	2h 18m 15s
Verify std library (partition 4)	53m 51s
Verify std library (partition 1)	6h 1m 1s
Kani Metrics (ubuntu-latest)	1h 1m 51s
Verify std library (partition 3)	31m 1s
Verify std library (partition 3)	29m 54s
Kani Metrics (macos-latest)	1h 24m 1s
Verify std library (partition 2)	36m 10s
Verify std library (partition 4)	48m 21s
Build JSON from logs	0s
	22h 32m 41s

Provide feedback