Implement SizeOfE in eval_rv_base · goblint/analyzer@da7ab8c

Triggered via push January 28, 2026 19:01

sim642

Status Success

Total duration 18m 43s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest Expired	3.03 MB	`sha256:f1b3b65167d4d18b7af09cb974fbb7e6b6b76aaa9a92005f1291704e77cd8ade`
suite_result-ubuntu-latest Expired	3.05 MB	`sha256:846150e155c4d054991dddca4924d4039ec99729d1199321f3f9190a069828e6`