miden-crypto/src/hash/blake/tests.rs
src/hash/blake/tests.rsRaw
1use super::*;
2use crate::utils::collections::Vec;
3use proptest::prelude::*;
4
5proptest! {
6 #[test]
7 fn blake160_wont_panic_with_arbitrary_input(ref vec in any::<Vec<u8>>()) {
8 Blake3_160::hash(vec);
9 }
10
11 #[test]
12 fn blake192_wont_panic_with_arbitrary_input(ref vec in any::<Vec<u8>>()) {
13 Blake3_192::hash(vec);
14 }
15
16 #[test]
17 fn blake256_wont_panic_with_arbitrary_input(ref vec in any::<Vec<u8>>()) {
18 Blake3_256::hash(vec);
19 }
20}