equal
deleted
inserted
replaced
63 .prop_map(Ascii) |
63 .prop_map(Ascii) |
64 .boxed() |
64 .boxed() |
65 } |
65 } |
66 |
66 |
67 type Strategy = BoxedStrategy<Ascii>; |
67 type Strategy = BoxedStrategy<Ascii>; |
68 type ValueTree = Box<ValueTree<Value = Ascii>>; |
68 type ValueTree = Box<dyn ValueTree<Value = Ascii>>; |
69 } |
69 } |
70 |
70 |
71 pub fn gen_proto_msg() -> BoxedStrategy<HWProtocolMessage> where { |
71 pub fn gen_proto_msg() -> BoxedStrategy<HWProtocolMessage> where { |
72 let res = (0..58).no_shrink().prop_flat_map(|i| { |
72 let res = (0..58).no_shrink().prop_flat_map(|i| { |
73 proto_msg_match!(i, def = Malformed, |
73 proto_msg_match!(i, def = Malformed, |