Maybe I was a bit harsh with the &quot;almost no tests&quot;. They have some tests.<p>Someone name fmarch asked on <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10831601" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10831601</a> about verification against the ISA model.<p>It possibly can be done via a torture tester apparently, <a href="https:&#x2F;&#x2F;github.com&#x2F;ucb-bar&#x2F;riscv-torture" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ucb-bar&#x2F;riscv-torture</a> , but taking a quick look I don&#x27;t think it handles loops, interrupts, floating point instructions etc.