[INFO] crate rustproof-libsmt 0.1.0 is already in cache [INFO] checking rustproof-libsmt-0.1.0 against beta-2019-10-27 for pr-65897 [INFO] extracting crate rustproof-libsmt 0.1.0 into /workspace/builds/worker-11/source [INFO] validating manifest of crates.io crate rustproof-libsmt 0.1.0 on toolchain beta-2019-10-27 [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2019-10-27" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate rustproof-libsmt 0.1.0 [INFO] removed 4 missing examples [INFO] finished tweaking crates.io crate rustproof-libsmt 0.1.0 [INFO] tweaked toml for crates.io crate rustproof-libsmt 0.1.0 written to /workspace/builds/worker-11/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2019-10-27" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2019-10-27" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] warning: An explicit [[example]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other example targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a example target: [INFO] [stderr] [INFO] [stderr] * /workspace/builds/worker-11/source/examples/fiestel.rs [INFO] [stderr] * /workspace/builds/worker-11/source/examples/bajr.rs [INFO] [stderr] * /workspace/builds/worker-11/source/examples/bitvec_x86_64.rs [INFO] [stderr] * /workspace/builds/worker-11/source/examples/simple_example.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a example target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autoexamples = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=allow" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2019-10-27" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 71fe472f868f97ec39998c788fdd5f5bfd98b39289ecbe9b401bca1479d0e128 [INFO] running `"docker" "start" "-a" "71fe472f868f97ec39998c788fdd5f5bfd98b39289ecbe9b401bca1479d0e128"` [INFO] [stderr] warning: An explicit [[example]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other example targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a example target: [INFO] [stderr] [INFO] [stderr] * /opt/rustwide/workdir/examples/fiestel.rs [INFO] [stderr] * /opt/rustwide/workdir/examples/bajr.rs [INFO] [stderr] * /opt/rustwide/workdir/examples/bitvec_x86_64.rs [INFO] [stderr] * /opt/rustwide/workdir/examples/simple_example.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a example target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autoexamples = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] [stderr] Checking petgraph v0.2.10 [INFO] [stderr] Checking rustproof-libsmt v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] error[E0061]: this function takes 2 parameters but 1 parameter was supplied [INFO] [stderr] --> src/backends/z3.rs:70:29 [INFO] [stderr] | [INFO] [stderr] 70 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^ expected 2 parameters [INFO] [stderr] | [INFO] [stderr] ::: src/backends/backend.rs:61:5 [INFO] [stderr] | [INFO] [stderr] 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); [INFO] [stderr] | ---------------------------------------------------------------------------------------------- defined here [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope [INFO] [stderr] --> src/backends/z3.rs:70:44 [INFO] [stderr] | [INFO] [stderr] 70 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^^ method not found in `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` [INFO] [stderr] [INFO] [stderr] error[E0061]: this function takes 2 parameters but 1 parameter was supplied [INFO] [stderr] --> src/backends/z3.rs:86:29 [INFO] [stderr] | [INFO] [stderr] 86 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^ expected 2 parameters [INFO] [stderr] | [INFO] [stderr] ::: src/backends/backend.rs:61:5 [INFO] [stderr] | [INFO] [stderr] 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); [INFO] [stderr] | ---------------------------------------------------------------------------------------------- defined here [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope [INFO] [stderr] --> src/backends/z3.rs:86:44 [INFO] [stderr] | [INFO] [stderr] 86 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^^ method not found in `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` [INFO] [stderr] [INFO] [stderr] error[E0061]: this function takes 2 parameters but 1 parameter was supplied [INFO] [stderr] --> src/backends/z3.rs:99:29 [INFO] [stderr] | [INFO] [stderr] 99 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^ expected 2 parameters [INFO] [stderr] | [INFO] [stderr] ::: src/backends/backend.rs:61:5 [INFO] [stderr] | [INFO] [stderr] 61 | fn solve(&mut self, &mut S, bool) -> (SMTResult>, SMTRes); [INFO] [stderr] | ---------------------------------------------------------------------------------------------- defined here [INFO] [stderr] [INFO] [stderr] error[E0599]: no method named `unwrap` found for type `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` in the current scope [INFO] [stderr] --> src/backends/z3.rs:99:44 [INFO] [stderr] | [INFO] [stderr] 99 | let result = solver.solve(&mut z3).unwrap(); [INFO] [stderr] | ^^^^^^ method not found in `(std::result::Result, backends::backend::SMTError>, backends::backend::SMTRes)` [INFO] [stderr] [INFO] [stderr] error: aborting due to 6 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0061, E0599. [INFO] [stderr] For more information about an error, try `rustc --explain E0061`. [INFO] [stderr] error: could not compile `rustproof-libsmt`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "71fe472f868f97ec39998c788fdd5f5bfd98b39289ecbe9b401bca1479d0e128"` [INFO] running `"docker" "rm" "-f" "71fe472f868f97ec39998c788fdd5f5bfd98b39289ecbe9b401bca1479d0e128"` [INFO] [stdout] 71fe472f868f97ec39998c788fdd5f5bfd98b39289ecbe9b401bca1479d0e128