Kani

Loop invariants and harnesses for memchr functions #2053

Job	Run time
Kani Metrics (ubuntu-latest)	3m 50s
Kani Metrics (macos-latest)	3m 33s
Verify std library using autoharness (macos-latest)	3m 57s
Verify std library using autoharness (ubuntu-latest)	5m 51s
Kani List	6m 20s
Verify std library (partition 4)	5m 18s
Verify std library (partition 1)	5m 12s
Verify std library (partition 2)	5m 32s
Verify std library (partition 2)	3m 34s
Verify std library (partition 1)	3m 30s
Verify std library (partition 3)	3m 47s
Verify std library (partition 3)	5m 1s
Kani Autoharness Analyzer	5m 3s
Verify std library (partition 4)	3m 30s
Build JSON from logs	0s
	1h 3m 58s

Provide feedback