Function diem_scratchpad::test_utils::proptest_helpers::arb_smt_correctness_case

pub fn arb_smt_correctness_case() -> impl Strategy<Value = Vec<Action>>