[INFO] cloning repository https://github.com/ltentrup/caqe [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ltentrup/caqe" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fltentrup%2Fcaqe", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fltentrup%2Fcaqe'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 8b646df227f61491d1e9f5d7bbe30085fe1a8760 [INFO] testing ltentrup/caqe against try#613d1972a772987ed4ee06faccbab0e2fc839871+rustflags=-Copt-level=3 for pr-107051 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fltentrup%2Fcaqe" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/ltentrup/caqe on toolchain 613d1972a772987ed4ee06faccbab0e2fc839871 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/ltentrup/caqe [INFO] finished tweaking git repo https://github.com/ltentrup/caqe [INFO] tweaked toml for git repo https://github.com/ltentrup/caqe written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/ltentrup/caqe already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8a578e9e74e95784ab23f493b75fe49aeb18e61761b153ec22948f2ea0a3eae1 [INFO] running `Command { std: "docker" "start" "-a" "8a578e9e74e95784ab23f493b75fe49aeb18e61761b153ec22948f2ea0a3eae1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8a578e9e74e95784ab23f493b75fe49aeb18e61761b153ec22948f2ea0a3eae1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a578e9e74e95784ab23f493b75fe49aeb18e61761b153ec22948f2ea0a3eae1", kill_on_drop: false }` [INFO] [stdout] 8a578e9e74e95784ab23f493b75fe49aeb18e61761b153ec22948f2ea0a3eae1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 49362afcb8391e11833b806f42f56e6c51973ef03b803cfe7bfb5912c9923f60 [INFO] running `Command { std: "docker" "start" "-a" "49362afcb8391e11833b806f42f56e6c51973ef03b803cfe7bfb5912c9923f60", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.66 [INFO] [stderr] Compiling cfg-if v0.1.6 [INFO] [stderr] Compiling cc v1.0.29 [INFO] [stderr] Compiling proc-macro2 v0.4.27 [INFO] [stderr] Compiling lazy_static v1.2.0 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling syn v0.15.30 [INFO] [stderr] Compiling regex-syntax v0.6.13 [INFO] [stderr] Compiling fs_extra v1.1.0 [INFO] [stderr] Compiling unicode-width v0.1.5 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling ryu v0.2.7 [INFO] [stderr] Compiling nix v0.14.1 [INFO] [stderr] Compiling c2-chacha v0.2.3 [INFO] [stderr] Compiling serde v1.0.90 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling bitflags v1.0.4 [INFO] [stderr] Compiling remove_dir_all v0.5.1 [INFO] [stderr] Compiling void v1.0.2 [INFO] [stderr] Compiling either v1.5.2 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling itoa v0.4.3 [INFO] [stderr] Compiling number_prefix v0.3.0 [INFO] [stderr] Compiling itertools v0.7.11 [INFO] [stderr] Compiling difference v2.0.0 [INFO] [stderr] Compiling cmake v0.1.35 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling uncover v0.1.1 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling dot v0.1.4 [INFO] [stderr] Compiling bit-vec v0.6.2 [INFO] [stderr] Compiling colored-diff v0.2.2 [INFO] [stderr] Compiling quote v0.6.12 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling rand v0.4.6 [INFO] [stderr] Compiling termios v0.3.1 [INFO] [stderr] Compiling clicolors-control v1.0.0 [INFO] [stderr] Compiling clap v2.33.1 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling rand_chacha v0.2.1 [INFO] [stderr] Compiling tempdir v0.3.7 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling regex v1.3.3 [INFO] [stderr] Compiling tempfile v3.1.0 [INFO] [stderr] Compiling jemalloc-sys v0.3.2 [INFO] [stderr] Compiling cryptominisat v5.6.6 (https://github.com/ltentrup/cryptominisat-rs.git?rev=79380e6117fb83dfce7224fffcee992446577686#79380e61) [INFO] [stderr] Compiling console v0.9.1 [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling indicatif v0.15.0 [INFO] [stderr] Compiling atomicwrites v0.2.5 [INFO] [stderr] Compiling serde_derive v1.0.90 [INFO] [stderr] Compiling serde_json v1.0.39 [INFO] [stderr] Compiling jemallocator v0.3.2 [INFO] [stderr] Compiling caqe v4.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: fields `verbosity` and `statistics` are never read [INFO] [stdout] --> src/lib.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 60 | pub struct CommonSolverConfig { [INFO] [stdout] | ------------------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 63 | verbosity: LevelFilter, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 64 | statistics: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3m 38s [INFO] running `Command { std: "docker" "inspect" "49362afcb8391e11833b806f42f56e6c51973ef03b803cfe7bfb5912c9923f60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "49362afcb8391e11833b806f42f56e6c51973ef03b803cfe7bfb5912c9923f60", kill_on_drop: false }` [INFO] [stdout] 49362afcb8391e11833b806f42f56e6c51973ef03b803cfe7bfb5912c9923f60 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8e03c8502b8a04430765a52945cb49f4a81f1a34f521cbc151ea823feb5d021f [INFO] running `Command { std: "docker" "start" "-a" "8e03c8502b8a04430765a52945cb49f4a81f1a34f521cbc151ea823feb5d021f", kill_on_drop: false }` [INFO] [stdout] warning: fields `verbosity` and `statistics` are never read [INFO] [stdout] --> src/lib.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 60 | pub struct CommonSolverConfig { [INFO] [stdout] | ------------------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 63 | verbosity: LevelFilter, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 64 | statistics: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling caqe v4.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: fields `verbosity` and `statistics` are never read [INFO] [stdout] --> src/lib.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 60 | pub struct CommonSolverConfig { [INFO] [stdout] | ------------------ fields in this struct [INFO] [stdout] ... [INFO] [stdout] 63 | verbosity: LevelFilter, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 64 | statistics: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:370:38 [INFO] [stdout] | [INFO] [stdout] 370 | assert!(result.is_err(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 370 | assert!(result.is_err(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:395:38 [INFO] [stdout] | [INFO] [stdout] 395 | assert!(result.is_err(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 395 | assert!(result.is_err(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:407:38 [INFO] [stdout] | [INFO] [stdout] 407 | assert!(result.is_err(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 407 | assert!(result.is_err(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:420:37 [INFO] [stdout] | [INFO] [stdout] 420 | assert!(result.is_ok(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 420 | assert!(result.is_ok(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:429:37 [INFO] [stdout] | [INFO] [stdout] 429 | assert!(result.is_ok(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 429 | assert!(result.is_ok(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parse/qdimacs.rs:438:37 [INFO] [stdout] | [INFO] [stdout] 438 | assert!(result.is_ok(), instance); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 438 | assert!(result.is_ok(), "{}", instance); [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 8.66s [INFO] running `Command { std: "docker" "inspect" "8e03c8502b8a04430765a52945cb49f4a81f1a34f521cbc151ea823feb5d021f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8e03c8502b8a04430765a52945cb49f4a81f1a34f521cbc151ea823feb5d021f", kill_on_drop: false }` [INFO] [stdout] 8e03c8502b8a04430765a52945cb49f4a81f1a34f521cbc151ea823feb5d021f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Copt-level=3" "-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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 7d519ec437623acc7a1993a94e339bcfd842a726be32fc58da146b51253c8a9f [INFO] running `Command { std: "docker" "start" "-a" "7d519ec437623acc7a1993a94e339bcfd842a726be32fc58da146b51253c8a9f", kill_on_drop: false }` [INFO] [stderr] warning: fields `verbosity` and `statistics` are never read [INFO] [stderr] --> src/lib.rs:63:5 [INFO] [stderr] | [INFO] [stderr] 60 | pub struct CommonSolverConfig { [INFO] [stderr] | ------------------ fields in this struct [INFO] [stderr] ... [INFO] [stderr] 63 | verbosity: LevelFilter, [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] 64 | statistics: Option, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:370:38 [INFO] [stderr] | [INFO] [stderr] 370 | assert!(result.is_err(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 370 | assert!(result.is_err(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:395:38 [INFO] [stderr] | [INFO] [stderr] 395 | assert!(result.is_err(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 395 | assert!(result.is_err(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:407:38 [INFO] [stderr] | [INFO] [stderr] 407 | assert!(result.is_err(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 407 | assert!(result.is_err(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:420:37 [INFO] [stderr] | [INFO] [stderr] 420 | assert!(result.is_ok(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 420 | assert!(result.is_ok(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:429:37 [INFO] [stderr] | [INFO] [stderr] 429 | assert!(result.is_ok(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 429 | assert!(result.is_ok(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/parse/qdimacs.rs:438:37 [INFO] [stderr] | [INFO] [stderr] 438 | assert!(result.is_ok(), instance); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of `assert!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: add a "{}" format string to `Display` the message [INFO] [stderr] | [INFO] [stderr] 438 | assert!(result.is_ok(), "{}", instance); [INFO] [stderr] | +++++ [INFO] [stderr] [INFO] [stderr] warning: `caqe` (lib) generated 1 warning [INFO] [stderr] warning: `caqe` (lib test) generated 7 warnings (1 duplicate) (run `cargo fix --lib -p caqe --tests` to apply 6 suggestions) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/caqe-b9712ef283d4a68a) [INFO] [stdout] [INFO] [stdout] running 65 tests [INFO] [stdout] test clause::tests::clause_dimacs ... ok [INFO] [stdout] test clause::tests::clause_is_satisifed ... ok [INFO] [stdout] test literal::tests::size_of_literal ... ok [INFO] [stdout] test clause::tests::size_of_clause ... ok [INFO] [stdout] test clause::tests::clause_normalization ... ok [INFO] [stdout] test matrix::tests::test_matrix_dimacs ... ok [INFO] [stdout] test matrix::dependency::tests::test_closure_recursive ... ok [INFO] [stdout] test matrix::dependency::tests::test_scope_comparison ... ok [INFO] [stdout] test clause::tests::clause_equal_wrt_predicate ... ok [INFO] [stdout] test parse::dimacs::tests::test_lexer_simple ... ok [INFO] [stdout] test matrix::schemes::tests::test_dep_scheme ... ok [INFO] [stdout] test matrix::tests::test_partitioning ... ok [INFO] [stdout] test parse::dqdimacs::tests::test_simple ... ok [INFO] [stdout] test parse::dimacs::tests::test_parse_matrix ... ok [INFO] [stdout] test parse::qdimacs::tests::test_empty_lines ... ok [INFO] [stdout] test parse::dimacs::tests::test_parse_header ... ok [INFO] [stdout] test matrix::tests::test_matrix_occurrences ... ok [INFO] [stdout] test parse::dimacs::tests::test_lexer_all ... ok [INFO] [stdout] test parse::dimacs::tests::test_lexer_error ... ok [INFO] [stdout] test parse::qdimacs::tests::test_expect_header ... ok [INFO] [stdout] test parse::qdimacs::tests::test_negation_in_prefix ... ok [INFO] [stdout] test parse::qdimacs::tests::test_prefix_after_clause ... ok [INFO] [stdout] test parse::qdimacs::tests::test_expect_header_or_comment ... ok [INFO] [stdout] test matrix::dependency::tests::test_closure ... ok [INFO] [stdout] test clause::tests::clause_reduce_universal_qbf ... ok [INFO] [stdout] test matrix::dependency::tests::test_dep_on ... ok [INFO] [stdout] test parse::qdimacs::tests::test_qdimacs_output ... ok [INFO] [stdout] test clause::tests::clause_subset_wrt_predicate ... ok [INFO] [stdout] test parse::qdimacs::tests::test_wrong_header ... ok [INFO] [stdout] test parse::qdimacs::tests::test_simple ... ok [INFO] [stdout] test parse::qdimacs::tests::test_wrong_clauses ... ok [INFO] [stdout] test parse::qdimacs::tests::test_whitespaces_in_clauses ... ok [INFO] [stdout] test parse::qdimacs::tests::test_correct_qdimacs ... ok [INFO] [stdout] test matrix::tests::test_matrix_dimacs_tree ... ok [INFO] [stdout] test parse::qdimacs::tests::test_wrong_number_of_clauses ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_regression2 ... ok [INFO] [stdout] test solve::caqe::tests::test_false ... ok [INFO] [stdout] test solve::caqe::tests::test_confl_clause_exp_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_exp_miniscoping_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_literal_optimization_vs_strong_unsat ... ok [INFO] [stdout] test solve::caqe::tests::test_sat_simple ... ok [INFO] [stdout] test solve::caqe::tests::test_refinement_literal_failure ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_literal_constraint_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_refinement_literal_failure2 ... ok [INFO] [stdout] test solve::caqe::tests::test_confl_clause_exp_regression2 ... ok [INFO] [stdout] test solve::caqe::tests::test_fuzz_unsat ... ok [INFO] [stdout] test solve::caqe::tests::test_innermost_unniversals ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_expansion_refinement ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_unsat ... ok [INFO] [stdout] test solve::caqe::tests::test_unsat_simple ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_sat ... ok [INFO] [stdout] test solve::caqe::tests::test_true ... ok [INFO] [stdout] test solve::caqe::tests::test_cnf ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_qdo ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_regression2 ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_unsat_miniscoping ... ok [INFO] [stdout] test solve::caqe::tests::test_fuzz_sat ... ok [INFO] [stdout] test solve::caqe::tests::test_two_alternations ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_failure_2 ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_expansion_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_failure ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_crash ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 65 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/caqe.rs (/opt/rustwide/target/debug/deps/caqe-ce7ea8cb49a10b2d) [INFO] [stderr] Doc-tests caqe [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] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/literal.rs - literal::Literal::signed (line 57) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.56s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "7d519ec437623acc7a1993a94e339bcfd842a726be32fc58da146b51253c8a9f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7d519ec437623acc7a1993a94e339bcfd842a726be32fc58da146b51253c8a9f", kill_on_drop: false }` [INFO] [stdout] 7d519ec437623acc7a1993a94e339bcfd842a726be32fc58da146b51253c8a9f