search

microsoft / regorus

Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.
MIT License
130 stars 31 forks source link

Enable `miri` testing in CI #243

Open anakrish opened 4 months ago

anakrish commented 4 months ago

Use miri to detect undefined behavior.