basic symbolic execution for poly1305 U8TO32 subroutine #1214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (v5.7.1, 4.8.4, trindemossen-1)	40m 50s
Build (v5.9.1, 1, 4.8.4, trindemossen-1)	54m 27s
	1h 35m 17s