Pre-pre-pre RFC: mirisafeish { } blocks: you can use unsafe components in safe code, but only if you provide tests to achieve full MC/DC coverage when running in miri mode without any warnings
-
-
https://en.wikipedia.org/wiki/Modified_condition/decision_coverage … (Not actually serious with this proposal)
-
It's basically a more complex measurement of code coverage, where all possible components of a conditional must be exercised, instead of every line of a program. Ex:
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.