eclipse-score / eclipse-score/score
Undefined behaviour detection tooling
Open
- Dominant language
- Starlark
- Stars
- 109
- Forks
- 105
- Avg merge
- 1d 9h
- Merged PRs (30d)
- 21
Description
DoD:
- Provide UB tooling (MIri) that is able to run within bazel
- Provide CI workflow that executes Miri and can be used in modules
- Miri flags should be able to be passed from module itself.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.