Miri is an interpreter for Rust's intermediate representation and can detect
certain undefined behavior, like out-of-bounds accesses and use-after-frees
in unsafe blocks for example. This adds a CI job that runs the test suite
with Miri.
Note: the cli_tests are excluded for now because Miri cannot properly run
them right now.
That's pretty strange because it runs locally, und miri seems to be complaining that compilation fails, weird ... I'll have to look into this a little more
Miri is an interpreter for Rust's intermediate representation and can detect certain undefined behavior, like out-of-bounds accesses and use-after-frees in unsafe blocks for example. This adds a CI job that runs the test suite with Miri.
Note: the cli_tests are excluded for now because Miri cannot properly run them right now.