CHC:add proof obligations to calls #224
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 (4.12.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (4.13.1)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (5.0.0)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
|
|
Run CodeHawk-C tests (5.0.0)
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)
Process completed with exit code 1.
|
|
Run CodeHawk-C tests (5.1.1)
The strategy configuration was canceled because "c_orchestration._4_13_1" failed
|
|
Run CodeHawk-C tests (5.1.1)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artifacts-4.12.1
|
73.1 MB |
sha256:97cd3d7242a4474ebe2f44c4e3138aa5b74500820c7da03b36ef8d706014c630
|
|
|
artifacts-4.13.1
|
74.6 MB |
sha256:7fb7054e1b138724bf324d30de0a4d3a15585ed570ad9f646484e3b63adfe30a
|
|
|
artifacts-4.14.1
|
75.3 MB |
sha256:9373d789b40da56a291e57a7cb8832d2d99c649cc8e4717cf45d8413ca1d615e
|
|
|
artifacts-5.0.0
|
80.9 MB |
sha256:f13c974743bcfb230c5aa22114367006ff1851c7eb6d8de79302a2f4851d5f81
|
|
|
artifacts-5.1.1
|
81.9 MB |
sha256:55731b34763dec1f7d0da05be3517220cc8f46bf4cf53a302e205710384ea412
|
|