crefine: change misleading proof step in CSpace_RAB_C #2572

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
All (AARCH64)	17m 21s
All (ARM)	1h 34m 22s
All (ARM_HYP)	1h 57m 19s
All (RISCV64)	1h 35m 15s
All (X64)	2h 42m 58s
	8h 7m 15s