[libre-riscv-dev] random testing is insufficient

[Jacob Lifshay]

On Fri, Jul 5, 2019 at 1:14 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> See test_add.py, corresponding test_add16.py and test_add64.py, and div and
> mul variants of the same.
>
Yeah, I saw that after writing the email.