[INFO] fetching crate splr 0.7.0...
[INFO] testing splr-0.7.0 against master#432e145bd5a974c5b6f4dd9b352891bd7502b69d for pr-87041
[INFO] extracting crate splr 0.7.0 into /workspace/builds/worker-7/source
[INFO] validating manifest of crates.io crate splr 0.7.0 on toolchain 432e145bd5a974c5b6f4dd9b352891bd7502b69d
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate splr 0.7.0
[INFO] finished tweaking crates.io crate splr 0.7.0
[INFO] tweaked toml for crates.io crate splr 0.7.0 written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] crate crates.io crate splr 0.7.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 00f4332df1d2aad8e474ea3cdb2d051b180f027050419329a7b47414e2667653
[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" "00f4332df1d2aad8e474ea3cdb2d051b180f027050419329a7b47414e2667653", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00f4332df1d2aad8e474ea3cdb2d051b180f027050419329a7b47414e2667653", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00f4332df1d2aad8e474ea3cdb2d051b180f027050419329a7b47414e2667653", kill_on_drop: false }`
[INFO] [stdout] 00f4332df1d2aad8e474ea3cdb2d051b180f027050419329a7b47414e2667653
[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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5ce3e27800ef3b9877e9c0620d96ad8d23064bfd9dd4ab2d0f2653ca37a1a41f
[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" "5ce3e27800ef3b9877e9c0620d96ad8d23064bfd9dd4ab2d0f2653ca37a1a41f", kill_on_drop: false }`
[INFO] [stderr]    Compiling splr v0.7.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/assign/propagate.rs:138:50
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), format!("{:?}", l));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), "{:?}", l);
[INFO] [stdout]     |                                                 --       --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/cdb/db.rs:483:42
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), format!("found {} is dead: {}", cid, c));
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), "found {} is dead: {}", cid, c);
[INFO] [stdout]     |                                         --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:539:25
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:545:25
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:70:21
[INFO] [stdout]    |
[INFO] [stdout] 70 | /                     format!(
[INFO] [stdout] 71 | |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 | |                         original_dl, snd_l
[INFO] [stdout] 73 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 70 |                     
[INFO] [stdout] 71 |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 |                         original_dl, snd_l
[INFO] [stdout] 73 |                     
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:79:21
[INFO] [stdout]    |
[INFO] [stdout] 79 | /                     format!(
[INFO] [stdout] 80 | |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 | |                         c,
[INFO] [stdout] 82 | |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 | |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 | |                         decision,
[INFO] [stdout] 85 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 79 |                     
[INFO] [stdout] 80 |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 |                         c,
[INFO] [stdout] 82 |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 |                         decision,
[INFO] [stdout]  ...
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/solver/conflict.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 | /         format!(
[INFO] [stdout] 148 | |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 | |             use_chronobt,
[INFO] [stdout] 150 | |             cl,
[INFO] [stdout] ...   |
[INFO] [stdout] 154 | |                 .collect::<Vec<_>>(),
[INFO] [stdout] 155 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 147 |         
[INFO] [stdout] 148 |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 |             use_chronobt,
[INFO] [stdout] 150 |             cl,
[INFO] [stdout] 151 |             cdb[ci]
[INFO] [stdout] 152 |                 .iter()
[INFO] [stdout]   ...
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.50s
[INFO] running `Command { std: "docker" "inspect" "5ce3e27800ef3b9877e9c0620d96ad8d23064bfd9dd4ab2d0f2653ca37a1a41f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5ce3e27800ef3b9877e9c0620d96ad8d23064bfd9dd4ab2d0f2653ca37a1a41f", kill_on_drop: false }`
[INFO] [stdout] 5ce3e27800ef3b9877e9c0620d96ad8d23064bfd9dd4ab2d0f2653ca37a1a41f
[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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6fee71f757b9627ac25b1a37f4f7e8b0cc7e5db53ebabc5b5ce92ed8ff7a5aee
[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" "6fee71f757b9627ac25b1a37f4f7e8b0cc7e5db53ebabc5b5ce92ed8ff7a5aee", kill_on_drop: false }`
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/assign/propagate.rs:138:50
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), format!("{:?}", l));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), "{:?}", l);
[INFO] [stdout]     |                                                 --       --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/cdb/db.rs:483:42
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), format!("found {} is dead: {}", cid, c));
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), "found {} is dead: {}", cid, c);
[INFO] [stdout]     |                                         --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:539:25
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:545:25
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:70:21
[INFO] [stdout]    |
[INFO] [stdout] 70 | /                     format!(
[INFO] [stdout] 71 | |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 | |                         original_dl, snd_l
[INFO] [stdout] 73 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 70 |                     
[INFO] [stdout] 71 |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 |                         original_dl, snd_l
[INFO] [stdout] 73 |                     
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling splr v0.7.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:79:21
[INFO] [stdout]    |
[INFO] [stdout] 79 | /                     format!(
[INFO] [stdout] 80 | |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 | |                         c,
[INFO] [stdout] 82 | |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 | |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 | |                         decision,
[INFO] [stdout] 85 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 79 |                     
[INFO] [stdout] 80 |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 |                         c,
[INFO] [stdout] 82 |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 |                         decision,
[INFO] [stdout]  ...
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/solver/conflict.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 | /         format!(
[INFO] [stdout] 148 | |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 | |             use_chronobt,
[INFO] [stdout] 150 | |             cl,
[INFO] [stdout] ...   |
[INFO] [stdout] 154 | |                 .collect::<Vec<_>>(),
[INFO] [stdout] 155 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 147 |         
[INFO] [stdout] 148 |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 |             use_chronobt,
[INFO] [stdout] 150 |             cl,
[INFO] [stdout] 151 |             cdb[ci]
[INFO] [stdout] 152 |                 .iter()
[INFO] [stdout]   ...
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> tests/verify-certificates.rs:47:32
[INFO] [stdout]    |
[INFO] [stdout] 47 |                           panic!(format!(
[INFO] [stdout]    |  ________________________________^
[INFO] [stdout] 48 | |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stdout] 49 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 50 | |                             out.to_string_lossy(),
[INFO] [stdout] 51 | |                         ));
[INFO] [stdout]    | |_________________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 47 |                         panic!(
[INFO] [stdout] 48 |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stdout] 49 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 50 |                             out.to_string_lossy(),
[INFO] [stdout] 51 |                         );
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> tests/verify-certificates.rs:83:32
[INFO] [stdout]    |
[INFO] [stdout] 83 |                           panic!(format!(
[INFO] [stdout]    |  ________________________________^
[INFO] [stdout] 84 | |                             " FAIL TO CONVERT: {} => {}",
[INFO] [stdout] 85 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 86 | |                             grat.to_string_lossy(),
[INFO] [stdout] 87 | |                         ));
[INFO] [stdout]    | |_________________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 83 |                         panic!(
[INFO] [stdout] 84 |                             " FAIL TO CONVERT: {} => {}",
[INFO] [stdout] 85 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 86 |                             grat.to_string_lossy(),
[INFO] [stdout] 87 |                         );
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> tests/verify-certificates.rs:106:32
[INFO] [stdout]     |
[INFO] [stdout] 106 |                           panic!(format!(
[INFO] [stdout]     |  ________________________________^
[INFO] [stdout] 107 | |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stdout] 108 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 109 | |                             grat.to_string_lossy(),
[INFO] [stdout] 110 | |                         ));
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 106 |                         panic!(
[INFO] [stdout] 107 |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stdout] 108 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stdout] 109 |                             grat.to_string_lossy(),
[INFO] [stdout] 110 |                         );
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/assign/propagate.rs:138:50
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), format!("{:?}", l));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 138 |         debug_assert!(!self.trail.contains(&!l), "{:?}", l);
[INFO] [stdout]     |                                                 --       --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/cdb/db.rs:483:42
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), format!("found {} is dead: {}", cid, c));
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 483 |         debug_assert!(!c.is(Flag::DEAD), "found {} is dead: {}", cid, c);
[INFO] [stdout]     |                                         --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:539:25
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 539 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/processor/mod.rs:545:25
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 545 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stdout]     |                        --                            --
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:70:21
[INFO] [stdout]    |
[INFO] [stdout] 70 | /                     format!(
[INFO] [stdout] 71 | |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 | |                         original_dl, snd_l
[INFO] [stdout] 73 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 70 |                     
[INFO] [stdout] 71 |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stdout] 72 |                         original_dl, snd_l
[INFO] [stdout] 73 |                     
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/solver/conflict.rs:79:21
[INFO] [stdout]    |
[INFO] [stdout] 79 | /                     format!(
[INFO] [stdout] 80 | |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 | |                         c,
[INFO] [stdout] 82 | |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 | |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 | |                         decision,
[INFO] [stdout] 85 | |                     )
[INFO] [stdout]    | |_____________________^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]    |
[INFO] [stdout] 79 |                     
[INFO] [stdout] 80 |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stdout] 81 |                         c,
[INFO] [stdout] 82 |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stdout] 83 |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stdout] 84 |                         decision,
[INFO] [stdout]  ...
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/solver/conflict.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 | /         format!(
[INFO] [stdout] 148 | |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 | |             use_chronobt,
[INFO] [stdout] 150 | |             cl,
[INFO] [stdout] ...   |
[INFO] [stdout] 154 | |                 .collect::<Vec<_>>(),
[INFO] [stdout] 155 | |         )
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 147 |         
[INFO] [stdout] 148 |             "use_{}: {:?}, {:?}",
[INFO] [stdout] 149 |             use_chronobt,
[INFO] [stdout] 150 |             cl,
[INFO] [stdout] 151 |             cdb[ci]
[INFO] [stdout] 152 |                 .iter()
[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 3.79s
[INFO] running `Command { std: "docker" "inspect" "6fee71f757b9627ac25b1a37f4f7e8b0cc7e5db53ebabc5b5ce92ed8ff7a5aee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6fee71f757b9627ac25b1a37f4f7e8b0cc7e5db53ebabc5b5ce92ed8ff7a5aee", kill_on_drop: false }`
[INFO] [stdout] 6fee71f757b9627ac25b1a37f4f7e8b0cc7e5db53ebabc5b5ce92ed8ff7a5aee
[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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen", 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] c4939ed8753bb849ee4b349bb4d1ac5617631a607e30afefdf545192c029f968
[INFO] running `Command { std: "docker" "start" "-a" "c4939ed8753bb849ee4b349bb4d1ac5617631a607e30afefdf545192c029f968", kill_on_drop: false }`
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/assign/propagate.rs:138:50
[INFO] [stderr]     |
[INFO] [stderr] 138 |         debug_assert!(!self.trail.contains(&!l), format!("{:?}", l));
[INFO] [stderr]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 138 |         debug_assert!(!self.trail.contains(&!l), "{:?}", l);
[INFO] [stderr]     |                                                 --       --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/cdb/db.rs:483:42
[INFO] [stderr]     |
[INFO] [stderr] 483 |         debug_assert!(!c.is(Flag::DEAD), format!("found {} is dead: {}", cid, c));
[INFO] [stderr]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 483 |         debug_assert!(!c.is(Flag::DEAD), "found {} is dead: {}", cid, c);
[INFO] [stderr]     |                                         --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/processor/mod.rs:539:25
[INFO] [stderr]     |
[INFO] [stderr] 539 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stderr]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 539 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stderr]     |                        --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/processor/mod.rs:545:25
[INFO] [stderr]     |
[INFO] [stderr] 545 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stderr]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 545 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stderr]     |                        --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]   --> src/solver/conflict.rs:70:21
[INFO] [stderr]    |
[INFO] [stderr] 70 | /                     format!(
[INFO] [stderr] 71 | |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stderr] 72 | |                         original_dl, snd_l
[INFO] [stderr] 73 | |                     )
[INFO] [stderr]    | |_____________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 70 |                     
[INFO] [stderr] 71 |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stderr] 72 |                         original_dl, snd_l
[INFO] [stderr] 73 |                     
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]   --> src/solver/conflict.rs:79:21
[INFO] [stderr]    |
[INFO] [stderr] 79 | /                     format!(
[INFO] [stderr] 80 | |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stderr] 81 | |                         c,
[INFO] [stderr] 82 | |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stderr] 83 | |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stderr] 84 | |                         decision,
[INFO] [stderr] 85 | |                     )
[INFO] [stderr]    | |_____________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 79 |                     
[INFO] [stderr] 80 |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stderr] 81 |                         c,
[INFO] [stderr] 82 |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stderr] 83 |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stderr] 84 |                         decision,
[INFO] [stderr]  ...
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/solver/conflict.rs:147:9
[INFO] [stderr]     |
[INFO] [stderr] 147 | /         format!(
[INFO] [stderr] 148 | |             "use_{}: {:?}, {:?}",
[INFO] [stderr] 149 | |             use_chronobt,
[INFO] [stderr] 150 | |             cl,
[INFO] [stderr] ...   |
[INFO] [stderr] 154 | |                 .collect::<Vec<_>>(),
[INFO] [stderr] 155 | |         )
[INFO] [stderr]     | |_________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 147 |         
[INFO] [stderr] 148 |             "use_{}: {:?}, {:?}",
[INFO] [stderr] 149 |             use_chronobt,
[INFO] [stderr] 150 |             cl,
[INFO] [stderr] 151 |             cdb[ci]
[INFO] [stderr] 152 |                 .iter()
[INFO] [stderr]   ...
[INFO] [stderr] 
[INFO] [stderr] warning: 7 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/assign/propagate.rs:138:50
[INFO] [stderr]     |
[INFO] [stderr] 138 |         debug_assert!(!self.trail.contains(&!l), format!("{:?}", l));
[INFO] [stderr]     |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 138 |         debug_assert!(!self.trail.contains(&!l), "{:?}", l);
[INFO] [stderr]     |                                                 --       --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/cdb/db.rs:483:42
[INFO] [stderr]     |
[INFO] [stderr] 483 |         debug_assert!(!c.is(Flag::DEAD), format!("found {} is dead: {}", cid, c));
[INFO] [stderr]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 483 |         debug_assert!(!c.is(Flag::DEAD), "found {} is dead: {}", cid, c);
[INFO] [stderr]     |                                         --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/processor/mod.rs:539:25
[INFO] [stderr]     |
[INFO] [stderr] 539 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stderr]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 539 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stderr]     |                        --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/processor/mod.rs:545:25
[INFO] [stderr]     |
[INFO] [stderr] 545 |                         format!("{} {:?} {}", cid, c, v.index,)
[INFO] [stderr]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 545 |                         "{} {:?} {}", cid, c, v.index,
[INFO] [stderr]     |                        --                            --
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]   --> src/solver/conflict.rs:70:21
[INFO] [stderr]    |
[INFO] [stderr] 70 | /                     format!(
[INFO] [stderr] 71 | |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stderr] 72 | |                         original_dl, snd_l
[INFO] [stderr] 73 | |                     )
[INFO] [stderr]    | |_____________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 70 |                     
[INFO] [stderr] 71 |                         "assign stack contains a strange lit: level {}, stack level {}",
[INFO] [stderr] 72 |                         original_dl, snd_l
[INFO] [stderr] 73 |                     
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stdout] running 12 tests
[INFO] [stderr]   --> src/solver/conflict.rs:79:21
[INFO] [stderr]    |
[INFO] [stderr] 79 | /                     format!(
[INFO] [stderr] 80 | |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stderr] 81 | |                         c,
[INFO] [stderr] 82 | |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stderr] 83 | |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stderr] 84 | |                         decision,
[INFO] [stderr] 85 | |                     )
[INFO] [stderr]    | |_____________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 79 |                     
[INFO] [stderr] 80 |                         "{} maps to {:?} {:?}: decision {}",
[INFO] [stderr] 81 |                         c,
[INFO] [stderr] 82 |                         c.iter().map(|l| asg.assigned(*l)).collect::<Vec<_>>(),
[INFO] [stderr] 83 |                         c.iter().map(|l| asg.assign(l.vi())).collect::<Vec<_>>(),
[INFO] [stderr] 84 |                         decision,
[INFO] [stderr]  ...
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/solver/conflict.rs:147:9
[INFO] [stderr]     |
[INFO] [stderr] 147 | /         format!(
[INFO] [stderr] 148 | |             "use_{}: {:?}, {:?}",
[INFO] [stderr] 149 | |             use_chronobt,
[INFO] [stderr] 150 | |             cl,
[INFO] [stderr] ...   |
[INFO] [stderr] 154 | |                 .collect::<Vec<_>>(),
[INFO] [stderr] 155 | |         )
[INFO] [stderr]     | |_________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the debug_assert!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 147 |         
[INFO] [stderr] 148 |             "use_{}: {:?}, {:?}",
[INFO] [stderr] 149 |             use_chronobt,
[INFO] [stderr] 150 |             cl,
[INFO] [stderr] 151 |             cdb[ci]
[INFO] [stderr] 152 |                 .iter()
[INFO] [stderr]   ...
[INFO] [stderr] 
[INFO] [stderr] warning: 7 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]   --> tests/verify-certificates.rs:47:32
[INFO] [stderr]    |
[INFO] [stderr] 47 |                           panic!(format!(
[INFO] [stderr]    |  ________________________________^
[INFO] [stderr] 48 | |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stderr] 49 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 50 | |                             out.to_string_lossy(),
[INFO] [stderr] 51 | |                         ));
[INFO] [stderr]    | |_________________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_fmt_panics)]` on by default
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 47 |                         panic!(
[INFO] [stderr] 48 |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stderr] 49 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 50 |                             out.to_string_lossy(),
[INFO] [stderr] 51 |                         );
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]   --> tests/verify-certificates.rs:83:32
[INFO] [stderr]    |
[INFO] [stderr] 83 |                           panic!(format!(
[INFO] [stderr]    |  ________________________________^
[INFO] [stderr] 84 | |                             " FAIL TO CONVERT: {} => {}",
[INFO] [stderr] 85 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 86 | |                             grat.to_string_lossy(),
[INFO] [stderr] 87 | |                         ));
[INFO] [stderr]    | |_________________________^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]    = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]    |
[INFO] [stderr] 83 |                         panic!(
[INFO] [stderr] 84 |                             " FAIL TO CONVERT: {} => {}",
[INFO] [stderr] 85 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 86 |                             grat.to_string_lossy(),
[INFO] [stderr] 87 |                         );
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> tests/verify-certificates.rs:106:32
[INFO] [stderr]     |
[INFO] [stderr] 106 |                           panic!(format!(
[INFO] [stderr]     |  ________________________________^
[INFO] [stderr] 107 | |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stderr] 108 | |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 109 | |                             grat.to_string_lossy(),
[INFO] [stderr] 110 | |                         ));
[INFO] [stderr]     | |_________________________^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the panic!() macro supports formatting, so there's no need for the format!() macro here
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 106 |                         panic!(
[INFO] [stderr] 107 |                             " FAIL TO CERTIFICATE: {} => {}",
[INFO] [stderr] 108 |                             cnf.file_name().unwrap().to_string_lossy(),
[INFO] [stderr] 109 |                             grat.to_string_lossy(),
[INFO] [stderr] 110 |                         );
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: 3 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/splr-a71a03f6eb39202a)
[INFO] [stdout] test types::tests::test_cnf ... ok
[INFO] [stdout] test solver::build::tests::test_add_var ... ok
[INFO] [stdout] test solver::tests::test_on_memory_solving ... ok
[INFO] [stdout] test solver::restart::tests::test_luby_series ... ok
[INFO] [stdout] test assign::stack::tests::test_propagation ... ok
[INFO] [stdout] test solver::restart::tests::test_progress_luby ... ok
[INFO] [stdout] test cdb::tests::test_clause_iterator ... ok
[INFO] [stdout] test solver::tests::test_solver ... ok
[INFO] [stdout] test cdb::tests::test_clause_instantiation ... ok
[INFO] [stdout] test cdb::tests::test_clause_equality ... ok
[INFO] [stdout] test processor::eliminate::tests::test_eliminate_var ... ok
[INFO] [stdout] test processor::tests::check_elimination ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/dmcr-5602510fe665f51a)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/splr-40d07edfd5461b9b)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isat.rs (/opt/rustwide/target/debug/deps/isat-265057fe6692a604)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/isat2.rs (/opt/rustwide/target/debug/deps/isat2-558344cba1ebc63b)
[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 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/verify-certificates.rs (/opt/rustwide/target/debug/deps/verify_certificates-ca2df2cab9b26997)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests splr
[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 18 tests
[INFO] [stdout] test src/cdb/mod.rs - cdb::ClauseDB (line 162) ... ok
[INFO] [stderr] error: test failed, to rerun pass '--doc'
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-type lib --crate-name splr --test /opt/rustwide/workdir/src/lib.rs -L dependency=/opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bitflags=/opt/rustwide/target/debug/deps/libbitflags-603a79344a96ee73.rlib --extern splr=/opt/rustwide/target/debug/deps/libsplr-8c334f9056a20692.rlib -C embed-bitcode=no --cfg 'feature="LR_rewarding"' --cfg 'feature="Luby_stabilization"' --cfg 'feature="clause_elimination"' --cfg 'feature="clause_reduction"' --cfg 'feature="default"' --cfg 'feature="reason_side_rewarding"' --error-format human` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "c4939ed8753bb849ee4b349bb4d1ac5617631a607e30afefdf545192c029f968", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c4939ed8753bb849ee4b349bb4d1ac5617631a607e30afefdf545192c029f968", kill_on_drop: false }`
[INFO] [stdout] c4939ed8753bb849ee4b349bb4d1ac5617631a607e30afefdf545192c029f968