Build and Test HW-CBMC

add tests for SMV LTLSPEC #2496

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-20_04-make-gcc	1m 21s
check-ubuntu-20_04-make-gcc	1m 21s
check-ubuntu-20_04-make-clang	1m 58s
check-ubuntu-20_04-make-clang	1m 58s
check-macos-14-make-clang	2m 2s
check-macos-14-make-clang	2m 2s
Emscripten build	27s
Emscripten build	52s
CentOS 8	58s
CentOS 8	58s
check-vs-2022-make-build-and-test	3m 26s
check-vs-2022-make-build-and-test	3m 26s
benchmarking	3m 45s
benchmarking	3m 45s
	28m 19s