manticore
manticore copied to clipboard
Run _all_ tests under Miri.
Currently, some tests have #[cfg_attr(miri, ignore)] because they call into ring which calls into some assembly.
The best way to deal with this is probably to mock out all of the ring components to do nothing when #[cfg(miri)] holds.
Hi @mcy , I can take this one.
Assigned! GH failed to notify me of your comment >_>