Kani

Challenge 10: Verify memory safety of String functions #2487

Job	Run time
Verify std library using autoharness (macos-latest)	59m 56s
Verify std library using autoharness (ubuntu-latest)	1h 11m 5s
Kani List	1h 0m 25s
Kani Autoharness Analyzer	43m 4s
Kani Metrics (ubuntu-latest)	57m 22s
Kani Metrics (macos-latest)	1h 3m 11s
Verify std library (partition 1)	42m 38s
Verify std library (partition 3)	29m 45s
Verify std library (partition 2)	29m 12s
Verify std library (partition 4)	39m 43s
Verify std library (partition 2)	35m 23s
Verify std library (partition 1)	38m 27s
Verify std library (partition 3)	25m 54s
Verify std library (partition 4)	51m 26s
Build JSON from logs (ubuntu-latest)	8s
Build JSON from logs (macos-latest)	17s
	10h 47m 56s

Provide feedback