Simplify `may_contain_unknown_addr` · goblint/analyzer@bf7daff

Triggered via push May 8, 2026 10:30

karoliineh

oob-event

Status Success

Total duration 12m 12s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3 MB	`sha256:85d472a3c80606e43ebfe6aa26644ab463ddec1a7ff2670a50b17d718c80b459`
suite_result-ubuntu-latest	3.04 MB	`sha256:75192cf173e4414c2e16b4952ee5d6e2f91d034ec720c263be618cf0313371db`