INNER CODE UNIT · Rust

overflow_panics_for_test

0xMiden/crypto · miden-crypto/src/lib.rs:291

    fn overflow_panics_for_test() {
        // overflows might be disabled if tests are performed in release mode. these are critical,
        // mandatory checks as overflows might be attack vectors.
        //
        // to enable overflow checks in release mode, ensure `RUSTFLAGS="-C overflow-checks"`
        let a = 1_u64;
        let b = 64;
        assert_ne!(a << b, 0);
    }
}

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…