CONTRACTS: Add goto-level loop-contract annotation #4341

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	1h 1m 41s
Analyze (java)	22m 44s
Analyze (javascript)	22m 53s
Analyze (python)	26m 40s
	2h 13m 58s