seer 0.0.3

symbolic execution engine for rust
Build #103871 2018-06-06T07:50:20.061377+00:00
# rustc version
rustc 1.28.0-dev (b9bf4f162 2018-06-02)# docs.rs version
cratesfyi 0.5.0 (579f83b 2018-03-05)# build log
Updating registry `https://github.com/rust-lang/crates.io-index`
Fresh dtoa v0.4.2
Fresh unicode-xid v0.0.4
Fresh itoa v0.3.4
Fresh libc v0.2.42
Fresh cfg-if v0.1.3
Fresh quote v0.3.15
Fresh serde v0.9.15
Fresh synom v0.11.3
Fresh winapi v0.2.8
Fresh lazy_static v1.0.1
Fresh log v0.4.2
Compiling va_list v0.0.1
Fresh memchr v0.1.11
Fresh syn v0.11.11
Fresh utf8-ranges v0.1.3
Fresh byteorder v1.2.3
Compiling log_settings v0.1.2
Fresh log v0.3.9
Fresh regex-syntax v0.3.9
Running `rustc --crate-name va_list .cargo/registry/src/github.com-1ecc6299db9ec823/va_list-0.0.1/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=324e08527efa9dd7 -C extra-filename=-324e08527efa9dd7 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --cap-lints allow`
Fresh aho-corasick v0.5.3
Fresh serde_codegen_internals v0.14.2
Fresh num-traits v0.2.4
Fresh winapi-build v0.1.1
Running `rustc --crate-name log_settings .cargo/registry/src/github.com-1ecc6299db9ec823/log_settings-0.1.2/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=0fe88319ba5656ec -C extra-filename=-0fe88319ba5656ec --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-1adaeb69ca9ba8e2.rlib --extern-version lazy_static=lazy_static,1.0.1 --cap-lints allow`
Fresh num-traits v0.1.43
Fresh serde_derive v0.9.15
Fresh kernel32-sys v0.2.2
Fresh thread-id v2.0.0
Fresh thread_local v0.2.7
Fresh regex v0.1.80
Fresh env_logger v0.3.5
Fresh serde_json v0.9.10
Compiling cargo_metadata v0.1.2
Running `rustc --crate-name cargo_metadata .cargo/registry/src/github.com-1ecc6299db9ec823/cargo_metadata-0.1.2/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=47e0fe9a200dd050 -C extra-filename=-47e0fe9a200dd050 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern serde_derive=/home/cratesfyi/cratesfyi/debug/deps/libserde_derive-583ac15462b70281.so --extern-version serde_derive=serde_derive,0.9.15 --extern serde_json=/home/cratesfyi/cratesfyi/debug/deps/libserde_json-374ebeac618232b7.rlib --extern-version serde_json=serde_json,0.9.10 --extern serde=/home/cratesfyi/cratesfyi/debug/deps/libserde-46dd15ab79d4d223.rlib --extern-version serde=serde,0.9.15 --cap-lints allow`
Compiling z3-sys v0.1.0
Running `rustc --crate-name z3_sys .cargo/registry/src/github.com-1ecc6299db9ec823/z3-sys-0.1.0/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=e23e41a5b0bc3c11 -C extra-filename=-e23e41a5b0bc3c11 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern va_list=/home/cratesfyi/cratesfyi/debug/deps/libva_list-324e08527efa9dd7.rlib --extern-version va_list=va_list,0.0.1 --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-20ec46e507fb9197.rlib --extern-version libc=libc,0.2.42 --cap-lints allow`
Compiling seer-z3 v0.1.1
Running `rustc --crate-name seer_z3 .cargo/registry/src/github.com-1ecc6299db9ec823/seer-z3-0.1.1/src/lib.rs --crate-type lib --emit=dep-info,link -C debuginfo=2 -C metadata=4e833e9e6396b270 -C extra-filename=-4e833e9e6396b270 --out-dir /home/cratesfyi/cratesfyi/debug/deps -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-1adaeb69ca9ba8e2.rlib --extern-version lazy_static=lazy_static,1.0.1 --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-1e6cb20f8b19266a.rlib --extern-version log=log,0.3.9 --extern z3_sys=/home/cratesfyi/cratesfyi/debug/deps/libz3_sys-e23e41a5b0bc3c11.rlib --extern-version z3_sys=z3-sys,0.1.0 --extern libc=/home/cratesfyi/cratesfyi/debug/deps/liblibc-20ec46e507fb9197.rlib --extern-version libc=libc,0.2.42 --cap-lints allow`
Documenting seer v0.0.3
Running `rustdoc --crate-name seer .cargo/registry/src/github.com-1ecc6299db9ec823/seer-0.0.3/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180602-1.28.0-dev-b9bf4f162 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-1e6cb20f8b19266a.rlib --extern-version log=log,0.3.9 --extern cargo_metadata=/home/cratesfyi/cratesfyi/debug/deps/libcargo_metadata-47e0fe9a200dd050.rlib --extern-version cargo_metadata=cargo_metadata,0.1.2 --extern log_settings=/home/cratesfyi/cratesfyi/debug/deps/liblog_settings-0fe88319ba5656ec.rlib --extern-version log_settings=log_settings,0.1.2 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern seer_z3=/home/cratesfyi/cratesfyi/debug/deps/libseer_z3-4e833e9e6396b270.rlib --extern-version seer_z3=seer-z3,0.1.1 --extern byteorder=/home/cratesfyi/cratesfyi/debug/deps/libbyteorder-7446fd297a842d20.rlib --extern-version byteorder=byteorder,1.2.3`
error[E0463]: can't find crate for `rustc_const_math`
--> .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 'Error(
CargoError(
ChainedError {
error: Could not document `seer`.,
cause: process didn't exit successfully: `rustdoc --crate-name seer .cargo/registry/src/github.com-1ecc6299db9ec823/seer-0.0.3/src/lib.rs -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20180602-1.28.0-dev-b9bf4f162 -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-1e6cb20f8b19266a.rlib --extern-version log=log,0.3.9 --extern cargo_metadata=/home/cratesfyi/cratesfyi/debug/deps/libcargo_metadata-47e0fe9a200dd050.rlib --extern-version cargo_metadata=cargo_metadata,0.1.2 --extern log_settings=/home/cratesfyi/cratesfyi/debug/deps/liblog_settings-0fe88319ba5656ec.rlib --extern-version log_settings=log_settings,0.1.2 --extern env_logger=/home/cratesfyi/cratesfyi/debug/deps/libenv_logger-ce278d65fff484a8.rlib --extern-version env_logger=env_logger,0.3.5 --extern seer_z3=/home/cratesfyi/cratesfyi/debug/deps/libseer_z3-4e833e9e6396b270.rlib --extern-version seer_z3=seer-z3,0.1.1 --extern byteorder=/home/cratesfyi/cratesfyi/debug/deps/libbyteorder-7446fd297a842d20.rlib --extern-version byteorder=byteorder,1.2.3` (exit code: 101)
}
),
State {
next_error: None,
backtrace: None
}
)', src/bin/cratesfyi.rs:142:13
note: Run with `RUST_BACKTRACE=1` for a backtrace.