Contracts/DFCC: split conjunctions in loop invariants #6458

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	32m 4s
Analyze (java)	15m 35s
Analyze (javascript)	15m 13s
Analyze (python)	15m 58s
	1h 18m 50s