[INFO] cloning repository https://github.com/pro465/mlatu-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pro465/mlatu-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpro465%2Fmlatu-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpro465%2Fmlatu-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0b68c27a5d9c5bbb6c7301a393174bcc0201c7ab
[INFO] testing pro465/mlatu-rust against beta-2025-10-28 for beta-1.92-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpro465%2Fmlatu-rust" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/pro465/mlatu-rust
[INFO] finished tweaking git repo https://github.com/pro465/mlatu-rust
[INFO] tweaked toml for git repo https://github.com/pro465/mlatu-rust written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pro465/mlatu-rust on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/pro465/mlatu-rust 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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5dfb5b5d1b0f10c0d19bf2f2f4db8d392cd8324f43bbcdc8fbfa9aff450b121c
[INFO] running `Command { std: "docker" "start" "-a" "5dfb5b5d1b0f10c0d19bf2f2f4db8d392cd8324f43bbcdc8fbfa9aff450b121c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5dfb5b5d1b0f10c0d19bf2f2f4db8d392cd8324f43bbcdc8fbfa9aff450b121c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5dfb5b5d1b0f10c0d19bf2f2f4db8d392cd8324f43bbcdc8fbfa9aff450b121c", kill_on_drop: false }`
[INFO] [stdout] 5dfb5b5d1b0f10c0d19bf2f2f4db8d392cd8324f43bbcdc8fbfa9aff450b121c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b1f20abf6a0a57e6cd94d2ff2b0216de5ccce08622424e1887f599683a6112b7
[INFO] running `Command { std: "docker" "start" "-a" "b1f20abf6a0a57e6cd94d2ff2b0216de5ccce08622424e1887f599683a6112b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling rustversion v1.0.20
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling strum_macros v0.27.1
[INFO] [stderr]    Compiling strum v0.27.1
[INFO] [stderr]    Compiling mlatu v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `IntoEnumIterator`
[INFO] [stdout]  --> src/main.rs:3:19
[INFO] [stdout]   |
[INFO] [stdout] 3 | use strum::{self, IntoEnumIterator};
[INFO] [stdout]   |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:97:21
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 let mut copy = term.last().unwrap().clone();
[INFO] [stdout]    |                     ----^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/main.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |     let mut avg = 0;
[INFO] [stdout]     |         ----^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `avg`
[INFO] [stdout]    --> src/main.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |     let mut avg = 0;
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_avg`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Char` is never constructed
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout]  9 | enum Thing {
[INFO] [stdout]    |      ----- variant in this enum
[INFO] [stdout] 10 |     Char(char),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Thing` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find` is never used
[INFO] [stdout]    --> src/main.rs:287:4
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn find(args: Term, exp_res: Term, lim: u64, memlim: usize) {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nonhalting` is never used
[INFO] [stdout]    --> src/main.rs:328:4
[INFO] [stdout]     |
[INFO] [stdout] 328 | fn nonhalting(n: u64, memlim: usize) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/main.rs:322:13
[INFO] [stdout]     |
[INFO] [stdout] 322 |             reduce::<true>(full, lim, memlim);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let _ = reduce::<true>(full, lim, memlim);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/main.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |             reduce::<true>(prog, low, memlim);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 363 |             let _ = reduce::<true>(prog, low, memlim);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.18s
[INFO] running `Command { std: "docker" "inspect" "b1f20abf6a0a57e6cd94d2ff2b0216de5ccce08622424e1887f599683a6112b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1f20abf6a0a57e6cd94d2ff2b0216de5ccce08622424e1887f599683a6112b7", kill_on_drop: false }`
[INFO] [stdout] b1f20abf6a0a57e6cd94d2ff2b0216de5ccce08622424e1887f599683a6112b7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8c1c96daac4f92ee939694a46b3e01c112ab49c9b7e58fc1ed0e5f1e55b41792
[INFO] running `Command { std: "docker" "start" "-a" "8c1c96daac4f92ee939694a46b3e01c112ab49c9b7e58fc1ed0e5f1e55b41792", kill_on_drop: false }`
[INFO] [stderr]    Compiling mlatu v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `IntoEnumIterator`
[INFO] [stdout]  --> src/main.rs:3:19
[INFO] [stdout]   |
[INFO] [stdout] 3 | use strum::{self, IntoEnumIterator};
[INFO] [stdout]   |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:97:21
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 let mut copy = term.last().unwrap().clone();
[INFO] [stdout]    |                     ----^^^^
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/main.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |     let mut avg = 0;
[INFO] [stdout]     |         ----^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `avg`
[INFO] [stdout]    --> src/main.rs:288:9
[INFO] [stdout]     |
[INFO] [stdout] 288 |     let mut avg = 0;
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_avg`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Char` is never constructed
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout]  9 | enum Thing {
[INFO] [stdout]    |      ----- variant in this enum
[INFO] [stdout] 10 |     Char(char),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Thing` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `find` is never used
[INFO] [stdout]    --> src/main.rs:287:4
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn find(args: Term, exp_res: Term, lim: u64, memlim: usize) {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nonhalting` is never used
[INFO] [stdout]    --> src/main.rs:328:4
[INFO] [stdout]     |
[INFO] [stdout] 328 | fn nonhalting(n: u64, memlim: usize) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/main.rs:322:13
[INFO] [stdout]     |
[INFO] [stdout] 322 |             reduce::<true>(full, lim, memlim);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let _ = reduce::<true>(full, lim, memlim);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/main.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |             reduce::<true>(prog, low, memlim);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 363 |             let _ = reduce::<true>(prog, low, memlim);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.36s
[INFO] running `Command { std: "docker" "inspect" "8c1c96daac4f92ee939694a46b3e01c112ab49c9b7e58fc1ed0e5f1e55b41792", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8c1c96daac4f92ee939694a46b3e01c112ab49c9b7e58fc1ed0e5f1e55b41792", kill_on_drop: false }`
[INFO] [stdout] 8c1c96daac4f92ee939694a46b3e01c112ab49c9b7e58fc1ed0e5f1e55b41792
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ec4fe155b9792d85f255c6bd2fe7c736c1d6e7c76f83a669bf54cebf5fd71e82
[INFO] running `Command { std: "docker" "start" "-a" "ec4fe155b9792d85f255c6bd2fe7c736c1d6e7c76f83a669bf54cebf5fd71e82", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `IntoEnumIterator`
[INFO] [stderr]  --> src/main.rs:3:19
[INFO] [stderr]   |
[INFO] [stderr] 3 | use strum::{self, IntoEnumIterator};
[INFO] [stderr]   |                   ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:97:21
[INFO] [stderr]    |
[INFO] [stderr] 97 |                 let mut copy = term.last().unwrap().clone();
[INFO] [stderr]    |                     ----^^^^
[INFO] [stderr]    |                     |
[INFO] [stderr]    |                     help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/main.rs:288:9
[INFO] [stderr]     |
[INFO] [stderr] 288 |     let mut avg = 0;
[INFO] [stderr]     |         ----^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `avg`
[INFO] [stderr]    --> src/main.rs:288:9
[INFO] [stderr]     |
[INFO] [stderr] 288 |     let mut avg = 0;
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_avg`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Char` is never constructed
[INFO] [stderr]   --> src/main.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr]  9 | enum Thing {
[INFO] [stderr]    |      ----- variant in this enum
[INFO] [stderr] 10 |     Char(char),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Thing` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `find` is never used
[INFO] [stderr]    --> src/main.rs:287:4
[INFO] [stderr]     |
[INFO] [stderr] 287 | fn find(args: Term, exp_res: Term, lim: u64, memlim: usize) {
[INFO] [stderr]     |    ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `nonhalting` is never used
[INFO] [stderr]    --> src/main.rs:328:4
[INFO] [stderr]     |
[INFO] [stderr] 328 | fn nonhalting(n: u64, memlim: usize) {
[INFO] [stderr]     |    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> src/main.rs:322:13
[INFO] [stderr]     |
[INFO] [stderr] 322 |             reduce::<true>(full, lim, memlim);
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 322 |             let _ = reduce::<true>(full, lim, memlim);
[INFO] [stderr]     |             +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> src/main.rs:363:13
[INFO] [stderr]     |
[INFO] [stderr] 363 |             reduce::<true>(prog, low, memlim);
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 363 |             let _ = reduce::<true>(prog, low, memlim);
[INFO] [stderr]     |             +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `mlatu` (bin "mlatu" test) generated 9 warnings (run `cargo fix --bin "mlatu" -p mlatu --tests` to apply 3 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mlatu-36289774fc8c5f23)
[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] running `Command { std: "docker" "inspect" "ec4fe155b9792d85f255c6bd2fe7c736c1d6e7c76f83a669bf54cebf5fd71e82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec4fe155b9792d85f255c6bd2fe7c736c1d6e7c76f83a669bf54cebf5fd71e82", kill_on_drop: false }`
[INFO] [stdout] ec4fe155b9792d85f255c6bd2fe7c736c1d6e7c76f83a669bf54cebf5fd71e82
