tree 5078738b813d80e17d798ac70eaca81e103b497c
parent c9e10cbc5f815dcd91473eba3f92b6a45f886392
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1631202246 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1631262128 +0100

[otbn,dv] Add "0x" prefixes to values in error messages

I just got myself *really* confused trying to work out how the ISS was
giving an ERR_BITS of 10, until I realised it was actually 16...

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