[INFO] fetching crate seer-z3 0.1.2...
[INFO] testing seer-z3-0.1.2 against master#d7bd9cd469ff6871420007f091ef52fc32d2ca99 for pr-121417
[INFO] extracting crate seer-z3 0.1.2 into /workspace/builds/worker-6-tc1/source
[INFO] validating manifest of crates.io crate seer-z3 0.1.2 on toolchain d7bd9cd469ff6871420007f091ef52fc32d2ca99
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate seer-z3 0.1.2
[INFO] finished tweaking crates.io crate seer-z3 0.1.2
[INFO] tweaked toml for crates.io crate seer-z3 0.1.2 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded semver v0.2.3
[INFO] [stderr]   Downloaded nom v1.2.4
[INFO] [stderr]   Downloaded z3-sys v0.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2c8213ba40e6c0f362e4a504582080f7b36c3c3c3d1ae9abbec2e13dcf2d55a0
[INFO] running `Command { std: "docker" "start" "-a" "2c8213ba40e6c0f362e4a504582080f7b36c3c3c3d1ae9abbec2e13dcf2d55a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2c8213ba40e6c0f362e4a504582080f7b36c3c3c3d1ae9abbec2e13dcf2d55a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c8213ba40e6c0f362e4a504582080f7b36c3c3c3d1ae9abbec2e13dcf2d55a0", kill_on_drop: false }`
[INFO] [stdout] 2c8213ba40e6c0f362e4a504582080f7b36c3c3c3d1ae9abbec2e13dcf2d55a0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2e61bbb334fae0dbcf6c251d7c30b7ab37d9c7e114d3ef32e364e444e6e60120
[INFO] running `Command { std: "docker" "start" "-a" "2e61bbb334fae0dbcf6c251d7c30b7ab37d9c7e114d3ef32e364e444e6e60120", kill_on_drop: false }`
[INFO] [stderr]    Compiling z3-sys v0.3.0
[INFO] [stderr]    Compiling log v0.3.9
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.85s
[INFO] running `Command { std: "docker" "inspect" "2e61bbb334fae0dbcf6c251d7c30b7ab37d9c7e114d3ef32e364e444e6e60120", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e61bbb334fae0dbcf6c251d7c30b7ab37d9c7e114d3ef32e364e444e6e60120", kill_on_drop: false }`
[INFO] [stdout] 2e61bbb334fae0dbcf6c251d7c30b7ab37d9c7e114d3ef32e364e444e6e60120
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 122084378b37c7868ef0db3d51898fbd1b0809f7056f12a0cd4b4f7402fd9553
[INFO] running `Command { std: "docker" "start" "-a" "122084378b37c7868ef0db3d51898fbd1b0809f7056f12a0cd4b4f7402fd9553", kill_on_drop: false }`
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]    Compiling winapi v0.2.8
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stderr]    Compiling regex-syntax v0.3.9
[INFO] [stderr]    Compiling nom v1.2.4
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling aho-corasick v0.5.3
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]    Compiling semver v0.2.3
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling thread_local v0.2.7
[INFO] [stderr]    Compiling regex v0.1.80
[INFO] [stderr]    Compiling env_logger v0.3.5
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 5.57s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v1.2.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "122084378b37c7868ef0db3d51898fbd1b0809f7056f12a0cd4b4f7402fd9553", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "122084378b37c7868ef0db3d51898fbd1b0809f7056f12a0cd4b4f7402fd9553", kill_on_drop: false }`
[INFO] [stdout] 122084378b37c7868ef0db3d51898fbd1b0809f7056f12a0cd4b4f7402fd9553
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+d7bd9cd469ff6871420007f091ef52fc32d2ca99" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 2947906f2aa6e4202a464ad5027bb0f8dacd9d7a85a79db01954a5c46623e539
[INFO] running `Command { std: "docker" "start" "-a" "2947906f2aa6e4202a464ad5027bb0f8dacd9d7a85a79db01954a5c46623e539", kill_on_drop: false }`
[INFO] [stderr] warning: the item `PartialEq` is imported redundantly
[INFO] [stderr]  --> src/ast.rs:8:16
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stderr]   |                ^^^^^^^^^
[INFO] [stderr]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stderr]   |
[INFO] [stderr]   = note: the item `PartialEq` is already defined here
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Eq` is imported redundantly
[INFO] [stderr]  --> src/ast.rs:8:27
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stderr]   |                           ^^
[INFO] [stderr]  --> /rustc/d7bd9cd469ff6871420007f091ef52fc32d2ca99/library/std/src/prelude/mod.rs:105:13
[INFO] [stderr]   |
[INFO] [stderr]   = note: the item `Eq` is already defined here
[INFO] [stderr] 
[INFO] [stderr] warning: `seer-z3` (lib) generated 2 warnings
[INFO] [stderr] warning: `seer-z3` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v1.2.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/seer_z3-9a4009f6994ce6af)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lib.rs (/opt/rustwide/target/debug/deps/lib-c5b7dd2f7c951c3b)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_config ... ok
[INFO] [stdout] test test_sorts_and_symbols ... ok
[INFO] [stdout] test test_context ... ok
[INFO] [stdout] test test_solving ... ok
[INFO] [stdout] test test_solving_for_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/semver_tests.rs (/opt/rustwide/target/debug/deps/semver_tests-521f1ea6cbe618b6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr] error: test failed, to rerun pass `--test semver_tests`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/semver_tests-521f1ea6cbe618b6` (signal: 11, SIGSEGV: invalid memory reference)
[INFO] running `Command { std: "docker" "inspect" "2947906f2aa6e4202a464ad5027bb0f8dacd9d7a85a79db01954a5c46623e539", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2947906f2aa6e4202a464ad5027bb0f8dacd9d7a85a79db01954a5c46623e539", kill_on_drop: false }`
[INFO] [stdout] 2947906f2aa6e4202a464ad5027bb0f8dacd9d7a85a79db01954a5c46623e539
[INFO] testing seer-z3-0.1.2 against try#393ef12c970fbc7f294cd96c35cb76f9591bc1d6 for pr-121417
[INFO] extracting crate seer-z3 0.1.2 into /workspace/builds/worker-6-tc2/source
[INFO] validating manifest of crates.io crate seer-z3 0.1.2 on toolchain 393ef12c970fbc7f294cd96c35cb76f9591bc1d6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate seer-z3 0.1.2
[INFO] finished tweaking crates.io crate seer-z3 0.1.2
[INFO] tweaked toml for crates.io crate seer-z3 0.1.2 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 18b0200493ade093ba18358cd5fb4758ded679ea7eb10549f91e453cca088919
[INFO] running `Command { std: "docker" "start" "-a" "18b0200493ade093ba18358cd5fb4758ded679ea7eb10549f91e453cca088919", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "18b0200493ade093ba18358cd5fb4758ded679ea7eb10549f91e453cca088919", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "18b0200493ade093ba18358cd5fb4758ded679ea7eb10549f91e453cca088919", kill_on_drop: false }`
[INFO] [stdout] 18b0200493ade093ba18358cd5fb4758ded679ea7eb10549f91e453cca088919
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9399f05fd8092855c9244566e0b2456846d0ad27c26b549feb9eaf470bf6611c
[INFO] running `Command { std: "docker" "start" "-a" "9399f05fd8092855c9244566e0b2456846d0ad27c26b549feb9eaf470bf6611c", kill_on_drop: false }`
[INFO] [stderr]    Compiling z3-sys v0.3.0
[INFO] [stderr]    Compiling log v0.3.9
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.78s
[INFO] running `Command { std: "docker" "inspect" "9399f05fd8092855c9244566e0b2456846d0ad27c26b549feb9eaf470bf6611c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9399f05fd8092855c9244566e0b2456846d0ad27c26b549feb9eaf470bf6611c", kill_on_drop: false }`
[INFO] [stdout] 9399f05fd8092855c9244566e0b2456846d0ad27c26b549feb9eaf470bf6611c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ebe9336ea4e796e39feca588345d139bbca12da2058620fb2f846956a89dea82
[INFO] running `Command { std: "docker" "start" "-a" "ebe9336ea4e796e39feca588345d139bbca12da2058620fb2f846956a89dea82", kill_on_drop: false }`
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]    Compiling winapi v0.2.8
[INFO] [stderr]    Compiling regex-syntax v0.3.9
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling nom v1.2.4
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling aho-corasick v0.5.3
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling thread_local v0.2.7
[INFO] [stderr]    Compiling semver v0.2.3
[INFO] [stderr]    Compiling regex v0.1.80
[INFO] [stderr]    Compiling env_logger v0.3.5
[INFO] [stderr]    Compiling seer-z3 v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the item `PartialEq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `PartialEq` is already defined here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Eq` is imported redundantly
[INFO] [stdout]  --> src/ast.rs:8:27
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stdout]   |                           ^^
[INFO] [stdout]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `Eq` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.44s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v1.2.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "ebe9336ea4e796e39feca588345d139bbca12da2058620fb2f846956a89dea82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ebe9336ea4e796e39feca588345d139bbca12da2058620fb2f846956a89dea82", kill_on_drop: false }`
[INFO] [stdout] ebe9336ea4e796e39feca588345d139bbca12da2058620fb2f846956a89dea82
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+393ef12c970fbc7f294cd96c35cb76f9591bc1d6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 2af57713c695eef7336cd8c0c90ca3036c8f170cc6c6dab4dce8100ba4598d84
[INFO] running `Command { std: "docker" "start" "-a" "2af57713c695eef7336cd8c0c90ca3036c8f170cc6c6dab4dce8100ba4598d84", kill_on_drop: false }`
[INFO] [stderr] warning: the item `PartialEq` is imported redundantly
[INFO] [stderr]  --> src/ast.rs:8:16
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stderr]   |                ^^^^^^^^^
[INFO] [stderr]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stderr]   |
[INFO] [stderr]   = note: the item `PartialEq` is already defined here
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: the item `Eq` is imported redundantly
[INFO] [stderr]  --> src/ast.rs:8:27
[INFO] [stderr]   |
[INFO] [stderr] 8 | use std::cmp::{PartialEq, Eq};
[INFO] [stderr]   |                           ^^
[INFO] [stderr]  --> /rustc/393ef12c970fbc7f294cd96c35cb76f9591bc1d6/library/std/src/prelude/mod.rs:105:13
[INFO] [stderr]   |
[INFO] [stderr]   = note: the item `Eq` is already defined here
[INFO] [stderr] 
[INFO] [stderr] warning: `seer-z3` (lib) generated 2 warnings
[INFO] [stderr] warning: `seer-z3` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v1.2.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/seer_z3-9a4009f6994ce6af)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/lib.rs (/opt/rustwide/target/debug/deps/lib-c5b7dd2f7c951c3b)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_config ... ok
[INFO] [stdout] test test_context ... ok
[INFO] [stdout] test test_solving ... ok
[INFO] [stdout] test test_sorts_and_symbols ... ok
[INFO] [stdout] test test_solving_for_model ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/semver_tests.rs (/opt/rustwide/target/debug/deps/semver_tests-521f1ea6cbe618b6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_solve_simple_semver_example ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests seer-z3
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "2af57713c695eef7336cd8c0c90ca3036c8f170cc6c6dab4dce8100ba4598d84", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2af57713c695eef7336cd8c0c90ca3036c8f170cc6c6dab4dce8100ba4598d84", kill_on_drop: false }`
[INFO] [stdout] 2af57713c695eef7336cd8c0c90ca3036c8f170cc6c6dab4dce8100ba4598d84