verifier 0.1.0

Macros that provide common software verifier primitives
Documentation
Build #217717 2020-02-01T22:43:23.971299+00:00
# rustc version
rustc 1.42.0-nightly (cd1ef390e 2020-01-31)# docs.rs version
docsrs 0.6.0 (4ecf2a6 2020-02-01)# build log
[INFO] running `"docker" "create" "-v" "/home/cratesfyi/workspace/builds/verifier-0.1.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/verifier-0.1.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20200131-1.42.0-nightly-cd1ef390e --static-root-path /" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] c407d8d08397ddffc144258bd07c54de9a28320459aebebf60d5b82e89c968f4
[INFO] running `"docker" "start" "-a" "c407d8d08397ddffc144258bd07c54de9a28320459aebebf60d5b82e89c968f4"`
[INFO] [stderr]  Documenting verifier v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.91s
[INFO] running `"docker" "inspect" "c407d8d08397ddffc144258bd07c54de9a28320459aebebf60d5b82e89c968f4"`
[INFO] running `"docker" "rm" "-f" "c407d8d08397ddffc144258bd07c54de9a28320459aebebf60d5b82e89c968f4"`
[INFO] [stdout] c407d8d08397ddffc144258bd07c54de9a28320459aebebf60d5b82e89c968f4