[INFO] fetching crate rust_smt 0.2.0...
[INFO] testing rust_smt-0.2.0 against try#722e1797249a965b6335aebd65d777f917e498f1 for pr-91031
[INFO] extracting crate rust_smt 0.2.0 into /workspace/builds/worker-59/source
[INFO] validating manifest of crates.io crate rust_smt 0.2.0 on toolchain 722e1797249a965b6335aebd65d777f917e498f1
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rust_smt 0.2.0
[INFO] finished tweaking crates.io crate rust_smt 0.2.0
[INFO] tweaked toml for crates.io crate rust_smt 0.2.0 written to /workspace/builds/worker-59/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1e78fcd9e5ab2f69eafa79a2c9a17fbddbd4b0ea17fdb5aeb89fddd5b85e73d8
[INFO] running `Command { std: "docker" "start" "-a" "1e78fcd9e5ab2f69eafa79a2c9a17fbddbd4b0ea17fdb5aeb89fddd5b85e73d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1e78fcd9e5ab2f69eafa79a2c9a17fbddbd4b0ea17fdb5aeb89fddd5b85e73d8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1e78fcd9e5ab2f69eafa79a2c9a17fbddbd4b0ea17fdb5aeb89fddd5b85e73d8", kill_on_drop: false }`
[INFO] [stdout] 1e78fcd9e5ab2f69eafa79a2c9a17fbddbd4b0ea17fdb5aeb89fddd5b85e73d8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eb4ab60bfe8f6870a819373c679db0a6eec8cc026ff0d4f6006d50a0286fe056
[INFO] running `Command { std: "docker" "start" "-a" "eb4ab60bfe8f6870a819373c679db0a6eec8cc026ff0d4f6006d50a0286fe056", kill_on_drop: false }`
[INFO] [stderr]    Compiling z3-sys v0.4.0
[INFO] [stderr]    Compiling rust_smt v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/z3.rs:82:60
[INFO] [stdout]    |
[INFO] [stdout] 82 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]    |                                                            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:144:64
[INFO] [stdout]     |
[INFO] [stdout] 144 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:195:60
[INFO] [stdout]     |
[INFO] [stdout] 195 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:297:56
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:374:63
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:383:63
[INFO] [stdout]     |
[INFO] [stdout] 383 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:392:63
[INFO] [stdout]     |
[INFO] [stdout] 392 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:406:67
[INFO] [stdout]     |
[INFO] [stdout] 406 | ...                   result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:498:56
[INFO] [stdout]     |
[INFO] [stdout] 498 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:523:56
[INFO] [stdout]     |
[INFO] [stdout] 523 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:628:64
[INFO] [stdout]     |
[INFO] [stdout] 628 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 11 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.07s
[INFO] running `Command { std: "docker" "inspect" "eb4ab60bfe8f6870a819373c679db0a6eec8cc026ff0d4f6006d50a0286fe056", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eb4ab60bfe8f6870a819373c679db0a6eec8cc026ff0d4f6006d50a0286fe056", kill_on_drop: false }`
[INFO] [stdout] eb4ab60bfe8f6870a819373c679db0a6eec8cc026ff0d4f6006d50a0286fe056
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 036d01dc61ea7a3deb5e9654adab1fb3933b28de22492e645cb8d1bd9bf2b8fa
[INFO] running `Command { std: "docker" "start" "-a" "036d01dc61ea7a3deb5e9654adab1fb3933b28de22492e645cb8d1bd9bf2b8fa", kill_on_drop: false }`
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/z3.rs:82:60
[INFO] [stdout]    |
[INFO] [stdout] 82 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]    |                                                            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:144:64
[INFO] [stdout]     |
[INFO] [stdout] 144 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:195:60
[INFO] [stdout]     |
[INFO] [stdout] 195 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:297:56
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:374:63
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:383:63
[INFO] [stdout]     |
[INFO] [stdout] 383 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:392:63
[INFO] [stdout]     |
[INFO] [stdout] 392 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:406:67
[INFO] [stdout]     |
[INFO] [stdout] 406 | ...                   result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:498:56
[INFO] [stdout]     |
[INFO] [stdout] 498 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:523:56
[INFO] [stdout]     |
[INFO] [stdout] 523 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:628:64
[INFO] [stdout]     |
[INFO] [stdout] 628 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 11 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rust_smt v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/z3.rs:82:60
[INFO] [stdout]    |
[INFO] [stdout] 82 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]    |                                                            ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:144:64
[INFO] [stdout]     |
[INFO] [stdout] 144 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:195:60
[INFO] [stdout]     |
[INFO] [stdout] 195 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:297:56
[INFO] [stdout]     |
[INFO] [stdout] 297 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:374:63
[INFO] [stdout]     |
[INFO] [stdout] 374 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:383:63
[INFO] [stdout]     |
[INFO] [stdout] 383 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:392:63
[INFO] [stdout]     |
[INFO] [stdout] 392 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                               ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:406:67
[INFO] [stdout]     |
[INFO] [stdout] 406 | ...                   result = Err(SMTError::new_internal(e.description()));
[INFO] [stdout]     |                                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:498:56
[INFO] [stdout]     |
[INFO] [stdout] 498 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:523:56
[INFO] [stdout]     |
[INFO] [stdout] 523 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]    --> src/z3.rs:628:64
[INFO] [stdout]     |
[INFO] [stdout] 628 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 11 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.06s
[INFO] running `Command { std: "docker" "inspect" "036d01dc61ea7a3deb5e9654adab1fb3933b28de22492e645cb8d1bd9bf2b8fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "036d01dc61ea7a3deb5e9654adab1fb3933b28de22492e645cb8d1bd9bf2b8fa", kill_on_drop: false }`
[INFO] [stdout] 036d01dc61ea7a3deb5e9654adab1fb3933b28de22492e645cb8d1bd9bf2b8fa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8c2c86ec87582cb0aa416043ca03537670686f80aea01412f81f253e067d03b4
[INFO] running `Command { std: "docker" "start" "-a" "8c2c86ec87582cb0aa416043ca03537670686f80aea01412f81f253e067d03b4", kill_on_drop: false }`
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]   --> src/z3.rs:82:60
[INFO] [stderr]    |
[INFO] [stderr] 82 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]    |                                                            ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:144:64
[INFO] [stderr]     |
[INFO] [stderr] 144 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                                ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:195:60
[INFO] [stderr]     |
[INFO] [stderr] 195 |                     Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:297:56
[INFO] [stderr]     |
[INFO] [stderr] 297 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:374:63
[INFO] [stderr]     |
[INFO] [stderr] 374 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stderr]     |                                                               ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:383:63
[INFO] [stderr]     |
[INFO] [stderr] 383 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stderr]     |                                                               ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:392:63
[INFO] [stderr]     |
[INFO] [stderr] 392 |                         result = Err(SMTError::new_internal(e.description()));
[INFO] [stderr]     |                                                               ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:406:67
[INFO] [stderr]     |
[INFO] [stderr] 406 | ...                   result = Err(SMTError::new_internal(e.description()));
[INFO] [stderr]     |                                                             ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:498:56
[INFO] [stderr]     |
[INFO] [stderr] 498 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:523:56
[INFO] [stderr]     |
[INFO] [stderr] 523 |                 Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]    --> src/z3.rs:628:64
[INFO] [stderr]     |
[INFO] [stderr] 628 |                         Err(e) => Err(SMTError::new_internal(e.description())),
[INFO] [stderr]     |                                                                ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `rust_smt` (lib) generated 11 warnings
[INFO] [stderr] warning: `rust_smt` (lib test) generated 11 warnings (11 duplicates)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/rust_smt-31c9d688250f37f4)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/test.rs (/opt/rustwide/target/debug/deps/test-543a59b45357a312)
[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 62 tests
[INFO] [stdout] test test_apply_sort_array_int_int ... ok
[INFO] [stdout] test test_check_sat_false ... ok
[INFO] [stdout] test test_clone_term ... ok
[INFO] [stdout] test test_check_sat_xnoteqx ... ok
[INFO] [stdout] test test_const_from_int_to_bv_to_int ... ok
[INFO] [stdout] test test_const_from_int_to_int ... ok
[INFO] [stdout] test test_const_from_string_bad_sort_error ... ok
[INFO] [stdout] test test_const_from_int_to_bv ... ok
[INFO] [stdout] test test_const_from_string_decimal_in_int_error ... ok
[INFO] [stdout] test test_const_from_string_invalid_char_error ... ok
[INFO] [stdout] test test_const_from_string_neg_bitvector_error ... ok
[INFO] [stdout] test test_const_from_string_to_int ... ok
[INFO] [stdout] test test_const_from_string_too_many_decimals_error ... ok
[INFO] [stdout] test test_create_solver ... ok
[INFO] [stdout] test test_declare_fun ... ok
[INFO] [stdout] test test_declare_record_sort_duplicate_fields_error ... ok
[INFO] [stdout] test test_declare_record_sort_duplicate_records_error ... ok
[INFO] [stdout] test test_declare_record_sort_duplicate_records_ok ... ok
[INFO] [stdout] test test_declare_sort ... ok
[INFO] [stdout] test test_get_value ... ok
[INFO] [stdout] test test_lookup_sort_bitvec8 ... ok
[INFO] [stdout] test test_lookup_sort_real ... ok
[INFO] [stdout] test test_push_pop_get_model ... ok
[INFO] [stdout] test test_apply_fun_record_select ... ok
[INFO] [stdout] test test_assert ... ok
[INFO] [stdout] test test_check_sat_xlty ... ok
[INFO] [stdout] test test_const_from_int_to_real ... ok
[INFO] [stdout] test test_const_from_string_to_real ... ok
[INFO] [stdout] test test_declare_const ... ok
[INFO] [stdout] test test_get_value_after_unsat_error ... ok
[INFO] [stdout] test test_lookup_sort_array_error ... ok
[INFO] [stdout] test test_lookup_sort_int ... ok
[INFO] [stdout] test test_record_const_error ... ok
[INFO] [stdout] test test_records ... ok
[INFO] [stdout] test test_record_const ... ok
[INFO] [stdout] test test_apply_fun_arith ... ok
[INFO] [stdout] test test_apply_fun_bitvec ... ok
[INFO] [stdout] test test_symbolic_const_to_int_error ... ok
[INFO] [stdout] test test_check_sat_true ... ok
[INFO] [stdout] test test_const_from_string_to_bv ... ok
[INFO] [stdout] test test_lookup_const_true ... ok
[INFO] [stdout] test test_level ... ok
[INFO] [stdout] test test_non_int_real_const_to_int_error ... ok
[INFO] [stdout] test test_apply_fun_array ... ok
[INFO] [stdout] test test_apply_fun_record_select_error ... ok
[INFO] [stdout] test test_apply_fun_uf ... ok
[INFO] [stdout] test test_apply_sort_error ... ok
[INFO] [stdout] test test_const_from_int_negative_bv_error ... ok
[INFO] [stdout] test test_const_from_int_bad_sort_error ... ok
[INFO] [stdout] test test_declare_record_sort ... ok
[INFO] [stdout] test test_declare_record_sort_field_sort_mismatch_error ... ok
[INFO] [stdout] test test_const_from_int_bv_too_large_error ... ok
[INFO] [stdout] test test_lookup_sort_bool ... ok
[INFO] [stdout] test test_pop_too_far_error ... ok
[INFO] [stdout] test test_bad_sorted_const_to_int_error ... ok
[INFO] [stdout] test test_lookup_const_false ... ok
[INFO] [stdout] test test_push_pop ... ok
[INFO] [stdout] test test_apply_fun_record_update ... ok
[INFO] [stdout] test test_apply_fun_record_update_error ... ok
[INFO] [stdout] test test_check_sat_with_push ... ok
[INFO] [stdout] test test_lookup_nonconst_error ... ok
[INFO] [stdout] test test_apply_fun_core ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 62 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.48s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rust_smt
[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" "8c2c86ec87582cb0aa416043ca03537670686f80aea01412f81f253e067d03b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8c2c86ec87582cb0aa416043ca03537670686f80aea01412f81f253e067d03b4", kill_on_drop: false }`
[INFO] [stdout] 8c2c86ec87582cb0aa416043ca03537670686f80aea01412f81f253e067d03b4