CHC: add primary proofobligation creation for output parameters #220
sipmadune.yaml
on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Annotations
8 errors
|
Run CodeHawk-C tests (5.1.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (5.0.0)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.12.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
Run CodeHawk-C tests (4.12.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.14.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
|
|
Run CodeHawk-C tests (4.13.1)
The strategy configuration was canceled because "c_orchestration._5_1_1" failed
|
|
Run CodeHawk-C tests (4.13.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
73 MB |
sha256:202b9f1643b4fb0d8b20e91bdf3d74226ae2d3dcca168d86a74b51b755e060d2
|
|
|
artifacts-4.13.1
|
74.6 MB |
sha256:da94ed3d88fc95e70f6f4fe630acc9f94cdc4b2a17849f7257219e73aad876d7
|
|
|
artifacts-4.14.1
|
75.2 MB |
sha256:a223c8c294636f773176d553d8f2e39f4fb863834dd7a5c2572c35cd562ab960
|
|
|
artifacts-5.0.0
|
80.9 MB |
sha256:e61d97f196841f95bb0e2eaf5e6311c574369c35fa975b8884e060b05da46e5b
|
|
|
artifacts-5.1.1
|
81.9 MB |
sha256:a67d19f21e4ff939928abec8d026087564a095e8738c6fa74d6445f9d14b949c
|
|