Add TODOs about preserving attributes for TNamed unrolling to ValueDo… · goblint/analyzer@60785ef

Triggered via push May 6, 2026 06:44

sim642

unrolltype-review

Status Success

Total duration 16m 31s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:e139355d0d624781f845269d753bec1003a9ea616546a6156a29cad550b288ae`
suite_result-ubuntu-latest	3.05 MB	`sha256:180a2faf689e849e60e0641551814465349cbcfb9aaafb91f39842cf37c882aa`