Sha256: 84baf7f83df6b0261dff9258436937506b681f390d28932fc4addd15a42a3910

Contents?: true

Size: 1.21 KB

Versions: 38

Compression:

Stored size: 1.21 KB

Contents

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>);
}

Version data entries

38 entries across 38 versions & 1 rubygems

Version Path
wasmtime-29.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-28.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-27.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-26.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-25.0.2 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-25.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-25.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-24.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-23.0.2 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-22.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-21.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-20.0.2 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-20.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-18.0.3 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-17.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-17.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-16.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-15.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-15.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-14.0.4 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs