[INFO] cloning repository https://github.com/bejoistic/mathist
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bejoistic/mathist" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8b87852337a92179fbe7cc705eb82d161f3b4d22
[INFO] testing bejoistic/mathist against master#5d5ff84130da0d74c6ece368dbe821d8f83fa526 for pr-79296
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist" "/workspace/builds/worker-9/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-9/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/bejoistic/mathist on toolchain 5d5ff84130da0d74c6ece368dbe821d8f83fa526
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/bejoistic/mathist
[INFO] finished tweaking git repo https://github.com/bejoistic/mathist
[INFO] tweaked toml for git repo https://github.com/bejoistic/mathist written to /workspace/builds/worker-9/source/Cargo.toml
[INFO] crate git repo https://github.com/bejoistic/mathist already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "metadata" "--no-deps" "--format-version=1", 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] cb539adecfa375c1aca1bb1b6c26da44ca8b982eebd4f7107b3bde1a88079d7a
[INFO] running `Command { std: "docker" "start" "-a" "cb539adecfa375c1aca1bb1b6c26da44ca8b982eebd4f7107b3bde1a88079d7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cb539adecfa375c1aca1bb1b6c26da44ca8b982eebd4f7107b3bde1a88079d7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb539adecfa375c1aca1bb1b6c26da44ca8b982eebd4f7107b3bde1a88079d7a", kill_on_drop: false }`
[INFO] [stdout] cb539adecfa375c1aca1bb1b6c26da44ca8b982eebd4f7107b3bde1a88079d7a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bdb8aeb2382cd387ec7fd7e96a61618aa852028f21d27e89bfe17404cb591917
[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" "bdb8aeb2382cd387ec7fd7e96a61618aa852028f21d27e89bfe17404cb591917", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling regex-syntax v0.6.21
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling regex v1.4.2
[INFO] [stderr]    Compiling mathist v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> src/main.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entries`
[INFO] [stdout]    --> src/main.rs:307:31
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_atom_str`
[INFO] [stdout]   --> src/main.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Constant`
[INFO] [stdout]    --> src/main.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     Constant(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Variable`
[INFO] [stdout]    --> src/main.rs:168:5
[INFO] [stdout]     |
[INFO] [stdout] 168 |     Variable(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Function`
[INFO] [stdout]    --> src/main.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     Function(String, Vec<Term>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atomic`
[INFO] [stdout]    --> src/main.rs:187:5
[INFO] [stdout]     |
[INFO] [stdout] 187 |     Atomic(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/main.rs:188:5
[INFO] [stdout]     |
[INFO] [stdout] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/main.rs:189:5
[INFO] [stdout]     |
[INFO] [stdout] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Not`
[INFO] [stdout]    --> src/main.rs:190:5
[INFO] [stdout]     |
[INFO] [stdout] 190 |     Not(Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]    --> src/main.rs:191:5
[INFO] [stdout]     |
[INFO] [stdout] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Iff`
[INFO] [stdout]    --> src/main.rs:192:5
[INFO] [stdout]     |
[INFO] [stdout] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForAll`
[INFO] [stdout]    --> src/main.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ForAll(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]    --> src/main.rs:194:5
[INFO] [stdout]     |
[INFO] [stdout] 194 |     Exists(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_term`
[INFO] [stdout]    --> src/main.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_formula`
[INFO] [stdout]    --> src/main.rs:251:4
[INFO] [stdout]     |
[INFO] [stdout] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 16 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 20.11s
[INFO] running `Command { std: "docker" "inspect" "bdb8aeb2382cd387ec7fd7e96a61618aa852028f21d27e89bfe17404cb591917", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bdb8aeb2382cd387ec7fd7e96a61618aa852028f21d27e89bfe17404cb591917", kill_on_drop: false }`
[INFO] [stdout] bdb8aeb2382cd387ec7fd7e96a61618aa852028f21d27e89bfe17404cb591917
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 38e6c4c8eb2af806244ad28e6e8bb11ab0c2ceb50f5c360be543b6634c9ddacc
[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" "38e6c4c8eb2af806244ad28e6e8bb11ab0c2ceb50f5c360be543b6634c9ddacc", kill_on_drop: false }`
[INFO] [stderr]    Compiling mathist v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> src/main.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entries`
[INFO] [stdout]    --> src/main.rs:307:31
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_atom_str`
[INFO] [stdout]   --> src/main.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Constant`
[INFO] [stdout]    --> src/main.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     Constant(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Variable`
[INFO] [stdout]    --> src/main.rs:168:5
[INFO] [stdout]     |
[INFO] [stdout] 168 |     Variable(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Function`
[INFO] [stdout]    --> src/main.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     Function(String, Vec<Term>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atomic`
[INFO] [stdout]    --> src/main.rs:187:5
[INFO] [stdout]     |
[INFO] [stdout] 187 |     Atomic(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/main.rs:188:5
[INFO] [stdout]     |
[INFO] [stdout] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/main.rs:189:5
[INFO] [stdout]     |
[INFO] [stdout] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Not`
[INFO] [stdout]    --> src/main.rs:190:5
[INFO] [stdout]     |
[INFO] [stdout] 190 |     Not(Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]    --> src/main.rs:191:5
[INFO] [stdout]     |
[INFO] [stdout] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Iff`
[INFO] [stdout]    --> src/main.rs:192:5
[INFO] [stdout]     |
[INFO] [stdout] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForAll`
[INFO] [stdout]    --> src/main.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ForAll(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]    --> src/main.rs:194:5
[INFO] [stdout]     |
[INFO] [stdout] 194 |     Exists(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_term`
[INFO] [stdout]    --> src/main.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_formula`
[INFO] [stdout]    --> src/main.rs:251:4
[INFO] [stdout]     |
[INFO] [stdout] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 16 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.34s
[INFO] running `Command { std: "docker" "inspect" "38e6c4c8eb2af806244ad28e6e8bb11ab0c2ceb50f5c360be543b6634c9ddacc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38e6c4c8eb2af806244ad28e6e8bb11ab0c2ceb50f5c360be543b6634c9ddacc", kill_on_drop: false }`
[INFO] [stdout] 38e6c4c8eb2af806244ad28e6e8bb11ab0c2ceb50f5c360be543b6634c9ddacc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 27d355ee8c615befde914a9301115e36f3c59ac474cd41a1c04a4dc50d24d33a
[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" "27d355ee8c615befde914a9301115e36f3c59ac474cd41a1c04a4dc50d24d33a", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `input`
[INFO] [stderr]    --> src/main.rs:307:17
[INFO] [stderr]     |
[INFO] [stderr] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stderr]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `entries`
[INFO] [stderr]    --> src/main.rs:307:31
[INFO] [stderr]     |
[INFO] [stderr] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stderr]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `as_atom_str`
[INFO] [stderr]   --> src/main.rs:15:8
[INFO] [stderr]    |
[INFO] [stderr] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stderr]    |        ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Constant`
[INFO] [stderr]    --> src/main.rs:167:5
[INFO] [stderr]     |
[INFO] [stderr] 167 |     Constant(String),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Variable`
[INFO] [stderr]    --> src/main.rs:168:5
[INFO] [stderr]     |
[INFO] [stderr] 168 |     Variable(String),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Function`
[INFO] [stderr]    --> src/main.rs:169:5
[INFO] [stderr]     |
[INFO] [stderr] 169 |     Function(String, Vec<Term>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Atomic`
[INFO] [stderr]    --> src/main.rs:187:5
[INFO] [stderr]     |
[INFO] [stderr] 187 |     Atomic(Term),
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `And`
[INFO] [stderr]    --> src/main.rs:188:5
[INFO] [stderr]     |
[INFO] [stderr] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Or`
[INFO] [stderr]    --> src/main.rs:189:5
[INFO] [stderr]     |
[INFO] [stderr] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Not`
[INFO] [stderr]    --> src/main.rs:190:5
[INFO] [stderr]     |
[INFO] [stderr] 190 |     Not(Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Implies`
[INFO] [stderr]    --> src/main.rs:191:5
[INFO] [stderr]     |
[INFO] [stderr] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Iff`
[INFO] [stderr]    --> src/main.rs:192:5
[INFO] [stderr]     |
[INFO] [stderr] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ForAll`
[INFO] [stderr]    --> src/main.rs:193:5
[INFO] [stderr]     |
[INFO] [stderr] 193 |     ForAll(String, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Exists`
[INFO] [stderr]    --> src/main.rs:194:5
[INFO] [stderr]     |
[INFO] [stderr] 194 |     Exists(String, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `make_term`
[INFO] [stderr]    --> src/main.rs:225:4
[INFO] [stderr]     |
[INFO] [stderr] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stderr]     |    ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `make_formula`
[INFO] [stderr]    --> src/main.rs:251:4
[INFO] [stderr]     |
[INFO] [stderr] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stderr]     |    ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 16 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/mathist-67b536e292aeef89
[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
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "27d355ee8c615befde914a9301115e36f3c59ac474cd41a1c04a4dc50d24d33a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "27d355ee8c615befde914a9301115e36f3c59ac474cd41a1c04a4dc50d24d33a", kill_on_drop: false }`
[INFO] [stdout] 27d355ee8c615befde914a9301115e36f3c59ac474cd41a1c04a4dc50d24d33a