Function check_writable

fendermint/storage/src/testing.rs:151–186

State machine test for an implementation of a `KVWritable` using a sequence of random ops.

(sut: &impl KVWritable<S>, data: TestData)

/// State machine test for an implementation of a `KVWritable` using a sequence of random ops.
pub fn check_writable<S>(sut: &impl KVWritable<S>, data: TestData) -> bool
where
    S: KVStore<Namespace = TestNamespace> + Clone + Codec<String> + Codec<u8>,
    S::Repr: Ord + 'static,
{
    let mut model = Model::default();
    // Creating a collection doesn't add much to the test but at least we exercise this path.
    let mut colls = Collections::<S>::default();
    // Start the transaction.
    let mut tx = sut.write();
    let mut ok = true;
    for d in data.ops {
        match d {
            TestOpNs::S2I(ns, op) => {
                let coll = colls.s2i(ns);
                if !apply_both(&mut tx, &mut model.s2i, coll, ns, op) {
                    ok = false;
                }
            }
            TestOpNs::I2S(ns, op) => {
                let coll = colls.i2s(ns);
                if !apply_both(&mut tx, &mut model.i2s, coll, ns, op) {
                    ok = false;
                }
            }
            TestOpNs::Rollback => {
                //println!("ROLLBACK");
                model = Model::default();
                tx.rollback().unwrap();
                tx = sut.write();
            }
        }
    }
    tx.rollback().unwrap();
    ok
}

/// Check that two write transactions don't see each others' changes.
///