CHC: add primary proofobligation creation for output parameters #216
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.13.1)
Process completed with exit code 1.
|
|
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._4_13_1" failed
|
|
Run CodeHawk-C tests (4.14.1)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
12.6 MB |
sha256:dbaf6406237e5391147d967b3f69554bec47205fd238d38bac0d30c669af62d5
|
|
|
artifacts-4.13.1
|
12.9 MB |
sha256:15d293adac89d6c3af41021c70381f7f7a8d5cc9cbd3c8265e08e6aa4802efd7
|
|
|
artifacts-4.14.1
|
13 MB |
sha256:f26df9f9ffe3fc96f69488549361db046f2c82698b02ab871b24e7b74ff31f74
|
|