[INFO] fetching crate rust_smt 0.2.0... [INFO] testing rust_smt-0.2.0 against try#03a1ea71b075ab964b5278bc6e74cd6c52c36ee0 for pr-74409 [INFO] extracting crate rust_smt 0.2.0 into /workspace/builds/worker-8/source [INFO] validating manifest of crates.io crate rust_smt 0.2.0 on toolchain 03a1ea71b075ab964b5278bc6e74cd6c52c36ee0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "read-manifest" "--manifest-path" "Cargo.toml", 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-8/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded z3-sys v0.4.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 631ee22306b5f423717544649afbb95aa607c30bf7c001754e0aeeafd5eede93 [INFO] running `Command { std: "docker" "start" "-a" "631ee22306b5f423717544649afbb95aa607c30bf7c001754e0aeeafd5eede93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "631ee22306b5f423717544649afbb95aa607c30bf7c001754e0aeeafd5eede93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "631ee22306b5f423717544649afbb95aa607c30bf7c001754e0aeeafd5eede93", kill_on_drop: false }` [INFO] [stdout] 631ee22306b5f423717544649afbb95aa607c30bf7c001754e0aeeafd5eede93 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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=forbid" "-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@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 91b49c71c0a5ee886c32d2467e0d237276f1e08725caec4250321d3cbd58704c [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "91b49c71c0a5ee886c32d2467e0d237276f1e08725caec4250321d3cbd58704c", 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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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" "91b49c71c0a5ee886c32d2467e0d237276f1e08725caec4250321d3cbd58704c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "91b49c71c0a5ee886c32d2467e0d237276f1e08725caec4250321d3cbd58704c", kill_on_drop: false }` [INFO] [stdout] 91b49c71c0a5ee886c32d2467e0d237276f1e08725caec4250321d3cbd58704c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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=forbid" "-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@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d92faec0dd400e0338f3678dd3bd49fc8fae4648f5b2931d5fe9c91eb0718644 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "d92faec0dd400e0338f3678dd3bd49fc8fae4648f5b2931d5fe9c91eb0718644", kill_on_drop: false }` [INFO] [stderr] Compiling rust_smt v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: use of deprecated item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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] [stdout] warning: use of deprecated item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 2.10s [INFO] running `Command { std: "docker" "inspect" "d92faec0dd400e0338f3678dd3bd49fc8fae4648f5b2931d5fe9c91eb0718644", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d92faec0dd400e0338f3678dd3bd49fc8fae4648f5b2931d5fe9c91eb0718644", kill_on_drop: false }` [INFO] [stdout] d92faec0dd400e0338f3678dd3bd49fc8fae4648f5b2931d5fe9c91eb0718644 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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=forbid" "-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@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+03a1ea71b075ab964b5278bc6e74cd6c52c36ee0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 74ea63f3a302f9f5afeeaeaee78e03614bb384bd1c54cb6689e6d48d2eb10af8 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "74ea63f3a302f9f5afeeaeaee78e03614bb384bd1c54cb6689e6d48d2eb10af8", kill_on_drop: false }` [INFO] [stderr] warning: use of deprecated item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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: 11 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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 item '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: 11 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/rust_smt-8d5897c8bb86a4ee [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 [INFO] [stdout] [INFO] [stderr] Running /opt/rustwide/target/debug/deps/test-41689b7b9da0e38f [INFO] [stdout] [INFO] [stdout] running 62 tests [INFO] [stdout] test test_apply_fun_bitvec ... ok [INFO] [stdout] test test_apply_fun_record_update ... ok [INFO] [stdout] test test_apply_sort_array_int_int ... ok [INFO] [stdout] test test_apply_fun_record_select_error ... ok [INFO] [stdout] test test_apply_fun_record_select ... ok [INFO] [stdout] test test_apply_fun_record_update_error ... ok [INFO] [stdout] test test_check_sat_true ... ok [INFO] [stdout] test test_apply_sort_error ... ok [INFO] [stdout] test test_check_sat_false ... ok [INFO] [stdout] test test_apply_fun_array ... ok [INFO] [stdout] test test_check_sat_xnoteqx ... ok [INFO] [stdout] test test_apply_fun_uf ... ok [INFO] [stdout] test test_apply_fun_arith ... ok [INFO] [stdout] test test_const_from_int_to_real ... ok [INFO] [stdout] test test_assert ... ok [INFO] [stdout] test test_check_sat_xlty ... ok [INFO] [stdout] test test_const_from_string_bad_sort_error ... ok [INFO] [stdout] test test_const_from_string_neg_bitvector_error ... ok [INFO] [stdout] test test_const_from_string_invalid_char_error ... ok [INFO] [stdout] test test_const_from_string_to_real ... ok [INFO] [stdout] test test_clone_term ... ok [INFO] [stdout] test test_bad_sorted_const_to_int_error ... ok [INFO] [stdout] test test_const_from_int_bad_sort_error ... ok [INFO] [stdout] test test_const_from_int_bv_too_large_error ... ok [INFO] [stdout] test test_const_from_int_to_bv_to_int ... ok [INFO] [stdout] test test_declare_record_sort_duplicate_fields_error ... ok [INFO] [stdout] test test_create_solver ... ok [INFO] [stdout] test test_const_from_string_too_many_decimals_error ... ok [INFO] [stdout] test test_declare_const ... ok [INFO] [stdout] test test_const_from_int_to_int ... ok [INFO] [stdout] test test_const_from_int_to_bv ... ok [INFO] [stdout] test test_declare_fun ... ok [INFO] [stdout] test test_const_from_string_decimal_in_int_error ... ok [INFO] [stdout] test test_check_sat_with_push ... ok [INFO] [stdout] test test_const_from_string_to_bv ... ok [INFO] [stdout] test test_const_from_int_negative_bv_error ... ok [INFO] [stdout] test test_lookup_const_false ... ok [INFO] [stdout] test test_lookup_sort_bitvec8 ... ok [INFO] [stdout] test test_apply_fun_core ... ok [INFO] [stdout] test test_get_value_after_unsat_error ... ok [INFO] [stdout] test test_get_value ... ok [INFO] [stdout] test test_lookup_sort_array_error ... ok [INFO] [stdout] test test_lookup_nonconst_error ... ok [INFO] [stdout] test test_lookup_const_true ... ok [INFO] [stdout] test test_declare_record_sort_field_sort_mismatch_error ... ok [INFO] [stdout] test test_level ... ok [INFO] [stdout] test test_declare_record_sort_duplicate_records_ok ... ok [INFO] [stdout] test test_lookup_sort_int ... ok [INFO] [stdout] test test_record_const_error ... ok [INFO] [stdout] test test_record_const ... ok [INFO] [stdout] test test_records ... ok [INFO] [stdout] test test_lookup_sort_real ... ok [INFO] [stdout] test test_declare_sort ... ok [INFO] [stdout] test test_const_from_string_to_int ... ok [INFO] [stdout] test test_declare_record_sort ... ok [INFO] [stdout] test test_non_int_real_const_to_int_error ... ok [INFO] [stdout] test test_push_pop_get_model ... ok [INFO] [stdout] test test_lookup_sort_bool ... ok [INFO] [stdout] test test_pop_too_far_error ... ok [INFO] [stdout] test test_declare_record_sort_duplicate_records_error ... ok [INFO] [stdout] test test_push_pop ... ok [INFO] [stdout] test test_symbolic_const_to_int_error ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 62 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [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 [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "74ea63f3a302f9f5afeeaeaee78e03614bb384bd1c54cb6689e6d48d2eb10af8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74ea63f3a302f9f5afeeaeaee78e03614bb384bd1c54cb6689e6d48d2eb10af8", kill_on_drop: false }` [INFO] [stdout] 74ea63f3a302f9f5afeeaeaee78e03614bb384bd1c54cb6689e6d48d2eb10af8