SATySFi
SATySFi copied to clipboard
pprint Range.Normal in compact (GNU style) format
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.