Build and Test HW-CBMC

SMV: set pretty names for top-level identifiers #1515

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-20_04-make-clang	13m 56s
CentOS 8	12m 31s
check-ubuntu-20_04-make-gcc	15m 17s
check-macos-12-make-clang	3m 21s
	45m 5s