tree 963464e2cbaa86fa7cc0650f75243decb24ff91d
parent f1653ea4013b460f35615cfb0da4c5dfaf001721
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1650896679 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1652691257 +0100

[otbn,dv] Be more descriptive when failing a trace comparison

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>