seer 0.0.3

symbolic execution engine for rust
Build #123012 2018-10-23T11:22:10.873821+00:00
# rustc version
rustc 1.31.0-nightly (78ff609d7 2018-10-19)# docs.rs version
cratesfyi 0.6.0 (401be1e 2018-10-20)# build log
Updating crates.io index
Downloading crates ...
Downloaded seer v0.0.3
Downloading crates ...
Downloaded cargo_metadata v0.1.2
Downloaded log_settings v0.1.2
Downloaded seer-z3 v0.1.2
Fresh winapi-build v0.1.1
Fresh winapi v0.2.8
Fresh unicode-xid v0.0.4
Fresh quote v0.3.15
Fresh version_check v0.1.5
Fresh libc v0.2.43
Fresh cfg-if v0.1.6
Fresh regex-syntax v0.3.9
Fresh itoa v0.3.4
Fresh serde v0.9.15
Fresh dtoa v0.4.3
Fresh utf8-ranges v0.1.3
Fresh z3-sys v0.3.0
Fresh byteorder v1.2.6
Fresh synom v0.11.3
Fresh memchr v0.1.11
Fresh log v0.4.5
Fresh syn v0.11.11
Fresh num-traits v0.2.6
Fresh aho-corasick v0.5.3
Fresh log v0.3.9
Fresh kernel32-sys v0.2.2
Fresh serde_codegen_internals v0.14.2
Fresh num-traits v0.1.43
Fresh lazy_static v1.1.0
Fresh thread-id v2.0.0
Fresh serde_derive v0.9.15
Fresh serde_json v0.9.10
Checking seer-z3 v0.1.2
Checking log_settings v0.1.2
Fresh thread_local v0.2.7
Running `rustc --crate-name seer_z3 /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/seer-z3-0.1.2/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=ae17ca3dc44fa1cf -C extra-filename=-ae17ca3dc44fa1cf --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-f667a569301798b3.rmeta --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-4b31dc9d4d41372a.rmeta --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-9db27edde8aa1b40.rmeta --extern z3_sys=/home/cratesfyi/cratesfyi/debug/deps/libz3_sys-d369fedee63bce87.rmeta --cap-lints allow`
Checking cargo_metadata v0.1.2
Running `rustc --crate-name log_settings /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/log_settings-0.1.2/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=2171b1ee42b95ec6 -C extra-filename=-2171b1ee42b95ec6 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-f667a569301798b3.rmeta --cap-lints allow`
Running `rustc --crate-name cargo_metadata /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/cargo_metadata-0.1.2/src/lib.rs --color never --crate-type lib --emit=dep-info,metadata -C debuginfo=2 -C metadata=80f43c062711af26 -C extra-filename=-80f43c062711af26 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern serde=/home/cratesfyi/cratesfyi/debug/deps/libserde-baf9186f775c5ea7.rmeta --extern serde_derive=/home/cratesfyi/cratesfyi/debug/deps/libserde_derive-26909dce36e54949.so --extern serde_json=/home/cratesfyi/cratesfyi/debug/deps/libserde_json-25adf6ea05fb452b.rmeta --cap-lints allow`
Fresh regex v0.1.80
Fresh env_logger v0.3.5
Documenting seer v0.0.3
Running `rustdoc --crate-name seer /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/seer-0.0.3/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181019-1.31.0-nightly-78ff609d7 --extern-html-root-url 'log=https://docs.rs/log/0.3.9' --extern-html-root-url 'compiletest_rs=https://docs.rs/compiletest_rs/0.3.14' --extern-html-root-url 'byteorder=https://docs.rs/byteorder/1.2.6' --extern-html-root-url 'env_logger=https://docs.rs/env_logger/0.3.5' --extern-html-root-url 'cargo_metadata=https://docs.rs/cargo_metadata/0.1.2' --extern-html-root-url 'log_settings=https://docs.rs/log_settings/0.1.2' --extern-html-root-url 'seer_z3=https://docs.rs/seer-z3/0.1.2' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern byteorder=/home/cratesfyi/cratesfyi/debug/deps/libbyteorder-918862fe9d43dff1.rmeta --extern cargo_metadata=/home/cratesfyi/cratesfyi/debug/deps/libcargo_metadata-80f43c062711af26.rmeta --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-fed3dda306d5109b.rmeta --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-9db27edde8aa1b40.rmeta --extern log_settings=/home/cratesfyi/cratesfyi/debug/deps/liblog_settings-2171b1ee42b95ec6.rmeta --extern seer_z3=/home/cratesfyi/cratesfyi/debug/deps/libseer_z3-ae17ca3dc44fa1cf.rmeta`
error[E0463]: can't find crate for `rustc_const_math`
--> /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/seer-0.0.3/src/lib.rs:14:1
|
14 | extern crate rustc_const_math;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate

thread 'main' panicked at 'ProcessError { desc: "process didn\'t exit successfully: `rustdoc --crate-name seer /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/seer-0.0.3/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181019-1.31.0-nightly-78ff609d7 --extern-html-root-url \'log=https://docs.rs/log/0.3.9\' --extern-html-root-url \'compiletest_rs=https://docs.rs/compiletest_rs/0.3.14\' --extern-html-root-url \'byteorder=https://docs.rs/byteorder/1.2.6\' --extern-html-root-url \'env_logger=https://docs.rs/env_logger/0.3.5\' --extern-html-root-url \'cargo_metadata=https://docs.rs/cargo_metadata/0.1.2\' --extern-html-root-url \'log_settings=https://docs.rs/log_settings/0.1.2\' --extern-html-root-url \'seer_z3=https://docs.rs/seer-z3/0.1.2\' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern byteorder=/home/cratesfyi/cratesfyi/debug/deps/libbyteorder-918862fe9d43dff1.rmeta --extern cargo_metadata=/home/cratesfyi/cratesfyi/debug/deps/libcargo_metadata-80f43c062711af26.rmeta --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-fed3dda306d5109b.rmeta --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-9db27edde8aa1b40.rmeta --extern log_settings=/home/cratesfyi/cratesfyi/debug/deps/liblog_settings-2171b1ee42b95ec6.rmeta --extern seer_z3=/home/cratesfyi/cratesfyi/debug/deps/libseer_z3-ae17ca3dc44fa1cf.rmeta` (exit code: 1)", exit: Some(ExitStatus(ExitStatus(256))), output: None }

Could not document `seer`.', src/bin/cratesfyi.rs:142:13
note: Run with `RUST_BACKTRACE=1` for a backtrace.