logicsim
macro_rules! assert_propagation { ($ig:expr, $expected:expr) => { ... }; }
Asserts that the graph stabilizes after exactly expected iterations.
expected