path: root/src/tools/miri/test-cargo-miri/tests/main.rs

use cargo_miri_test::main;