Function counter_with_bug

fendermint/testing/src/smt.rs:322–325

()

    #[test]
    #[should_panic]
    fn counter_with_bug() {
        let t = CounterStateMachine { buggy: true };
        fixed_size_builder(512).run(|u| super::run(u, &t, 100))
    }

    /// Test the equivalent of:
    ///