From 43a97878ce14b72f0981164f87f2e35e14151312 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 11:22:09 +0200 Subject: Adding upstream version 110.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/quickchecks.rs') diff --git a/third_party/rust/leb128/tests/quickchecks.rs b/third_party/rust/leb128/tests/quickchecks.rs new file mode 100644 index 0000000000..d6c1c1ccc5 --- /dev/null +++ b/third_party/rust/leb128/tests/quickchecks.rs @@ -0,0 +1,48 @@ +use leb128; +use 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