[INFO] cloning repository https://github.com/Finlifin/say_you [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Finlifin/say_you" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e6c2afad377e49b287197f0fbb83ea0c8502ea1d [INFO] testing Finlifin/say_you against master#ad85bc524b1ad696e42061ad8338d382dffbdbe5 for pr-146237 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFinlifin%2Fsay_you" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Finlifin/say_you [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/Finlifin/say_you [INFO] tweaked toml for git repo https://github.com/Finlifin/say_you written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Finlifin/say_you on toolchain ad85bc524b1ad696e42061ad8338d382dffbdbe5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Finlifin/say_you 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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded symbol_table v0.2.0 [INFO] [stderr] Downloaded symbolic_expressions v5.0.3 [INFO] [stderr] Downloaded egg v0.9.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ce6473eb7fe292cd35137a92bd9ffa265d71426c2367298d8884eaeff7b48f8d [INFO] running `Command { std: "docker" "start" "-a" "ce6473eb7fe292cd35137a92bd9ffa265d71426c2367298d8884eaeff7b48f8d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ce6473eb7fe292cd35137a92bd9ffa265d71426c2367298d8884eaeff7b48f8d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ce6473eb7fe292cd35137a92bd9ffa265d71426c2367298d8884eaeff7b48f8d", kill_on_drop: false }` [INFO] [stdout] ce6473eb7fe292cd35137a92bd9ffa265d71426c2367298d8884eaeff7b48f8d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 97e0f07f04dcbfa14a7743f964b5423678aaa3de9078f66077ca2ebf775f00bd [INFO] running `Command { std: "docker" "start" "-a" "97e0f07f04dcbfa14a7743f964b5423678aaa3de9078f66077ca2ebf775f00bd", kill_on_drop: false }` [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling symbolic_expressions v5.0.3 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling env_logger v0.9.3 [INFO] [stderr] Compiling nu-ansi-term v0.50.1 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling instant v0.1.13 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling indexmap v2.11.0 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling symbol_table v0.2.0 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling egg v0.9.5 [INFO] [stderr] Compiling tracing-subscriber v0.3.20 [INFO] [stderr] Compiling say_you v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.68s [INFO] running `Command { std: "docker" "inspect" "97e0f07f04dcbfa14a7743f964b5423678aaa3de9078f66077ca2ebf775f00bd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "97e0f07f04dcbfa14a7743f964b5423678aaa3de9078f66077ca2ebf775f00bd", kill_on_drop: false }` [INFO] [stdout] 97e0f07f04dcbfa14a7743f964b5423678aaa3de9078f66077ca2ebf775f00bd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e6c6f98b85302a4e4a180e8fefef562422895fcae605c859f0a41678c210e488 [INFO] running `Command { std: "docker" "start" "-a" "e6c6f98b85302a4e4a180e8fefef562422895fcae605c859f0a41678c210e488", kill_on_drop: false }` [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling say_you v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f_b` [INFO] [stdout] --> examples/theory_propagation_test.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let f_b = builder.t_app("f", vec![b.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_b` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f_y` [INFO] [stdout] --> examples/theory_propagation_test.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | let f_y = builder.t_app("f", vec![y.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_y` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_w` [INFO] [stdout] --> examples/theory_propagation_test.rs:102:9 [INFO] [stdout] | [INFO] [stdout] 102 | let g_w = builder.t_app("g", vec![w.clone()]); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_g_w` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/fol.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `TTerm` [INFO] [stdout] --> src/model.rs:1:36 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `make_conclusion` is never used [INFO] [stdout] --> src/fol.rs:440:8 [INFO] [stdout] | [INFO] [stdout] 106 | impl FolEngine { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 440 | fn make_conclusion( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `restart_base` is never read [INFO] [stdout] --> src/sat.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct SatEngine { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 55 | restart_base: u64, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `count_equivalence_classes` is never used [INFO] [stdout] --> src/theory.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl EufSolver { [INFO] [stdout] | ---------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2.05s [INFO] running `Command { std: "docker" "inspect" "e6c6f98b85302a4e4a180e8fefef562422895fcae605c859f0a41678c210e488", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e6c6f98b85302a4e4a180e8fefef562422895fcae605c859f0a41678c210e488", kill_on_drop: false }` [INFO] [stdout] e6c6f98b85302a4e4a180e8fefef562422895fcae605c859f0a41678c210e488 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] c1834244fa1d8ce8682afabb1027c56aabb306fe295e39569d9d24e9163c2af1 [INFO] running `Command { std: "docker" "start" "-a" "c1834244fa1d8ce8682afabb1027c56aabb306fe295e39569d9d24e9163c2af1", kill_on_drop: false }` [INFO] [stderr] warning: unused label [INFO] [stderr] --> src/fol.rs:184:9 [INFO] [stderr] | [INFO] [stderr] 184 | 'rules: for idx in 0..self.rules.len() { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_labels)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `TTerm` [INFO] [stderr] --> src/model.rs:1:36 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::ir::{Identifier, VarId, TTerm}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: method `make_conclusion` is never used [INFO] [stderr] --> src/fol.rs:440:8 [INFO] [stderr] | [INFO] [stderr] 106 | impl FolEngine { [INFO] [stderr] | ---------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 440 | fn make_conclusion( [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: field `restart_base` is never read [INFO] [stderr] --> src/sat.rs:55:5 [INFO] [stderr] | [INFO] [stderr] 46 | pub struct SatEngine { [INFO] [stderr] | --------- field in this struct [INFO] [stderr] ... [INFO] [stderr] 55 | restart_base: u64, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `count_equivalence_classes` is never used [INFO] [stderr] --> src/theory.rs:81:8 [INFO] [stderr] | [INFO] [stderr] 46 | impl EufSolver { [INFO] [stderr] | ---------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 81 | fn count_equivalence_classes(&self) -> usize { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `say_you` (lib) generated 5 warnings (run `cargo fix --lib -p say_you` to apply 1 suggestion) [INFO] [stderr] warning: `say_you` (lib test) generated 5 warnings (5 duplicates) [INFO] [stderr] warning: unused variable: `f_b` [INFO] [stderr] --> examples/theory_propagation_test.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | let f_b = builder.t_app("f", vec![b.clone()]); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_b` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f_y` [INFO] [stderr] --> examples/theory_propagation_test.rs:100:9 [INFO] [stderr] | [INFO] [stderr] 100 | let f_y = builder.t_app("f", vec![y.clone()]); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_f_y` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `g_w` [INFO] [stderr] --> examples/theory_propagation_test.rs:102:9 [INFO] [stderr] | [INFO] [stderr] 102 | let g_w = builder.t_app("g", vec![w.clone()]); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_g_w` [INFO] [stderr] [INFO] [stderr] warning: `say_you` (example "theory_propagation_test") generated 3 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/say_you-72981e69a2f4867a) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test tests::tests::test_simple_sat ... ok [INFO] [stdout] test tests::tests::test_simple_unsat ... ok [INFO] [stdout] test tests::tests::test_push_pop ... ok [INFO] [stdout] test tests::tests::test_euf_equality ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/say_you-c6b2c0e463246714) [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] Doc-tests say_you [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" "c1834244fa1d8ce8682afabb1027c56aabb306fe295e39569d9d24e9163c2af1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c1834244fa1d8ce8682afabb1027c56aabb306fe295e39569d9d24e9163c2af1", kill_on_drop: false }` [INFO] [stdout] c1834244fa1d8ce8682afabb1027c56aabb306fe295e39569d9d24e9163c2af1