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-14.0.3 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-14.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-14.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-13.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-12.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-12.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-11.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-10.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-10.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-9.0.4 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-9.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-8.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-7.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-6.0.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-6.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-5.0.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-0.4.1 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs
wasmtime-0.4.0 ./ext/cargo-vendor/leb128-0.2.5/tests/quickchecks.rs