Artiweb > Pull Request #3084

Fix some positions being offset #3084

Github

Description

This tries to fix some offset positions caused by me thinking that the column given by the proof JavaCC parser is 0-based when it is actually 1-based by sometimes is the uninitialized value of 0.

  • Fixes many other issues around positions returned by the proof java parser

  • Adds a test checking the positions returned for a large test file.

  • [x] Remove workaround if the tests are green

Artifacts