Use addr_type_of_exp more in base · goblint/analyzer@8550336

Triggered via push April 9, 2026 13:52

sim642

base-set-lval-type

Status Success

Total duration 13m 35s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:1b9fef2a7ef16f4d9bdc3e76bc6a3b00f58bb7a79f0f71adc7af1f9fec7ea6b1`
suite_result-ubuntu-latest	3.04 MB	`sha256:8b50650173e3404c2cbdf0d4b2a3e3a7beddd4847730e39637bd068926fe7a05`