CHB:ARM: add c expressions to some results · static-analysis-engineering/codehawk@15a5bdd

Triggered via pull request August 18, 2025 02:13

sipma

opened #211

sipma:armoperands

Status Success

Total duration 5m 7s

Artifacts 5

dune.yaml

on: pull_request

Matrix: Compile and test CodeHawk

Matrix: Run CodeHawk-Binary tests

Matrix: Run CodeHawk-C tests

Produced during runtime

Name	Size	Digest
artifacts-4.12.1 Expired	73 MB	`sha256:3e95590eb037f2f61d58009933282c67b288b92cb45cf82a0e30a9cd361e56d7`
artifacts-4.13.1 Expired	74.5 MB	`sha256:8bf1c690ade7f9445d96f6f4cc453b4c8f08d8f15dce0b2a069fd51c2eec6de6`
artifacts-4.14.1 Expired	75.2 MB	`sha256:23afee9bc7fbd9f9460370684903c83af7e30666dbc7dffc7752fc36dec25248`
artifacts-5.0.0 Expired	80.8 MB	`sha256:73a08d800a3385206eaa7a77078368eacc731dc8612932bd44f293d9e6aecdf3`
artifacts-5.1.1 Expired	81.8 MB	`sha256:3ef438215517b5b7746458960743e3c56d954dbffa4afaf97e03b14bc781b3d2`