fact: Definition gen_state : G State := let imem0 := [Nop; Nop] in bindGen gen_atom (fun pc => bindGen gen_memory (fun mem => bindGen (gen_stack 4 (is_atom_low pc)) (fun stk => bindGen (ainstr (St imem0 mem stk pc)) (fun i => returnGen (St [i;i] mem stk pc))))).
imports: QuickChick(QuickChick) ZArith List QuickChick.ifcbasic(Machine)