When running Copper from the command line, most of the ANSI terminal control sequences in the output counterexamples are suppressed as expected when the -nc switch is set or the logs are output to a file. However, there is still an unsuppressed a control sequence ^[[0m (which appears to be introduced by the ColoredStringBuilder.toString() method) at the end of each line.
Make sure these sequences are suppressed along with the rest.
When running Copper from the command line, most of the ANSI terminal control sequences in the output counterexamples are suppressed as expected when the
-ncswitch is set or the logs are output to a file. However, there is still an unsuppressed a control sequence^[[0m(which appears to be introduced by theColoredStringBuilder.toString()method) at the end of each line.Make sure these sequences are suppressed along with the rest.