From 89af9d108458169106295c4c9361b6fd5e5c620b Mon Sep 17 00:00:00 2001 From: timofey Date: Sun, 15 Oct 2023 13:13:13 +0000 Subject: [PATCH] `different_singulars_not_equal` --- src/rstd/collections/tree.rs | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/src/rstd/collections/tree.rs b/src/rstd/collections/tree.rs index 0608244..33fa0d3 100644 --- a/src/rstd/collections/tree.rs +++ b/src/rstd/collections/tree.rs @@ -261,16 +261,24 @@ mod tests { fn singular_node( trees: &BalancedTrees, + key: u64, ) -> Node<'static, TestContextPlain, AtomicObject> { trees - .try_join(trees.empty(), 0.into(), trees.empty()) + .try_join(trees.empty(), key.into(), trees.empty()) .unwrap() } + fn singular_keyed( + trees: &BalancedTrees, + key: u64, + ) -> Tree<'static, TestContextPlain, AtomicObject> { + trees.tree_of(singular_node(trees, key)).unwrap() + } + fn singular_tree( trees: &BalancedTrees, ) -> Tree<'static, TestContextPlain, AtomicObject> { - trees.tree_of(singular_node(trees)).unwrap() + singular_keyed(trees, 0) } #[test] @@ -304,4 +312,12 @@ mod tests { let reference = trees.refer(&singular_tree(&trees)).unwrap(); assert!(trees.equal(&reference, &reference)); } + + #[test] + fn different_singulars_not_equal() { + let trees = BalancedTrees::new(new_trees()); + let reference1 = trees.refer(&singular_keyed(&trees, 1)).unwrap(); + let reference2 = trees.refer(&singular_keyed(&trees, 2)).unwrap(); + assert!(!trees.equal(&reference1, &reference2)); + } }