Pierre-Marie de Rodat f72094cf89 ManageScript: pretty-print generated Ada sources by default ...

... but don't do it during testing, to avoid spurious output and not to
make the testsuite even slower. Also don't abort if the pretty-printer
fails.

2018-06-27 16:32:09 +01:00

..

lexer_example.py

properties/big_integer: update to check ordering comparison operations

2018-05-31 15:07:23 +02:00

utils.py

ManageScript: pretty-print generated Ada sources by default

2018-06-27 16:32:09 +01:00