Add -no_sat and -init_registers synth options (#825) #3901

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
msys2-gcc	13m 39s
CodeFormatting	14s
centos7-test	13m 45s
ubuntu-test	5m 48s
macos-clang	10m 32s
ubuntu-regression	5m 53s
macos-gcc	8m 32s
windows-msvc	25m 58s
ubuntu-coverage	7m 26s
ClangTidy	0s
ubuntu-install	6m 48s
ubuntu-valgrind	6m 52s
ubuntu-production	6m 49s
	1h 52m 16s