-[[bin]]
-name = "cargo-miri"
-test = false # we have no unit tests
-doctest = false # and no doc tests
-required-features = ["cargo_miri"]
-
-[[bin]]
-name = "miri-rustc-tests"
-test = false # we have no unit tests
-doctest = false # and no doc tests
-required-features = ["rustc_tests"]
-