search

CTSRD-CHERI / QuickCheckVEngine

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

V2 trace wire format #7

Closed arichardson closed 3 years ago

arichardson commented 3 years ago

This is backwards compatible, old implementations can still report version1 traces and we won't compare fields that aren't present yet (e.g. privilege level).

arichardson commented 3 years ago

I believe this should work now. The code is probably not very well written. I last used Haskell almost 10 years ago, so I just copy-pasted and followed IDE suggestions and code formatting.