Use position IDs as Viper line numbers#1418

Merged

fpoli merged 3 commits intomasterfrom unique-positions

Jun 30, 2023

+105-3

Commits on Jun 26, 2023

Commits on Jun 27, 2023

Test reporting of multiple errors
fpoli
committed