Kani

LLM-generated contracts #2296

Job	Run time
Verify std library using autoharness (ubuntu-latest)	1h 8m 24s
Verify std library using autoharness (macos-latest)	1h 4m 52s
Kani List	1h 0m 2s
Kani Metrics (macos-latest)	1h 33m 49s
Kani Autoharness Analyzer	45m 11s
Kani Metrics (ubuntu-latest)	1h 5m 27s
Verify std library (partition 4)	49m 7s
Verify std library (partition 3)	29m 39s
Verify std library (partition 3)	31m 14s
Verify std library (partition 1)	44m 10s
Verify std library (partition 2)	39m 22s
Verify std library (partition 1)	41m 37s
Verify std library (partition 4)	51m 32s
Verify std library (partition 2)	37m 6s
Build JSON from logs (macos-latest)	14s
Build JSON from logs (ubuntu-latest)	9s
	12h 1m 55s

Provide feedback