Add attribute goblint_cil_nested
to local varinfo
s that are not declared at top scope
#661
The logs for this run have expired and are no longer available.
Loading