manticore icon indicating copy to clipboard operation
manticore copied to clipboard

Run _all_ tests under Miri.

Open mcy opened this issue 4 years ago • 2 comments

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.

mcy avatar Aug 04 '21 17:08 mcy

Hi @mcy , I can take this one.

xaep avatar Aug 14 '21 12:08 xaep

Assigned! GH failed to notify me of your comment >_>

mcy avatar Aug 20 '21 15:08 mcy