goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Handle columns with negative values #29

Closed karoliineh closed 2 years ago

karoliineh commented 2 years ago

Goblint gives -1 as the value of the start and end columns for some warnings. GobPie now handles this case by assigning 1 as the starting column and 10 000 as the end column value (assuming there are no lines longer than 10 000 characters). With this, showing warnings in the Chrony project is now working.