Rewrite base pointer refinement by pointee using trick from set (issu… · goblint/analyzer@e789a66

Triggered via push April 8, 2026 13:15

sim642

issue-1967

Status Success

Total duration 16m 12s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3 MB	`sha256:80ef1d802ebf5c52a18475ab223de5d51864487c1b5e27b96445418e3c2a779c`
suite_result-ubuntu-latest	3.03 MB	`sha256:85c62b1fd2f23bad8fdecc84bee0d43d7f2aaa794eb2ab9ed5ad97b1fc116d71`