Macro assert_leak_detected 

macro_rules! assert_leak_detected {
    ($outcome:expr) => { ... };
}

Assert that a timing leak WAS detected (for testing known-leaky code). Panics on Pass with detailed diagnostic output showing why no leak was found.

Example

use tacet::{TimingOracle, AttackerModel, helpers::InputPair, assert_leak_detected};

let inputs = InputPair::new(|| [0u8; 32], || rand::random());
let outcome = TimingOracle::for_attacker(AttackerModel::AdjacentNetwork)
    .test(inputs, |data| leaky_function(data));
assert_leak_detected!(outcome);