Location fixes for Goblint YAML witness generation/validation#167

Merged

sim642 merged 7 commits intodevelopfrom fix-locations

Mar 12, 2024

+125-69

Commits on Feb 14, 2024

Add expression location to return
sim642
committed

Commits on Feb 15, 2024

Commits on Feb 20, 2024

Make first for initializer loc non-synthetic
sim642
committed

Commits on Feb 28, 2024

Add comments about synthetic location changes
sim642
committed

Commits on Mar 1, 2024

Don't override statement location for for initializer
sim642
committed