lowRISC / manticore

Apache License 2.0
16 stars 13 forks source link

[ci] Run as many unit tests as possible on Miri #94

Closed mcy closed 3 years ago

mcy commented 3 years ago

A handful of tests are currently disabled in Miri mode because they need to call into ring's copy of BoringSSL.