[INFO] cloning repository https://github.com/aklipf/probabilistic-circuits [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/aklipf/probabilistic-circuits" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faklipf%2Fprobabilistic-circuits", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faklipf%2Fprobabilistic-circuits'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3f40e0774862d6669708a62b0f5d7655d0721a82 [INFO] checking aklipf/probabilistic-circuits against master#a932eb36f8adf6c8cdfc450f063943da3112d621 for pr-140209-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faklipf%2Fprobabilistic-circuits" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/aklipf/probabilistic-circuits on toolchain a932eb36f8adf6c8cdfc450f063943da3112d621 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/aklipf/probabilistic-circuits [INFO] finished tweaking git repo https://github.com/aklipf/probabilistic-circuits [INFO] tweaked toml for git repo https://github.com/aklipf/probabilistic-circuits written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/aklipf/probabilistic-circuits 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" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c29a7c2a1681e8d70a4efd6e227c0e93ba59cde338e879a17de5b7da0f266e54 [INFO] running `Command { std: "docker" "start" "-a" "c29a7c2a1681e8d70a4efd6e227c0e93ba59cde338e879a17de5b7da0f266e54", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c29a7c2a1681e8d70a4efd6e227c0e93ba59cde338e879a17de5b7da0f266e54", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c29a7c2a1681e8d70a4efd6e227c0e93ba59cde338e879a17de5b7da0f266e54", kill_on_drop: false }` [INFO] [stdout] c29a7c2a1681e8d70a4efd6e227c0e93ba59cde338e879a17de5b7da0f266e54 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+a932eb36f8adf6c8cdfc450f063943da3112d621" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8e45af7e8694d7e83304a8c75d047ea223cf7720b4145f92d2c5a58e459d6e02 [INFO] running `Command { std: "docker" "start" "-a" "8e45af7e8694d7e83304a8c75d047ea223cf7720b4145f92d2c5a58e459d6e02", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking regex-syntax v0.8.4 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking regex-automata v0.4.7 [INFO] [stderr] Checking regex v1.10.6 [INFO] [stderr] Checking probabilistic-circuits v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: function `collect_recusive` is never used [INFO] [stdout] --> src/logic/circuit/compile.rs:14:4 [INFO] [stdout] | [INFO] [stdout] 14 | fn collect_recusive(subtree: IndexedRef, vars: &mut HashSet) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pause` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:12:4 [INFO] [stdout] | [INFO] [stdout] 12 | fn pause() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_pattern` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:160:4 [INFO] [stdout] | [INFO] [stdout] 160 | fn print_pattern(a: &Vec>) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_bool` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:176:4 [INFO] [stdout] | [INFO] [stdout] 176 | fn print_bool(a: &Vec) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Eval`, `circuit::propositional_to_circuit`, `disjunction`, and `propositional::count_propositional` [INFO] [stdout] --> examples/counting.rs:4:23 [INFO] [stdout] | [INFO] [stdout] 4 | and, conjunction, disjunction, equiv, every, exist, first_order, imply, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 5 | logic::{ [INFO] [stdout] 6 | circuit::propositional_to_circuit, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 7 | first_order::{first_order_to_propositional, FOMut, FirstOrderLogic}, [INFO] [stdout] 8 | propositional::count_propositional, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 9 | Eval, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> examples/counting.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 17 | let input = first_order!(conjunction!( [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: `input` [INFO] [stdout] --> examples/counting.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | let input = first_order!(every!("x", not!(pred!("Edge", "x", "x")))); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> examples/counting.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | let input = first_order!(every!("x", imply!(pred!("R", "x"), pred!("S", "x")))); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> examples/counting.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 39 | let input = first_order!(exist!( [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `collect_recusive` is never used [INFO] [stdout] --> src/logic/circuit/compile.rs:14:4 [INFO] [stdout] | [INFO] [stdout] 14 | fn collect_recusive(subtree: IndexedRef, vars: &mut HashSet) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pause` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:12:4 [INFO] [stdout] | [INFO] [stdout] 12 | fn pause() { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_pattern` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:160:4 [INFO] [stdout] | [INFO] [stdout] 160 | fn print_pattern(a: &Vec>) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_bool` is never used [INFO] [stdout] --> src/logic/propositional/dnf.rs:176:4 [INFO] [stdout] | [INFO] [stdout] 176 | fn print_bool(a: &Vec) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.23s [INFO] running `Command { std: "docker" "inspect" "8e45af7e8694d7e83304a8c75d047ea223cf7720b4145f92d2c5a58e459d6e02", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8e45af7e8694d7e83304a8c75d047ea223cf7720b4145f92d2c5a58e459d6e02", kill_on_drop: false }` [INFO] [stdout] 8e45af7e8694d7e83304a8c75d047ea223cf7720b4145f92d2c5a58e459d6e02