Kani

Verify safety of StrSearcher (Challenge 21) #2381

Job	Run time
Kani List	55m 20s
Kani Metrics (ubuntu-latest)	59m 38s
Kani Autoharness Analyzer	44m 16s
Verify std library using autoharness (macos-latest)	1h 41m 29s
Verify std library using autoharness (ubuntu-latest)	1h 17m 28s
Verify std library (partition 2)	6h 0m 36s
Verify std library (partition 1)	51m 40s
Verify std library (partition 4)	56m 48s
Verify std library (partition 4)	47m 5s
Verify std library (partition 3)	28m 27s
Kani Metrics (macos-latest)	1h 32m 52s
Verify std library (partition 1)	37m 52s
Verify std library (partition 3)	20m 36s
Verify std library (partition 2)	6h 5m 1s
Build JSON from logs	0s
	23h 19m 8s

Provide feedback