Build and Test HW-CBMC

`random_traces` functions now take `ebmc_solver_factoryt` #1758

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-20_04-make-clang	54s
check-macos-12-make-clang	1m 29s
CentOS 8	55s
check-ubuntu-20_04-make-gcc	51s
	4m 9s