mango-v4/lib/checked_math/tests/progress.rs

#[test]
fn tests() {
    let t = trybuild::TestCases::new();
    t.pass("tests/01-success.rs");
}