[libre-riscv-dev] random testing is insufficient

Jacob Lifshay programmerjake at gmail.com
Fri Jul 5 09:23:16 BST 2019

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.

More information about the libre-riscv-dev mailing list