C2PO: Fix test case to incur no warnings, besides for __goblint_check. · goblint/analyzer@5f9b2d7

Triggered via push February 17, 2025 16:29

jerhard

c2po

Status Success

Total duration 4m 28s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.2 MB	`sha256:11bef055fcd7d69b5cda3f947559f453bb4c9ce3b6abc3ddf63a28014e9f1ec3`