Replace int -> _Bool in goblint stubs arguments
#12818
sim642locked.yml
on: pull_request
Matrix: extraction
Matrix: gobview
Matrix: regression
Annotations
2 errors
|
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
|
|
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
suite_result-macos-13
Expired
|
2.78 MB |
sha256:afede30ef67e53ca89541ebabab4e282c00b772fcecf99367b8050192fc07fbe
|
|
|
suite_result-ubuntu-22.04
Expired
|
2.81 MB |
sha256:8ba2bfa4f88270bbfac0f2070c3cbd5864588304141c18973890243a80fd6a78
|
|