Re: cex: color the counterexamples

[Akim Demaille]

> Le 7 juin 2020 à 09:05, Akim Demaille <a...@lrde.epita.fr> a écrit :
> 
> 
> Hi all,
> 
> This is only a proposal.  I'll install it unless there is resistance in the 
> near future, but I'm open with changing things afterwards.

No answer, so installed.

Cheers!