Kani

Challenge 26: Verify safety of Rc functions #2558

Job	Run time
Kani Metrics (ubuntu-latest)	1h 4m 23s
Verify std library using autoharness (macos-latest)	48m 35s
Kani Autoharness Analyzer	47m 6s
Kani List	1h 0m 26s
Kani Metrics (macos-latest)	1h 3m 28s
Verify std library using autoharness (ubuntu-latest)	1h 7m 41s
Verify std library (partition 3)	22m 8s
Verify std library (partition 1)	39m 0s
Verify std library (partition 2)	27m 8s
Verify std library (partition 3)	29m 41s
Verify std library (partition 2)	36m 23s
Verify std library (partition 4)	40m 45s
Verify std library (partition 4)	44m 54s
Verify std library (partition 1)	48m 56s
Build JSON from logs (ubuntu-latest)	10s
Build JSON from logs (macos-latest)	18s
	10h 41m 2s

Provide feedback