Simplify `Fun.flip` invocations · goblint/analyzer@3c4f6cc

Triggered via push February 18, 2025 16:04

issue_1536

Status Success

Total duration 25m 14s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.81 MB	`sha256:27900da8ab43d78074480de3b820689b01ecd27a9815456866542b52e397cb3e`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:ddee761128ba3b49fb0a89cd09fb2ceef3de9755731dc02acb1f7aca8e7686ec`