lowRISC / lowRISC/manticore

Run _all_ tests under Miri.

Open
#103 2 comments 0 reactions 1 assignee View on GitHub

@xaep is already working on this.

Since Aug 20, 2021.

good first issue
Dominant language
Rust
Stars
17
Forks
11
PR merge metrics
No merged PRs in 30d

Description

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.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.