search

CTSRD-CHERI / QuickCheckVEngine

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

Make RVFI packet debug use verbosity level 4 #10

Open arichardson opened 3 years ago

arichardson commented 3 years ago

This makes the output a bit more readable when enabling verbose output.

Found this local diff in my testrig folder and thought it would make sense to submit a PR.

arichardson commented 3 years ago

Now actually compile-tested. stack build worked, cabal fails.

PeterRugg commented 1 year ago

Oops, this slipped through the cracks! Is it still relevant?

arichardson commented 1 year ago

Hmm looks like it might be, that debug output is extremely spammy.