word-level BMC: allow SVA and/or/implies/iff at property level #2541
kroeningpull-request-checks.yaml
on: pull_request
check-ubuntu-20_04-make-clang
1m 47s
check-ubuntu-20_04-make-gcc
1m 20s
CentOS 8
57s
check-macos-14-make-clang
2m 16s
Emscripten build
39s
check-vs-2022-make-build-and-test
11m 4s
benchmarking
4m 23s
Annotations
1 error
|
check-vs-2022-make-build-and-test
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ebmc-binary
Expired
|
2.25 MB |
|