[libre-riscv-dev] formal proof NLnet proposal in

[Jacob Lifshay]

On Sun, Sep 22, 2019, 20:59 Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

>
> it also ensures that there's no 3rd party that
> needs to be approached in an independent audit of the code.


not necessarily, we could accidentally test against something that isn't
the spec we intended to test against if we misunderstand the spec.