model 0.1.2

model-based testing for data structures, with linearizability checking
Documentation
Build #134803 2019-01-05 11:10:47

# rustc version rustc 1.33.0-nightly (adbfec229 2018-12-17)

# docs.rs version cratesfyi 0.6.0 (2f681cd 2018-12-20)

# build log Updating crates.io index Downloading crates ... Downloaded model v0.1.2 Downloading crates ... Downloaded permutohedron v0.2.4 Fresh semver-parser v0.7.0 Fresh autocfg v0.1.1 Fresh rand_core v0.3.0 Fresh cfg-if v0.1.6 Fresh remove_dir_all v0.5.1 Fresh quick-error v1.2.2 Fresh ucd-util v0.1.3 Fresh fnv v1.0.6 Fresh bit-vec v0.5.0 Fresh byteorder v1.2.7 Fresh lazy_static v1.2.0 Fresh bitflags v1.0.4 Checking permutohedron v0.2.4 Fresh semver v0.9.0 Fresh rand_hc v0.1.0 Fresh rand_xorshift v0.1.1 Fresh rand_isaac v0.1.1 Running `rustc --crate-name permutohedron /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/permutohedron-0.2.4/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=78b47baefcc4e8f7 -C extra-filename=-78b47baefcc4e8f7 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow` Fresh rand_core v0.2.2 Fresh regex-syntax v0.6.4 Fresh bit-set v0.5.0 Fresh rustc_version v0.2.3 Fresh libc v0.2.46 Fresh num-traits v0.2.6 Fresh rand_chacha v0.1.1 Fresh rand_os v0.1.0 Checking wait-timeout v0.1.5 Checking rand v0.5.5 Running `rustc --crate-name wait_timeout /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/wait-timeout-0.1.5/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=d5bd5ab8d7414314 -C extra-filename=-d5bd5ab8d7414314 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-c6b5d1c3671e9666.rmeta --cap-lints allow` Running `rustc --crate-name rand /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/rand-0.5.5/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 --cfg 'feature="alloc"' --cfg 'feature="cloudabi"' --cfg 'feature="fuchsia-zircon"' --cfg 'feature="i128_support"' --cfg 'feature="libc"' --cfg 'feature="rand_core"' --cfg 'feature="std"' --cfg 'feature="winapi"' -C metadata=7f5d5d1e6f12dfd2 -C extra-filename=-7f5d5d1e6f12dfd2 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-c6b5d1c3671e9666.rmeta --extern rand_core=/home/cratesfyi/cratesfyi/debug/deps/librand_core-57e09746488f7d5a.rmeta --cap-lints allow` Fresh rand_pcg v0.1.1 Fresh rand v0.6.3 Fresh tempfile v3.0.5 Checking rusty-fork v0.2.1 Running `rustc --crate-name rusty_fork /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/rusty-fork-0.2.1/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 --cfg 'feature="timeout"' --cfg 'feature="wait-timeout"' -C metadata=7db84a97cd5477e5 -C extra-filename=-7db84a97cd5477e5 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern fnv=/home/cratesfyi/cratesfyi/debug/deps/libfnv-d6ed0ff3271f04b6.rmeta --extern quick_error=/home/cratesfyi/cratesfyi/debug/deps/libquick_error-ecef20ff736501b0.rmeta --extern tempfile=/home/cratesfyi/cratesfyi/debug/deps/libtempfile-cb2a0541dcbf7346.rmeta --extern wait_timeout=/home/cratesfyi/cratesfyi/debug/deps/libwait_timeout-d5bd5ab8d7414314.rmeta --cap-lints allow` Checking proptest v0.8.7 Running `rustc --crate-name proptest /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/proptest-0.8.7/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 --cfg 'feature="bit-set"' --cfg 'feature="byteorder"' --cfg 'feature="default"' --cfg 'feature="fork"' --cfg 'feature="num-traits"' --cfg 'feature="quick-error"' --cfg 'feature="rand"' --cfg 'feature="regex-syntax"' --cfg 'feature="rusty-fork"' --cfg 'feature="std"' --cfg 'feature="tempfile"' --cfg 'feature="timeout"' -C metadata=8a49497d36214216 -C extra-filename=-8a49497d36214216 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern bit_set=/home/cratesfyi/cratesfyi/debug/deps/libbit_set-d3317b4ec716222a.rmeta --extern bitflags=/home/cratesfyi/cratesfyi/debug/deps/libbitflags-1dfe1239066e6206.rmeta --extern byteorder=/home/cratesfyi/cratesfyi/debug/deps/libbyteorder-d1a4c80f0627ef7c.rmeta --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-4b9cdd230d75131a.rmeta --extern num_traits=/home/cratesfyi/cratesfyi/debug/deps/libnum_traits-9ea253487a993c12.rmeta --extern quick_error=/home/cratesfyi/cratesfyi/debug/deps/libquick_error-ecef20ff736501b0.rmeta --extern rand=/home/cratesfyi/cratesfyi/debug/deps/librand-7f5d5d1e6f12dfd2.rmeta --extern regex_syntax=/home/cratesfyi/cratesfyi/debug/deps/libregex_syntax-fba7513abddda75e.rmeta --extern rusty_fork=/home/cratesfyi/cratesfyi/debug/deps/librusty_fork-7db84a97cd5477e5.rmeta --extern tempfile=/home/cratesfyi/cratesfyi/debug/deps/libtempfile-cb2a0541dcbf7346.rmeta --cap-lints allow` Documenting model v0.1.2 Running `rustdoc --edition=2018 --crate-name model /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/model-0.1.2/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181217-1.33.0-nightly-adbfec229 --extern-html-root-url 'proptest=https://docs.rs/proptest/0.8.7' --extern-html-root-url 'permutohedron=https://docs.rs/permutohedron/0.2.4' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern permutohedron=/home/cratesfyi/cratesfyi/debug/deps/libpermutohedron-78b47baefcc4e8f7.rmeta --extern proptest=/home/cratesfyi/cratesfyi/debug/deps/libproptest-8a49497d36214216.rmeta` Finished dev [unoptimized + debuginfo] target(s) in 11.93s