Skip to content
Build and Test HW-CBMC

add tests for SMV LTLSPEC #2494

Sign in to view logs

add tests for SMV LTLSPEC

add tests for SMV LTLSPEC #2494

Triggered via pull request September 25, 2024 11:54
@kroeningkroening
synchronize #732
smv-ltlspec-tests
Status Failure
Total duration 3m 7s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-clang
59s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-gcc
43s
check-ubuntu-20_04-make-gcc
CentOS 8
46s
CentOS 8
check-macos-14-make-clang
56s
check-macos-14-make-clang
Emscripten build
2m 23s
Emscripten build
check-vs-2022-make-build-and-test
2m 53s
check-vs-2022-make-build-and-test
benchmarking
0s
benchmarking
Fit to window
Zoom out
Zoom in

Annotations

5 errors
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
CentOS 8
Process completed with exit code 2.
check-macos-14-make-clang
Process completed with exit code 2.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
Emscripten build
Process completed with exit code 100.