edg-l/rustyman
1
0
Fork 0
mirror of https://github.com/edg-l/rustyman.git synced 2024-11-22 07:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

more tests

Browse source
This commit is contained in:
Edgar 2022-10-26 10:57:50 +02:00
parent 37a5d75e3b
commit ab387d76cf
No known key found for this signature in database
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/lib.rs
View file

@ -301,5 +301,14 @@ mod tests {
prop_assert!(compressed.len() <= data.len()); prop_assert!(compressed.len() <= data.len());
prop_assert_eq!(data, decompressed); prop_assert_eq!(data, decompressed);
} }
#[test]
fn proptest_freq_table(data: Vec<u8>) {
let table = Huffman::calculate_freq_table(&data);
for b in &data {
prop_assert!(table.get(b).is_some());
}
}
} }
} }