Kani

Challenge 13: Verify safety of CStr #2476

Job	Run time
Kani Autoharness Analyzer	42m 32s
Verify std library using autoharness (macos-latest)	1h 8m 12s
Kani Metrics (macos-latest)	1h 28m 52s
Verify std library using autoharness (ubuntu-latest)	1h 12m 19s
Kani List	59m 58s
Kani Metrics (ubuntu-latest)	1h 1m 44s
Verify std library (partition 1)	39m 31s
Verify std library (partition 2)	34m 17s
Verify std library (partition 1)	43m 26s
Verify std library (partition 2)	36m 18s
Verify std library (partition 4)	42m 4s
Verify std library (partition 3)	29m 23s
Verify std library (partition 4)	47m 27s
Verify std library (partition 3)	29m 25s
Build JSON from logs (ubuntu-latest)	13s
Build JSON from logs (macos-latest)	11s
	11h 35m 52s

Provide feedback