cargo fmt

This commit is contained in:
Arthur Carcano
2026-05-05 10:41:21 +02:00
parent 382981642d
commit 0eb7d61829
2 changed files with 10 additions and 3 deletions
+5 -1
View File
@@ -34,5 +34,9 @@ fuzz_target!(|inputs: (
(bool, Vec<(VersionBlockKey, VersionBlock)>)
)| {
let ((d1, b1), (d2, b2), (d3, b3)) = inputs;
check_crdt_laws(make_version(d1, b1), make_version(d2, b2), make_version(d3, b3));
check_crdt_laws(
make_version(d1, b1),
make_version(d2, b2),
make_version(d3, b3),
);
});
+5 -2
View File
@@ -31,7 +31,7 @@ where
t.merge(&b);
t
};
assert_eq!(ab,ab_b);
assert_eq!(ab, ab_b);
// Associativity: merge(merge(a, b), c) == merge(a, merge(b, c))
let ab_c = {
@@ -49,5 +49,8 @@ where
t.merge(&bc);
t
};
assert_eq!(ab_c, a_bc, "merge is not associative: {ab_c:#?} != {a_bc:#?}");
assert_eq!(
ab_c, a_bc,
"merge is not associative: {ab_c:#?} != {a_bc:#?}"
);
}