use rust_hdl::prelude::*;

#[test]
fn test_sync_reset() {
    let mut uut = AutoReset::default();
    uut.connect_all();
    let mut sim = Simulation::new();
    sim.add_clock(5000, |x: &mut Box<AutoReset>| x.clock.next = !x.clock.val());
    sim.add_testbench(move |mut sim: Sim<AutoReset>| {
        let mut x = sim.init()?;
        x = sim.wait(15_000, x)?;
        sim.done(x)
    });
    sim.run_to_file(Box::new(uut), 20_000, &vcd_path!("sr_test.vcd"))
        .unwrap();
}