[INFO] cloning repository https://github.com/arnursabet/rust-z3-intro
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/arnursabet/rust-z3-intro" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnursabet%2Frust-z3-intro", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnursabet%2Frust-z3-intro'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3ef8c071c6b1ed3004e048fe0a97a5693996b306
[INFO] checking arnursabet/rust-z3-intro/3ef8c071c6b1ed3004e048fe0a97a5693996b306 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnursabet%2Frust-z3-intro" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/arnursabet/rust-z3-intro on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/arnursabet/rust-z3-intro
[INFO] finished tweaking git repo https://github.com/arnursabet/rust-z3-intro
[INFO] tweaked toml for git repo https://github.com/arnursabet/rust-z3-intro written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/arnursabet/rust-z3-intro 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded z3 v0.11.2
[INFO] [stderr]   Downloaded clang-sys v1.4.0
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 09919e69d73fe85e446a0aae5857d9ca694e386c6cc0aeb68859825cc4fbe3f1
[INFO] running `Command { std: "docker" "start" "-a" "09919e69d73fe85e446a0aae5857d9ca694e386c6cc0aeb68859825cc4fbe3f1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "09919e69d73fe85e446a0aae5857d9ca694e386c6cc0aeb68859825cc4fbe3f1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "09919e69d73fe85e446a0aae5857d9ca694e386c6cc0aeb68859825cc4fbe3f1", kill_on_drop: false }`
[INFO] [stdout] 09919e69d73fe85e446a0aae5857d9ca694e386c6cc0aeb68859825cc4fbe3f1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 47bbf5df9bb8d7b7343255254ac37297241e7826fac799081e6c0efb0221d288
[INFO] running `Command { std: "docker" "start" "-a" "47bbf5df9bb8d7b7343255254ac37297241e7826fac799081e6c0efb0221d288", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling libc v0.2.134
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling proc-macro2 v1.0.46
[INFO] [stderr]    Compiling unicode-ident v1.0.4
[INFO] [stderr]    Compiling clang-sys v1.4.0
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling regex-syntax v0.6.27
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling libloading v0.7.3
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling aho-corasick v0.7.19
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling regex v1.6.0
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling z3-sys v0.7.1
[INFO] [stderr]     Checking z3 v0.11.2
[INFO] [stderr]     Checking z3-rust-tutorial v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::solvers`
[INFO] [stdout]  --> src/puzzles/mod.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::solvers;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::solvers`
[INFO] [stdout]  --> src/puzzles/mod.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::solvers;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/arithmetic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/arithmetic/mod.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/boolean_logic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/boolean_logic/mod.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/functions/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/functions/mod.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:27:8
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:50:8
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run4` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:67:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn run4() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run5` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:99:8
[INFO] [stdout]    |
[INFO] [stdout] 99 | pub fn run5() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run` is never used
[INFO] [stdout]  --> src/install_problem/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run() {
[INFO] [stdout]   |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `depends_on` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:55:8
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn depends_on<'ctx>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `conflict` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub fn conflict<'ctx>(ctx: &'ctx Context, packs: Vec<&Bool<'ctx>>) -> Bool<'ctx> {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `install_check` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:79:8
[INFO] [stdout]    |
[INFO] [stdout] 79 | pub fn install_check(ctx: &Context, problem: Vec<&Bool>) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/list_compr/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/machine_arithmetic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/machine_arithmetic/mod.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/machine_arithmetic/mod.rs:93:8
[INFO] [stdout]    |
[INFO] [stdout] 93 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dog_cat_mouse` is never used
[INFO] [stdout]  --> src/puzzles/mod.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn dog_cat_mouse() {
[INFO] [stdout]   |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sudoku` is never used
[INFO] [stdout]   --> src/puzzles/mod.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub fn sudoku() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pretty_print` is never used
[INFO] [stdout]    --> src/puzzles/mod.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub fn pretty_print<T: AsRef<[u64]> + std::fmt::Debug>(matrix: impl Iterator<Item = T>) {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eight_queens` is never used
[INFO] [stdout]    --> src/puzzles/mod.rs:193:8
[INFO] [stdout]     |
[INFO] [stdout] 193 | pub fn eight_queens() {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/satisfiability_validity/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prove` is never used
[INFO] [stdout]   --> src/satisfiability_validity/mod.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub fn prove(ctx: &Context, f: &Bool) {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/solvers/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/solvers/mod.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/solvers/mod.rs:49:8
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/arithmetic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/arithmetic/mod.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/boolean_logic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/boolean_logic/mod.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/functions/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/functions/mod.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:27:8
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 28 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:50:8
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run4` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:67:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub fn run4() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run5` is never used
[INFO] [stdout]   --> src/getting_started/mod.rs:99:8
[INFO] [stdout]    |
[INFO] [stdout] 99 | pub fn run5() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run` is never used
[INFO] [stdout]  --> src/install_problem/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run() {
[INFO] [stdout]   |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `depends_on` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:55:8
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub fn depends_on<'ctx>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `conflict` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub fn conflict<'ctx>(ctx: &'ctx Context, packs: Vec<&Bool<'ctx>>) -> Bool<'ctx> {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `install_check` is never used
[INFO] [stdout]   --> src/install_problem/mod.rs:79:8
[INFO] [stdout]    |
[INFO] [stdout] 79 | pub fn install_check(ctx: &Context, problem: Vec<&Bool>) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/list_compr/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/machine_arithmetic/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/machine_arithmetic/mod.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/machine_arithmetic/mod.rs:93:8
[INFO] [stdout]    |
[INFO] [stdout] 93 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dog_cat_mouse` is never used
[INFO] [stdout]  --> src/puzzles/mod.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn dog_cat_mouse() {
[INFO] [stdout]   |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sudoku` is never used
[INFO] [stdout]   --> src/puzzles/mod.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub fn sudoku() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `pretty_print` is never used
[INFO] [stdout]    --> src/puzzles/mod.rs:175:8
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub fn pretty_print<T: AsRef<[u64]> + std::fmt::Debug>(matrix: impl Iterator<Item = T>) {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eight_queens` is never used
[INFO] [stdout]    --> src/puzzles/mod.rs:193:8
[INFO] [stdout]     |
[INFO] [stdout] 193 | pub fn eight_queens() {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/satisfiability_validity/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `prove` is never used
[INFO] [stdout]   --> src/satisfiability_validity/mod.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub fn prove(ctx: &Context, f: &Bool) {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run1` is never used
[INFO] [stdout]  --> src/solvers/mod.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run1() {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run2` is never used
[INFO] [stdout]   --> src/solvers/mod.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn run2() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run3` is never used
[INFO] [stdout]   --> src/solvers/mod.rs:49:8
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub fn run3() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 28 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.17s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v5.1.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "47bbf5df9bb8d7b7343255254ac37297241e7826fac799081e6c0efb0221d288", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "47bbf5df9bb8d7b7343255254ac37297241e7826fac799081e6c0efb0221d288", kill_on_drop: false }`
[INFO] [stdout] 47bbf5df9bb8d7b7343255254ac37297241e7826fac799081e6c0efb0221d288