use crate::HashSet;
use proptest::proptest;
-use proptest_derive::Arbitrary;
+//use proptest_derive::Arbitrary;
-#[derive(Arbitrary, Debug)]
+#[derive(Debug)]
enum Action<A> {
Insert(A),
Remove(A),
}
-#[derive(Arbitrary)]
struct Actions<A>(Vec<Action<A>>)
where
A: Hash + Eq + Clone;
}
}
-proptest! {
+/*proptest! {
#[test]
fn comprehensive(actions: Actions<u8>) {
let mut set = HashSet::new();
assert_eq!(HashSet::from(nat.clone()), set);
}
}
-}
+}*/