octo
/
Zebra
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix `roundtrip_sapling_tree_root` and `roundtrip_orchard_tree_root` proptests (#7628)

This commit is contained in:
Alfredo Garcia 2023-09-26 20:45:47 -03:00 committed by GitHub
parent 0309afc0b9
commit 90df59af55
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
zebra-state/src/service/finalized_state/disk_format/tests/prop.rs
View File

@ -376,7 +376,7 @@ fn roundtrip_sapling_subtree_data() {
let _init_guard = zebra_test::init();
proptest!(|(mut val in any::<NoteCommitmentSubtreeData<sapling::tree::Node>>())| {
val.end = val.end.clamp(Height(0), MAX_ON_DISK_HEIGHT);
val.end.0 %= MAX_ON_DISK_HEIGHT.0 + 1;
assert_value_properties(val)
});
}
@ -462,6 +462,7 @@ fn roundtrip_orchard_subtree_data() {
proptest!(|(mut val in any::<NoteCommitmentSubtreeData<orchard::tree::Node>>())| {
val.end = val.end.clamp(Height(0), MAX_ON_DISK_HEIGHT);
val.end.0 %= MAX_ON_DISK_HEIGHT.0 + 1;
assert_value_properties(val)
});
}