colorized syntax errors
It would be nice if the output of
% ltl2tgba 'a U U b X Y Z'
>>> a U U b X Y Z
^
syntax error, unexpected until operator
>>> a U U b X Y Z
^
missing right operand for "until operator"
>>> a U U b X Y Z
^^^^^
ignoring trailing garbage
would be colorized in a similar way as gcc does. This means supporting --color=yes/no/auto
in most tools (as we already do in ltlcross
) and adjusting the prototype of parsed_formula::format_errors()
to take an additional parameter to ask for colors.