CHC: add invariant prioritization to the PLocallyInitialized checker #223
sipmadune.yaml
on: push
Matrix: Compile and test CodeHawk
Matrix: Run CodeHawk-Binary tests
Matrix: Run CodeHawk-C tests
Annotations
9 errors
|
Run CodeHawk-C tests (4.13.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.0.0)
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.
|
|
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._4_13_1" failed
|
|
Run CodeHawk-C tests (4.12.1)
The operation was canceled.
|
|
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
|
73.1 MB |
sha256:5d8035f450467061a298a73c70bcab2c66c06e9cd1debb0a4bea3f4e57d7a614
|
|
|
artifacts-4.13.1
|
74.6 MB |
sha256:99ff07932c9ae80809f2d063d797017bd5a415f9a0aa635b525986e367f5ca1c
|
|
|
artifacts-4.14.1
|
75.3 MB |
sha256:79f395f0fb862b130907d764b122d5c60d9438ad5adaf93f66a3bfa5b77aa3ce
|
|
|
artifacts-5.0.0
|
80.9 MB |
sha256:1b47db7273c8757c3a9a411aaf3619939386a8f67c9ec223f415d4b5f2e3499b
|
|
|
artifacts-5.1.1
|
81.9 MB |
sha256:b214bbb12a7bdcf7e26d7718fc5eedb527bf042ab6ccad044dca4919923f2a5d
|
|