Cargo Features
TripleBuffer has no features set by default.
[dependencies]
triple_buffer = { version = "7.0.0", features = ["miri"] }- miri
-
Adjust the test configuration (e.g. reduce problem sizes) so the tests can run under Miri within a reasonable time budget.