mirror of
https://github.com/tlsnotary/tlsn-utils.git
synced 2026-01-09 15:08:05 -05:00
27 lines
570 B
Rust
27 lines
570 B
Rust
#![no_main]
|
|
|
|
use std::ops::Range;
|
|
|
|
use libfuzzer_sys::fuzz_target;
|
|
|
|
use rangeset::*;
|
|
use rangeset_fuzz::assert_invariants;
|
|
|
|
fn expected_range_difference(a: Range<u8>, b: Range<u8>) -> Vec<u8> {
|
|
a.filter(|x| !b.contains(x)).collect::<Vec<_>>()
|
|
}
|
|
|
|
fuzz_target!(|r: (Range<u8>, Range<u8>)| {
|
|
let (r1, r2) = r;
|
|
|
|
let expected_values = expected_range_difference(r1.clone(), r2.clone());
|
|
|
|
let diff = r1.difference(&r2);
|
|
|
|
let actual_values = diff.iter().collect::<Vec<_>>();
|
|
|
|
assert_eq!(expected_values, actual_values);
|
|
|
|
assert_invariants(diff);
|
|
});
|