-
Alexandre Duret-Lutz authored
* python/spot/impl.i: Bind is_colored(). * python/spot/__init__.py: Add Colored support to postproc. * tests/python/parity.py: Add a test case.
f369db6c
* python/spot/impl.i: Bind is_colored(). * python/spot/__init__.py: Add Colored support to postproc. * tests/python/parity.py: Add a test case.