Add comments and TODOs about for loop locations · goblint/cil@2b982a0

Triggered via push January 23, 2026 12:37

sim642

issue-183

Status Success

Total duration 2m 26s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	834 KB	`sha256:72b503144b480ecfd1891fa485861245643435ca677bc23773d28276d689b5c0`