CHC:add proof obligations to calls #220
sipmamakefiles.yaml
on: push
Matrix: Compile CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Annotations
4 errors
|
Run CodeHawk-C tests (4.14.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.13.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
|
|
Run CodeHawk-C tests (4.12.1)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
Expired
|
12.7 MB |
sha256:25cc727f7940fe563875d7c8326a544f9ed741747a64e01483169f08299bd4c0
|
|
|
artifacts-4.13.1
Expired
|
12.9 MB |
sha256:7ddf0bc9af9f4cfb7156ace8f3e0b7fae9f24177850c685a7d7bd84717cb63cb
|
|
|
artifacts-4.14.1
Expired
|
13 MB |
sha256:b184714b8551533bde464a78dc04a453fa47a59a1a1bc4259c0c4d5389a16328
|
|