Remove `IntDomain.Size.top_typ` · goblint/analyzer@4bb4437

Triggered via pull request May 7, 2025 18:52

sim642

opened #1742

intdomain-top_typ

Status Success

Total duration 27m 41s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.91 MB	`sha256:01ef3b49435341b1d9d9924a5a082dc81b6b5565b605a6585ff7111d1906135b`
suite_result-ubuntu-22.04 Expired	2.89 MB	`sha256:a59420480c32f6810d534bd36fd1f19e34bd7f33e095d4d27eacddc953205160`