[INFO] cloning repository https://github.com/texmex76/babysub-rust-template [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/texmex76/babysub-rust-template" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabysub-rust-template", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabysub-rust-template'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 91cd7652ad8fc26d662edaed1b558b7f46140941 [INFO] testing texmex76/babysub-rust-template against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftexmex76%2Fbabysub-rust-template" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/texmex76/babysub-rust-template [INFO] finished tweaking git repo https://github.com/texmex76/babysub-rust-template [INFO] tweaked toml for git repo https://github.com/texmex76/babysub-rust-template written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/texmex76/babysub-rust-template on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/texmex76/babysub-rust-template 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 12 packages to latest compatible versions [INFO] [stderr] Adding adler2 v2.0.1 [INFO] [stderr] Adding bzip2 v0.6.0 [INFO] [stderr] Adding cc v1.2.34 [INFO] [stderr] Adding cfg-if v1.0.3 [INFO] [stderr] Adding crc32fast v1.5.0 [INFO] [stderr] Adding flate2 v1.1.2 [INFO] [stderr] Adding libbz2-rs-sys v0.2.2 [INFO] [stderr] Adding lzma-sys v0.1.20 [INFO] [stderr] Adding miniz_oxide v0.8.9 [INFO] [stderr] Adding pkg-config v0.3.32 [INFO] [stderr] Adding shlex v1.3.0 [INFO] [stderr] Adding xz2 v0.1.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 260afd99dbb956a36cdc7d8e5f8d4f980a3f3e79f8d41d27f77a433dbad8e8b6 [INFO] running `Command { std: "docker" "start" "-a" "260afd99dbb956a36cdc7d8e5f8d4f980a3f3e79f8d41d27f77a433dbad8e8b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "260afd99dbb956a36cdc7d8e5f8d4f980a3f3e79f8d41d27f77a433dbad8e8b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "260afd99dbb956a36cdc7d8e5f8d4f980a3f3e79f8d41d27f77a433dbad8e8b6", kill_on_drop: false }` [INFO] [stdout] 260afd99dbb956a36cdc7d8e5f8d4f980a3f3e79f8d41d27f77a433dbad8e8b6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 235302bff93a6aae36ead6d60c50342204783145e021c9db4a9c8785b4955587 [INFO] running `Command { std: "docker" "start" "-a" "235302bff93a6aae36ead6d60c50342204783145e021c9db4a9c8785b4955587", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling cc v1.2.34 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling adler2 v2.0.1 [INFO] [stderr] Compiling libbz2-rs-sys v0.2.2 [INFO] [stderr] Compiling textwrap v0.16.1 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling flate2 v1.1.2 [INFO] [stderr] Compiling bzip2 v0.6.0 [INFO] [stderr] Compiling lzma-sys v0.1.20 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Compiling xz2 v0.1.7 [INFO] [stderr] Compiling babysub-rust v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: field `marks` is never read [INFO] [stdout] --> src/main.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 176 | struct CNFFormula { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 181 | marks: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `connect_lit` and `connect_clause` are never used [INFO] [stdout] --> src/main.rs:205:8 [INFO] [stdout] | [INFO] [stdout] 184 | impl CNFFormula { [INFO] [stdout] | --------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 205 | fn connect_lit(&mut self, lit: i32, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 215 | fn connect_clause(&mut self, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.17s [INFO] running `Command { std: "docker" "inspect" "235302bff93a6aae36ead6d60c50342204783145e021c9db4a9c8785b4955587", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "235302bff93a6aae36ead6d60c50342204783145e021c9db4a9c8785b4955587", kill_on_drop: false }` [INFO] [stdout] 235302bff93a6aae36ead6d60c50342204783145e021c9db4a9c8785b4955587 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7d906010ec8264b1b1f957505ae368c95c251d828804c8dc6c9958de2e8248ac [INFO] running `Command { std: "docker" "start" "-a" "7d906010ec8264b1b1f957505ae368c95c251d828804c8dc6c9958de2e8248ac", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.7.2 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling regex-syntax v0.8.3 [INFO] [stderr] Compiling doc-comment v0.3.3 [INFO] [stderr] Compiling predicates-core v1.0.6 [INFO] [stderr] Compiling anstyle v1.0.6 [INFO] [stderr] Compiling termtree v0.4.1 [INFO] [stderr] Compiling assert_cmd v2.0.14 [INFO] [stderr] Compiling difflib v0.4.0 [INFO] [stderr] Compiling normalize-line-endings v0.3.0 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stdout] warning: field `marks` is never read [INFO] [stdout] --> src/main.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 176 | struct CNFFormula { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 181 | marks: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `connect_lit` and `connect_clause` are never used [INFO] [stdout] --> src/main.rs:205:8 [INFO] [stdout] | [INFO] [stdout] 184 | impl CNFFormula { [INFO] [stdout] | --------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 205 | fn connect_lit(&mut self, lit: i32, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 215 | fn connect_clause(&mut self, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling predicates-tree v1.0.9 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling float-cmp v0.9.0 [INFO] [stderr] Compiling regex-automata v0.4.6 [INFO] [stderr] Compiling regex v1.10.4 [INFO] [stderr] Compiling bstr v1.9.1 [INFO] [stderr] Compiling predicates v3.1.0 [INFO] [stderr] Compiling babysub-rust v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: field `marks` is never read [INFO] [stdout] --> src/main.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 176 | struct CNFFormula { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 181 | marks: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `connect_lit` and `connect_clause` are never used [INFO] [stdout] --> src/main.rs:205:8 [INFO] [stdout] | [INFO] [stdout] 184 | impl CNFFormula { [INFO] [stdout] | --------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 205 | fn connect_lit(&mut self, lit: i32, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 215 | fn connect_clause(&mut self, clause_id: usize, _verbosity: i32) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 12.82s [INFO] running `Command { std: "docker" "inspect" "7d906010ec8264b1b1f957505ae368c95c251d828804c8dc6c9958de2e8248ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7d906010ec8264b1b1f957505ae368c95c251d828804c8dc6c9958de2e8248ac", kill_on_drop: false }` [INFO] [stdout] 7d906010ec8264b1b1f957505ae368c95c251d828804c8dc6c9958de2e8248ac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] be8f78e8aa5d5c18486badf8e427aefaeac6585d7369927a3a3c184142f586b4 [INFO] running `Command { std: "docker" "start" "-a" "be8f78e8aa5d5c18486badf8e427aefaeac6585d7369927a3a3c184142f586b4", kill_on_drop: false }` [INFO] [stderr] warning: field `marks` is never read [INFO] [stderr] --> src/main.rs:181:5 [INFO] [stderr] | [INFO] [stderr] 176 | struct CNFFormula { [INFO] [stderr] | ---------- field in this struct [INFO] [stderr] ... [INFO] [stderr] 181 | marks: Vec, [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: methods `connect_lit` and `connect_clause` are never used [INFO] [stderr] --> src/main.rs:205:8 [INFO] [stderr] | [INFO] [stderr] 184 | impl CNFFormula { [INFO] [stderr] | --------------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 205 | fn connect_lit(&mut self, lit: i32, clause_id: usize, _verbosity: i32) { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 215 | fn connect_clause(&mut self, clause_id: usize, _verbosity: i32) { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `babysub-rust` (bin "babysub-rust") generated 2 warnings [INFO] [stderr] warning: `babysub-rust` (bin "babysub-rust" test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/babysub_rust-c2aa4e564edda49b) [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] Running tests/integration_test.rs (/opt/rustwide/target/debug/deps/integration_test-00f4b1af11d492cb) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test test_empty ... FAILED [INFO] [stdout] test test_binbin1 ... FAILED [INFO] [stdout] test test_binbin2 ... FAILED [INFO] [stdout] test test_trivial1 ... FAILED [INFO] [stdout] test test_inconsistent1 ... FAILED [INFO] [stdout] test test_trivial2 ... FAILED [INFO] [stdout] test test_inconsistent2 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--test integration_test` [INFO] [stdout] ---- test_empty stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_binbin1 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_binbin2 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_trivial1 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_inconsistent1 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_trivial2 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] ---- test_inconsistent2 stdout ---- [INFO] [stdout] Error: Os { code: 2, kind: NotFound, message: "No such file or directory" } [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] test_binbin1 [INFO] [stdout] test_binbin2 [INFO] [stdout] test_empty [INFO] [stdout] test_inconsistent1 [INFO] [stdout] test_inconsistent2 [INFO] [stdout] test_trivial1 [INFO] [stdout] test_trivial2 [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 7 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "be8f78e8aa5d5c18486badf8e427aefaeac6585d7369927a3a3c184142f586b4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "be8f78e8aa5d5c18486badf8e427aefaeac6585d7369927a3a3c184142f586b4", kill_on_drop: false }` [INFO] [stdout] be8f78e8aa5d5c18486badf8e427aefaeac6585d7369927a3a3c184142f586b4