sepcomp: use the new `POSetGroupColorer` to color types for tests
authorJean Privat <jean@pryen.org>
Sat, 28 Mar 2015 02:12:28 +0000 (09:12 +0700)
committerJean Privat <jean@pryen.org>
Sat, 28 Mar 2015 02:12:28 +0000 (09:12 +0700)
The previous coloring with a poset of types is still available trough `--type-poset`

Signed-off-by: Jean Privat <jean@pryen.org>


No differences found