[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#61cd42370816fd135c0f3b9debf2f5dfcf194594 for pr-98839 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fltentrup%2Fcaqe" "/workspace/builds/worker-7/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/ltentrup/caqe on toolchain 61cd42370816fd135c0f3b9debf2f5dfcf194594 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "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-7/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: "/workspace/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:5873ed620acfc3295992aedd9294443d62a478a48ba243bc5e6c4f5abaffa05f" "/opt/rustwide/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 631fe7d311efc23ba64ea470db6b3097b44d984f76eafb580ac70bdda0643446 [INFO] running `Command { std: "docker" "start" "-a" "631fe7d311efc23ba64ea470db6b3097b44d984f76eafb580ac70bdda0643446", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "631fe7d311efc23ba64ea470db6b3097b44d984f76eafb580ac70bdda0643446", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "631fe7d311efc23ba64ea470db6b3097b44d984f76eafb580ac70bdda0643446", kill_on_drop: false }` [INFO] [stdout] 631fe7d311efc23ba64ea470db6b3097b44d984f76eafb580ac70bdda0643446 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:5873ed620acfc3295992aedd9294443d62a478a48ba243bc5e6c4f5abaffa05f" "/opt/rustwide/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c7f482d2ddcf82f1f2f34ba4bf2e58aa9ea44cd4210f8c1fb692b65d209e1781 [INFO] running `Command { std: "docker" "start" "-a" "c7f482d2ddcf82f1f2f34ba4bf2e58aa9ea44cd4210f8c1fb692b65d209e1781", 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 lazy_static v1.2.0 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling proc-macro2 v0.4.27 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling syn v0.15.30 [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 regex-syntax v0.6.13 [INFO] [stderr] Compiling ppv-lite86 v0.2.6 [INFO] [stderr] Compiling serde v1.0.90 [INFO] [stderr] Compiling nix v0.14.1 [INFO] [stderr] Compiling ryu v0.2.7 [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 ansi_term v0.11.0 [INFO] [stderr] Compiling either v1.5.2 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling difference v2.0.0 [INFO] [stderr] Compiling vec_map v0.8.1 [INFO] [stderr] Compiling termcolor v1.1.0 [INFO] [stderr] Compiling number_prefix v0.3.0 [INFO] [stderr] Compiling itoa v0.4.3 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling bit-vec v0.6.2 [INFO] [stderr] Compiling dot v0.1.4 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling uncover v0.1.1 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling humantime v1.3.0 [INFO] [stderr] Compiling itertools v0.7.11 [INFO] [stderr] Compiling cmake v0.1.35 [INFO] [stderr] Compiling c2-chacha v0.2.3 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling colored-diff v0.2.2 [INFO] [stderr] Compiling quote v0.6.12 [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 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 regex v1.3.3 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling tempdir v0.3.7 [INFO] [stderr] Compiling tempfile v3.1.0 [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 serde_derive v1.0.90 [INFO] [stderr] Compiling atomicwrites v0.2.5 [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: `#[warn(dead_code)]` on by default [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 05s [INFO] running `Command { std: "docker" "inspect" "c7f482d2ddcf82f1f2f34ba4bf2e58aa9ea44cd4210f8c1fb692b65d209e1781", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7f482d2ddcf82f1f2f34ba4bf2e58aa9ea44cd4210f8c1fb692b65d209e1781", kill_on_drop: false }` [INFO] [stdout] c7f482d2ddcf82f1f2f34ba4bf2e58aa9ea44cd4210f8c1fb692b65d209e1781 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:5873ed620acfc3295992aedd9294443d62a478a48ba243bc5e6c4f5abaffa05f" "/opt/rustwide/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9ceaeb9d0ed235dc12c02233b43cebc7c059214b26f6b2fa96d945aff177cbf2 [INFO] running `Command { std: "docker" "start" "-a" "9ceaeb9d0ed235dc12c02233b43cebc7c059214b26f6b2fa96d945aff177cbf2", kill_on_drop: false }` [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: `#[warn(dead_code)]` on by default [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [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: `#[warn(dead_code)]` on by default [INFO] [stdout] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [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: `#[warn(non_fmt_panics)]` on by default [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] 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 4.54s [INFO] running `Command { std: "docker" "inspect" "9ceaeb9d0ed235dc12c02233b43cebc7c059214b26f6b2fa96d945aff177cbf2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9ceaeb9d0ed235dc12c02233b43cebc7c059214b26f6b2fa96d945aff177cbf2", kill_on_drop: false }` [INFO] [stdout] 9ceaeb9d0ed235dc12c02233b43cebc7c059214b26f6b2fa96d945aff177cbf2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:5873ed620acfc3295992aedd9294443d62a478a48ba243bc5e6c4f5abaffa05f" "/opt/rustwide/cargo-home/bin/cargo" "+61cd42370816fd135c0f3b9debf2f5dfcf194594" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d4d4b1d2398f5e690f672853fcfdb208db7073ef09a58a6de8d07d3140126135 [INFO] running `Command { std: "docker" "start" "-a" "d4d4b1d2398f5e690f672853fcfdb208db7073ef09a58a6de8d07d3140126135", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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: `#[warn(dead_code)]` on by default [INFO] [stderr] = note: `CommonSolverConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [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: `#[warn(non_fmt_panics)]` on by default [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] 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) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.81s [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_is_satisifed ... ok [INFO] [stdout] test clause::tests::clause_dimacs ... ok [INFO] [stdout] test matrix::schemes::tests::test_dep_scheme ... ok [INFO] [stdout] test matrix::tests::test_matrix_occurrences ... ok [INFO] [stdout] test matrix::dependency::tests::test_closure_recursive ... ok [INFO] [stdout] test clause::tests::clause_equal_wrt_predicate ... ok [INFO] [stdout] test clause::tests::clause_reduce_universal_qbf ... ok [INFO] [stdout] test clause::tests::clause_subset_wrt_predicate ... ok [INFO] [stdout] test matrix::tests::test_matrix_dimacs_tree ... ok [INFO] [stdout] test parse::dimacs::tests::test_lexer_simple ... ok [INFO] [stdout] test parse::dimacs::tests::test_parse_matrix ... ok [INFO] [stdout] test literal::tests::size_of_literal ... ok [INFO] [stdout] test matrix::tests::test_partitioning ... ok [INFO] [stdout] test clause::tests::size_of_clause ... ok [INFO] [stdout] test matrix::tests::test_matrix_dimacs ... ok [INFO] [stdout] test matrix::dependency::tests::test_closure ... ok [INFO] [stdout] test matrix::dependency::tests::test_scope_comparison ... ok [INFO] [stdout] test clause::tests::clause_normalization ... ok [INFO] [stdout] test parse::dimacs::tests::test_parse_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::dimacs::tests::test_lexer_all ... ok [INFO] [stdout] test parse::dqdimacs::tests::test_simple ... ok [INFO] [stdout] test parse::qdimacs::tests::test_wrong_clauses ... ok [INFO] [stdout] test parse::qdimacs::tests::test_correct_qdimacs ... ok [INFO] [stdout] test parse::qdimacs::tests::test_qdimacs_output ... ok [INFO] [stdout] test parse::dimacs::tests::test_lexer_error ... ok [INFO] [stdout] test parse::qdimacs::tests::test_expect_header_or_comment ... 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_expect_header ... ok [INFO] [stdout] test matrix::dependency::tests::test_dep_on ... ok [INFO] [stdout] test parse::qdimacs::tests::test_empty_lines ... 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_cnf ... ok [INFO] [stdout] test parse::qdimacs::tests::test_wrong_number_of_clauses ... ok [INFO] [stdout] test parse::qdimacs::tests::test_whitespaces_in_clauses ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_literal_optimization_vs_strong_unsat ... ok [INFO] [stdout] test solve::caqe::tests::test_innermost_unniversals ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_false ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_literal_constraint_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_confl_clause_exp_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_fuzz_sat ... ok [INFO] [stdout] test solve::caqe::tests::test_exp_miniscoping_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_failure ... ok [INFO] [stdout] test solve::caqe::tests::test_refinement_literal_failure ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_regression2 ... 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_abstraction_regression2 ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_expansion_refinement ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_sat_simple ... ok [INFO] [stdout] test solve::caqe::tests::test_true ... ok [INFO] [stdout] test solve::caqe::tests::test_abstraction_expansion_regression ... ok [INFO] [stdout] test solve::caqe::tests::test_refinement_literal_failure2 ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_unsat ... ok [INFO] [stdout] test solve::caqe::tests::test_wrong_unsat_miniscoping ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_crash ... ok [INFO] [stdout] test solve::caqe::tests::test_two_alternations ... ok [INFO] [stdout] test solve::caqe::tests::test_miniscoping_qdo ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_failure_2 ... ok [INFO] [stdout] test solve::caqe::tests::test_strong_unsat_regression ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 65 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/caqe.rs (/opt/rustwide/target/debug/deps/caqe-ce7ea8cb49a10b2d) [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] Doc-tests caqe [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 2.11s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "d4d4b1d2398f5e690f672853fcfdb208db7073ef09a58a6de8d07d3140126135", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d4d4b1d2398f5e690f672853fcfdb208db7073ef09a58a6de8d07d3140126135", kill_on_drop: false }` [INFO] [stdout] d4d4b1d2398f5e690f672853fcfdb208db7073ef09a58a6de8d07d3140126135