From 2aa4a82499d4becd2284cdb482213d541b8804dd Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 28 Apr 2024 16:29:10 +0200 Subject: Adding upstream version 86.0.1. Signed-off-by: Daniel Baumann --- third_party/rust/leb128/tests/quickchecks.rs | 48 ++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 third_party/rust/leb128/tests/quickchecks.rs (limited to 'third_party/rust/leb128/tests') diff --git a/third_party/rust/leb128/tests/quickchecks.rs b/third_party/rust/leb128/tests/quickchecks.rs new file mode 100644 index 0000000000..ac6752f761 --- /dev/null +++ b/third_party/rust/leb128/tests/quickchecks.rs @@ -0,0 +1,48 @@ +extern crate leb128; +extern crate quickcheck; + +use std::io; + +#[test] +fn can_write_any_unsigned_int() { + fn f(x: u64) -> io::Result<()> { + let mut v = vec![]; + leb128::write::unsigned(&mut v, x)?; + Ok(()) + } + quickcheck::quickcheck(f as fn(u64) -> io::Result<()>); +} + +#[test] +fn can_round_trip_any_unsigned_int() { + fn f(x: u64) -> io::Result { + let mut v = vec![]; + leb128::write::unsigned(&mut v, x)?; + let y = leb128::read::unsigned(&mut &v[..]) + .map_err(|e| io::Error::new(io::ErrorKind::Other, e))?; + Ok(x == y) + } + quickcheck::quickcheck(f as fn(u64) -> io::Result); +} + +#[test] +fn can_write_any_signed_int() { + fn f(x: i64) -> io::Result<()> { + let mut v = vec![]; + leb128::write::signed(&mut v, x)?; + Ok(()) + } + quickcheck::quickcheck(f as fn(i64) -> io::Result<()>); +} + +#[test] +fn can_round_trip_any_signed_int() { + fn f(x: i64) -> io::Result { + let mut v = vec![]; + leb128::write::signed(&mut v, x)?; + let y = leb128::read::signed(&mut &v[..]) + .map_err(|e| io::Error::new(io::ErrorKind::Other, e))?; + Ok(x == y) + } + quickcheck::quickcheck(f as fn(i64) -> io::Result); +} -- cgit v1.2.3