SATySFi icon indicating copy to clipboard operation
SATySFi copied to clipboard

pprint Range.Normal in compact (GNU style) format

Open leque opened this issue 2 years ago • 0 comments

This PR changes pprint format of Range.Normal to GNU style file:line.pos1-pos2 format^1 to reduce characters and for ease of tool support, e.g. jumping to a location. This affects test results only.

leque avatar Nov 02 '21 19:11 leque