search

CTSRD-CHERI / QuickCheckVEngine

A RISC-V TestRIG Verification Engine based on QuickCheck
BSD 2-Clause "Simplified" License
7 stars 10 forks source link

Coloured terminal output #18

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

It would be nice if the output included colour sequences so you can easily see the line that diverges without having to scan for ">" "<".

Might be easiest to use the ansi-terminal package to make error prints something like red/bold?

PeterRugg commented 1 year ago

Hopefully addressed by https://github.com/CTSRD-CHERI/QuickCheckVEngine/commit/fc7612a724f99d325a2eba7ae2fbe94f42bc1edd?

arichardson commented 1 year ago

Thanks! There are probably more places that could be made more readable using colours, but this is a huge improvement and fixes my main use-case :)