[INFO] cloning repository https://github.com/fachammer/diploma-thesis-algorithm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fachammer/diploma-thesis-algorithm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f5360c4ff337e551f5fd915fe697686b101b5e80
[INFO] testing fachammer/diploma-thesis-algorithm against 1.85.0 for beta-1.86-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/fachammer/diploma-thesis-algorithm on toolchain 1.85.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.85.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-2-tc1/source/.cargo/config
[INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/fachammer/diploma-thesis-algorithm
[INFO] finished tweaking git repo https://github.com/fachammer/diploma-thesis-algorithm
[INFO] tweaked toml for git repo https://github.com/fachammer/diploma-thesis-algorithm written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/fachammer/diploma-thesis-algorithm 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" "+1.85.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded genawaiter-macro v0.99.1
[INFO] [stderr]   Downloaded genawaiter-proc-macro v0.99.1
[INFO] [stderr]   Downloaded futures-executor v0.3.28
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded syn-mid v0.5.4
[INFO] [stderr]   Downloaded proc-macro-error v0.4.12
[INFO] [stderr]   Downloaded quick-error v2.0.1
[INFO] [stderr]   Downloaded tempfile v3.5.0
[INFO] [stderr]   Downloaded quick-error v1.2.3
[INFO] [stderr]   Downloaded serde v1.0.162
[INFO] [stderr]   Downloaded libm v0.2.6
[INFO] [stderr]   Downloaded serde_derive v1.0.162
[INFO] [stderr]   Downloaded bumpalo v3.12.1
[INFO] [stderr]   Downloaded io-lifetimes v1.0.10
[INFO] [stderr]   Downloaded syn v2.0.15
[INFO] [stderr]   Downloaded proptest v1.1.0
[INFO] [stderr]   Downloaded proc-macro-error-attr v0.4.12
[INFO] [stderr]   Downloaded genawaiter v0.99.1
[INFO] [stderr]   Downloaded bit-vec v0.6.3
[INFO] [stderr]   Downloaded bit-set v0.5.3
[INFO] [stderr]   Downloaded rand_xorshift v0.3.0
[INFO] [stderr]   Downloaded rustix v0.37.17
[INFO] [stderr]   Downloaded rusty-fork v0.3.0
[INFO] [stderr]   Downloaded libc v0.2.142
[INFO] [stderr]   Downloaded linux-raw-sys v0.3.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] de5803db1b59a4fc3d6d5cb7588e4a59d95aca798425323a0f753012d588fea9
[INFO] running `Command { std: "docker" "start" "-a" "de5803db1b59a4fc3d6d5cb7588e4a59d95aca798425323a0f753012d588fea9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "de5803db1b59a4fc3d6d5cb7588e4a59d95aca798425323a0f753012d588fea9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "de5803db1b59a4fc3d6d5cb7588e4a59d95aca798425323a0f753012d588fea9", kill_on_drop: false }`
[INFO] [stdout] de5803db1b59a4fc3d6d5cb7588e4a59d95aca798425323a0f753012d588fea9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2c4e022d2685d148471f622addc3319563a924e476719c823fe98f8a64a4ca2e
[INFO] running `Command { std: "docker" "start" "-a" "2c4e022d2685d148471f622addc3319563a924e476719c823fe98f8a64a4ca2e", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.63
[INFO] [stderr]    Compiling quote v1.0.26
[INFO] [stderr]    Compiling unicode-ident v1.0.8
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.87
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling bumpalo v3.12.1
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling wasm-bindgen v0.2.87
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]    Compiling proc-macro-hack v0.5.20+deprecated
[INFO] [stderr]    Compiling serde_derive v1.0.162
[INFO] [stderr]    Compiling futures-sink v0.3.28
[INFO] [stderr]    Compiling pin-project-lite v0.2.9
[INFO] [stderr]    Compiling serde v1.0.162
[INFO] [stderr]    Compiling futures-io v0.3.28
[INFO] [stderr]    Compiling genawaiter-macro v0.99.1
[INFO] [stderr]    Compiling proc-macro-error-attr v0.4.12
[INFO] [stderr]    Compiling proc-macro-error v0.4.12
[INFO] [stderr]    Compiling slab v0.4.8
[INFO] [stderr]    Compiling syn v2.0.15
[INFO] [stderr]    Compiling syn-mid v0.5.4
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.87
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.87
[INFO] [stderr]    Compiling genawaiter-proc-macro v0.99.1
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.87
[INFO] [stderr]    Compiling genawaiter v0.99.1
[INFO] [stderr]    Compiling js-sys v0.3.64
[INFO] [stderr]    Compiling console_error_panic_hook v0.1.7
[INFO] [stderr]    Compiling futures-executor v0.3.28
[INFO] [stderr]    Compiling futures v0.3.28
[INFO] [stderr]    Compiling wasm-bindgen-futures v0.4.37
[INFO] [stderr]    Compiling web-sys v0.3.64
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling thesis-algorithm v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: methods `left` and `right` are never used
[INFO] [stdout]    --> src/disequality.rs:115:19
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl TermDisequality {
[INFO] [stdout]     | -------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub(crate) fn left(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub(crate) fn right(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `check` is never used
[INFO] [stdout]    --> src/proof.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 164 | impl Proof {
[INFO] [stdout]     | ---------- method in this implementation
[INFO] [stdout] 165 |     pub fn check(&self) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `compose` is never used
[INFO] [stdout]   --> src/substitution.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `input_by_id_unchecked` is never used
[INFO] [stdout]   --> src/web_unchecked.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stdout]    |                  ----------------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.34s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.87
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "2c4e022d2685d148471f622addc3319563a924e476719c823fe98f8a64a4ca2e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c4e022d2685d148471f622addc3319563a924e476719c823fe98f8a64a4ca2e", kill_on_drop: false }`
[INFO] [stdout] 2c4e022d2685d148471f622addc3319563a924e476719c823fe98f8a64a4ca2e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5cf3f51311de53482ec20b2b4f44397bb470a1a79c850690bf5d3c240ee02841
[INFO] running `Command { std: "docker" "start" "-a" "5cf3f51311de53482ec20b2b4f44397bb470a1a79c850690bf5d3c240ee02841", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.142
[INFO] [stderr]    Compiling io-lifetimes v1.0.10
[INFO] [stderr]    Compiling rustix v0.37.17
[INFO] [stderr]    Compiling libm v0.2.6
[INFO] [stderr]    Compiling linux-raw-sys v0.3.6
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling fastrand v1.9.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stdout] warning: methods `left` and `right` are never used
[INFO] [stdout]    --> src/disequality.rs:115:19
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl TermDisequality {
[INFO] [stdout]     | -------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub(crate) fn left(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub(crate) fn right(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `check` is never used
[INFO] [stdout]    --> src/proof.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 164 | impl Proof {
[INFO] [stdout]     | ---------- method in this implementation
[INFO] [stdout] 165 |     pub fn check(&self) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `compose` is never used
[INFO] [stdout]   --> src/substitution.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `input_by_id_unchecked` is never used
[INFO] [stdout]   --> src/web_unchecked.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stdout]    |                  ----------------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling getrandom v0.2.9
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling tempfile v3.5.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.1.0
[INFO] [stderr]    Compiling thesis-algorithm v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: method `compose` is never used
[INFO] [stdout]   --> src/substitution.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `input_by_id_unchecked` is never used
[INFO] [stdout]   --> src/web_unchecked.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stdout]    |                  ----------------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.78s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.87
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "5cf3f51311de53482ec20b2b4f44397bb470a1a79c850690bf5d3c240ee02841", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5cf3f51311de53482ec20b2b4f44397bb470a1a79c850690bf5d3c240ee02841", kill_on_drop: false }`
[INFO] [stdout] 5cf3f51311de53482ec20b2b4f44397bb470a1a79c850690bf5d3c240ee02841
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 31efb2f3cc3b3d225da1a5fd84db955ad1a32c1f8c518bd97d48de0e9fe1574c
[INFO] running `Command { std: "docker" "start" "-a" "31efb2f3cc3b3d225da1a5fd84db955ad1a32c1f8c518bd97d48de0e9fe1574c", kill_on_drop: false }`
[INFO] [stderr] warning: methods `left` and `right` are never used
[INFO] [stderr]    --> src/disequality.rs:115:19
[INFO] [stderr]     |
[INFO] [stderr] 107 | impl TermDisequality {
[INFO] [stderr]     | -------------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 115 |     pub(crate) fn left(&self) -> &Term {
[INFO] [stderr]     |                   ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 119 |     pub(crate) fn right(&self) -> &Term {
[INFO] [stderr]     |                   ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `check` is never used
[INFO] [stderr]    --> src/proof.rs:165:12
[INFO] [stderr]     |
[INFO] [stderr] 164 | impl Proof {
[INFO] [stderr]     | ---------- method in this implementation
[INFO] [stderr] 165 |     pub fn check(&self) -> bool {
[INFO] [stderr]     |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `compose` is never used
[INFO] [stderr]   --> src/substitution.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 13 | impl Substitution {
[INFO] [stderr]    | ----------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `input_by_id_unchecked` is never used
[INFO] [stderr]   --> src/web_unchecked.rs:40:8
[INFO] [stderr]    |
[INFO] [stderr] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stderr]    |                  ----------------- method in this trait
[INFO] [stderr] ...
[INFO] [stderr] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `compose` is never used
[INFO] [stderr]   --> src/substitution.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 13 | impl Substitution {
[INFO] [stderr]    | ----------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `thesis-algorithm` (lib) generated 4 warnings
[INFO] [stderr] warning: `thesis-algorithm` (lib test) generated 2 warnings (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.87
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/thesis_algorithm-208ca879a9680bec)
[INFO] [stdout] 
[INFO] [stdout] running 45 tests
[INFO] [stdout] test disequality::test::reduce ... ok
[INFO] [stdout] test multiset::hash_map::test::multiset_eq ... ok
[INFO] [stdout] test multiset::hash_map::test::multiset_eq_for_empty ... ok
[INFO] [stdout] test multiset::hash_map::test::multiset_from_iter ... ok
[INFO] [stdout] test multiset::hash_map::test::multiset_extend ... ok
[INFO] [stdout] test multiset::vec::test::multiset_eq_for_empty ... ok
[INFO] [stdout] test multiset::vec::test::multiset_eq ... ok
[INFO] [stdout] test multiset::vec::test::multiset_extend ... ok
[INFO] [stdout] test multiset::hash_map::test::multiset_iter ... ok
[INFO] [stdout] test multiset::vec::test::multiset_from_iter ... ok
[INFO] [stdout] test parse::test::pares_test_with_whitespace ... ok
[INFO] [stdout] test parse::test::parse_test ... ok
[INFO] [stdout] test parse::test::parse_test_with_parenthesis ... ok
[INFO] [stdout] test polynomial::test::at_variable_zero ... ok
[INFO] [stdout] test polynomial::test::add_polynomials ... ok
[INFO] [stdout] test polynomial::test::eq_polynomials ... ok
[INFO] [stdout] test polynomial::test::monomial_order ... ok
[INFO] [stdout] test polynomial::test::polynomial_from_mul_term ... ok
[INFO] [stdout] test polynomial::test::polynomial_from_term ... ok
[INFO] [stdout] test polynomial::test::strict_divisibility_not_satisfied ... ok
[INFO] [stdout] test polynomial::test::mul_polynomials ... ok
[INFO] [stdout] test polynomial::test::strict_divisibility_satisfied ... ok
[INFO] [stdout] test polynomial::test::x_and_y_are_incomparable ... ok
[INFO] [stdout] test polynomial::test::smaller_variables_are_larger ... ok
[INFO] [stdout] test polynomial::test::x_is_monomially_smaller_than_x_squared_plus_one ... ok
[INFO] [stdout] test proof_search::test::decide_provability_does_not_crash_on_term_with_variable_times_zero ... ok
[INFO] [stdout] test polynomial::test::term_from_polynomial ... ok
[INFO] [stdout] test proof::test::check_invalid_split_proof ... ok
[INFO] [stdout] test proof_search::test::decide_provability_finds_correct_substitution ... ok
[INFO] [stdout] test proof_search::test::decide_provability_does_not_crash_on_unsolvable_equation ... ok
[INFO] [stdout] test proof_search::test::stress_test ... ignored, this is long-running so only run it when explicitly stated
[INFO] [stdout] test proof_search::test::decide_provability_finds_correct_substitution_for_non_zero_example ... ok
[INFO] [stdout] test proof_search::test::negated_equality_of_same_terms_is_not_provable ... ok
[INFO] [stdout] test proof_search::test::decide_provability_finds_correct_substitution_for_non_strictly_monomially_comparable_example ... ok
[INFO] [stdout] test proof_search::test::term_to_polynomial_works ... ok
[INFO] [stdout] test proof::test::check_proof_for_golden_ratio_polynomial_is_valid ... ok
[INFO] [stdout] test polynomial::test::into_at_variable_plus_one ... ok
[INFO] [stdout] test proof_search::test::even_odd_disequality_is_not_provable ... ok
[INFO] [stdout] test proof_search::test::golden_ratio_polynomial_provability ... ok
[INFO] [stdout] test proof_search::test::two_xy_plus_one_not_equal_to_two_x_plus_two_y_is_provable ... ok
[INFO] [stdout] test proof_search::test::provability ... ok
[INFO] [stdout] test substitution::test::apply_to_monomial_works ... ok
[INFO] [stdout] test substitution::test::apply_to_polynomial_works ... ok
[INFO] [stdout] test proof_search::test::should_not_result_in_stack_overflow ... ok
[INFO] [stdout] test proof_search::test::polynomial_to_term_and_back ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 44 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.92s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests thesis_algorithm
[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" "31efb2f3cc3b3d225da1a5fd84db955ad1a32c1f8c518bd97d48de0e9fe1574c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "31efb2f3cc3b3d225da1a5fd84db955ad1a32c1f8c518bd97d48de0e9fe1574c", kill_on_drop: false }`
[INFO] [stdout] 31efb2f3cc3b3d225da1a5fd84db955ad1a32c1f8c518bd97d48de0e9fe1574c
