summaryrefslogtreecommitdiffstats
path: root/third_party/rust/leb128/tests
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /third_party/rust/leb128/tests
parentInitial commit. (diff)
downloadfirefox-esr-upstream.tar.xz
firefox-esr-upstream.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'third_party/rust/leb128/tests')
-rw-r--r--third_party/rust/leb128/tests/quickchecks.rs48
1 files changed, 48 insertions, 0 deletions
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<bool> {
+ 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<bool>);
+}
+
+#[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<bool> {
+ 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<bool>);
+}