batch mode: add printing of source color and cursor position as text (!124) · Merge requests · Why3 / why3

DAILLER Sylvain requested to merge batch_mode_cursor into master Apr 17, 2019

This shows where the colors/cursor are located on the source code when selecting a goal. This also contains an experimental oracle based bench for keeping track of this information.

Edited Apr 19, 2019 by DAILLER Sylvain

batch mode: add printing of source color and cursor position as text

Merge request reports