[INFO] fetching crate puan-rust 0.1.9...
[INFO] testing puan-rust-0.1.9 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1
[INFO] extracting crate puan-rust 0.1.9 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate puan-rust 0.1.9
[INFO] finished tweaking crates.io crate puan-rust 0.1.9
[INFO] tweaked toml for crates.io crate puan-rust 0.1.9 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate puan-rust 0.1.9 on toolchain b83b707f97d809763b7861afa7638871f3339a33
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 77 packages to latest compatible versions
[INFO] [stderr]       Adding criterion v0.4.0 (available: v0.7.0)
[INFO] [stderr]       Adding itertools v0.10.5 (available: v0.14.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6915b81783ec8f26aec635a48db05459ff731d684a3469f5203fcca2f824f82b
[INFO] running `Command { std: "docker" "start" "-a" "6915b81783ec8f26aec635a48db05459ff731d684a3469f5203fcca2f824f82b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6915b81783ec8f26aec635a48db05459ff731d684a3469f5203fcca2f824f82b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6915b81783ec8f26aec635a48db05459ff731d684a3469f5203fcca2f824f82b", kill_on_drop: false }`
[INFO] [stdout] 6915b81783ec8f26aec635a48db05459ff731d684a3469f5203fcca2f824f82b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a9eab5b5cffaba1bb390e6f400c733912051b8d2e46b9acf3082cb745a63e365
[INFO] running `Command { std: "docker" "start" "-a" "a9eab5b5cffaba1bb390e6f400c733912051b8d2e46b9acf3082cb745a63e365", kill_on_drop: false }`
[INFO] [stderr]    Compiling puan-rust v0.1.9 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.79s
[INFO] running `Command { std: "docker" "inspect" "a9eab5b5cffaba1bb390e6f400c733912051b8d2e46b9acf3082cb745a63e365", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9eab5b5cffaba1bb390e6f400c733912051b8d2e46b9acf3082cb745a63e365", kill_on_drop: false }`
[INFO] [stdout] a9eab5b5cffaba1bb390e6f400c733912051b8d2e46b9acf3082cb745a63e365
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d2b9e456a52b9a06bfe249dc1f0af048b63dbc335607b4eb0d623850014dc66d
[INFO] running `Command { std: "docker" "start" "-a" "d2b9e456a52b9a06bfe249dc1f0af048b63dbc335607b4eb0d623850014dc66d", kill_on_drop: false }`
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling half v2.6.0
[INFO] [stderr]    Compiling os_str_bytes v6.6.1
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling textwrap v0.16.2
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling clap v3.2.25
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling regex v1.11.2
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.4.0
[INFO] [stderr]    Compiling puan-rust v0.1.9 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:170:4
[INFO] [stdout]     |
[INFO] [stdout] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `convert_to_standard_form` is never used
[INFO] [stdout]    --> src/solver.rs:410:8
[INFO] [stdout]     |
[INFO] [stdout] 409 | impl IntegerLinearProgram {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.10s
[INFO] running `Command { std: "docker" "inspect" "d2b9e456a52b9a06bfe249dc1f0af048b63dbc335607b4eb0d623850014dc66d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d2b9e456a52b9a06bfe249dc1f0af048b63dbc335607b4eb0d623850014dc66d", kill_on_drop: false }`
[INFO] [stdout] d2b9e456a52b9a06bfe249dc1f0af048b63dbc335607b4eb0d623850014dc66d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 292fc156e51a45a918204cee9c70cfb298101af5ab3a357bd4565cdee5db429f
[INFO] running `Command { std: "docker" "start" "-a" "292fc156e51a45a918204cee9c70cfb298101af5ab3a357bd4565cdee5db429f", kill_on_drop: false }`
[INFO] [stderr] warning: function `convert_ilp_to_standard_form` is never used
[INFO] [stderr]    --> src/solver.rs:170:4
[INFO] [stderr]     |
[INFO] [stderr] 170 | fn convert_ilp_to_standard_form(lp: &IntegerLinearProgram) -> StandardFormLP {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `convert_to_standard_form` is never used
[INFO] [stderr]    --> src/solver.rs:410:8
[INFO] [stderr]     |
[INFO] [stderr] 409 | impl IntegerLinearProgram {
[INFO] [stderr]     | ------------------------- method in this implementation
[INFO] [stderr] 410 |     fn convert_to_standard_form(&self) -> StandardFormLP {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `puan-rust` (lib) generated 2 warnings
[INFO] [stderr] warning: `puan-rust` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/puanrs-c9105dbedac33beb)
[INFO] [stdout] 
[INFO] [stdout] running 38 tests
[INFO] [stdout] test linalg::tests::test_dot_product ... ok
[INFO] [stdout] test linalg::tests::test_optimized_bit_allocation ... ok
[INFO] [stdout] test solver::tests::test_solver_1 ... ok
[INFO] [stdout] test solver::tests::test_solver_15 ... ok
[INFO] [stdout] test solver::tests::test_solver_16 ... ok
[INFO] [stdout] test solver::tests::test_solver_17 ... ok
[INFO] [stdout] test solver::tests::test_solver_18 ... ok
[INFO] [stdout] test solver::tests::test_solver_10 ... ok
[INFO] [stdout] test solver::tests::test_solver_19 ... ok
[INFO] [stdout] test solver::tests::test_solver_2 ... ok
[INFO] [stdout] test solver::tests::test_solver_20 ... ok
[INFO] [stdout] test solver::tests::test_solver_3 ... ok
[INFO] [stdout] test solver::tests::test_solver_5 ... ok
[INFO] [stdout] test solver::tests::test_solver_4 ... ok
[INFO] [stdout] test solver::tests::test_solver_11 ... ok
[INFO] [stdout] test solver::tests::test_solver_6 ... ok
[INFO] [stdout] test solver::tests::test_solver_9 ... ok
[INFO] [stdout] test tests::test_generate_instance_to_polyhedron ... ok
[INFO] [stdout] test tests::test_min_max_coefficients ... ok
[INFO] [stdout] test tests::test_solver ... ok
[INFO] [stdout] test tests::test_substitution ... ok
[INFO] [stdout] test tests::test_theory_propagate ... ok
[INFO] [stdout] test solver::tests::test_solver_12 ... ok
[INFO] [stdout] test tests::test_theory_solve ... ok
[INFO] [stdout] test solver::tests::test_solver_13 ... ok
[INFO] [stdout] test solver::tests::test_solver_8 ... ok
[INFO] [stdout] test solver::tests::test_solver_7 ... ok
[INFO] [stdout] test solver::tests::test_solver_14 ... ok
[INFO] [stdout] test tests::test_theory_top_should_not_panic ... ok
[INFO] [stdout] test tests::test_theory_variable_hm_have_id_duplicates ... ok
[INFO] [stdout] test tests::test_theory_variable_hm_should_be_correct ... ok
[INFO] [stdout] test tests::test_theory_top_ok ... ok
[INFO] [stdout] test tests::test_theory_to_lineqs ... ok
[INFO] [stdout] test tests::test_merge_conj_disj ... ok
[INFO] [stdout] test tests::test_theory_to_ge_polyhedron ... ok
[INFO] [stdout] test solver::tests::test_solver_21 ... ok
[INFO] [stdout] test tests::test_theory_top_has_circular_references - should panic ... ok
[INFO] [stdout] test tests::test_theory_to_lineqs_reduced ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.54s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests puanrs
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test src/lib.rs - Theory::to_lineqs (line 405) ... ok
[INFO] [stdout] test src/lib.rs - Theory::propagate (line 273) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 106) ... ok
[INFO] [stdout] test src/lib.rs - AtLeast::to_lineq (line 65) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 264) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 291) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 79) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::subtract (line 345) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::le_divide (line 208) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::transpose (line 420) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::ge_divide (line 158) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::subtract (line 372) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::min_max_coefficients (line 380) ... ok
[INFO] [stdout] test src/lib.rs - Theory::solve (line 553) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::merge_disj (line 74) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::Variable::to_lineq_neg (line 471) ... ok
[INFO] [stdout] test src/solver.rs - solver::LinearProgram::solve (line 383) ... ok
[INFO] [stdout] test src/solver.rs - solver::IntegerLinearProgram::solve (line 421) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::substitution (line 232) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.24s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "292fc156e51a45a918204cee9c70cfb298101af5ab3a357bd4565cdee5db429f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "292fc156e51a45a918204cee9c70cfb298101af5ab3a357bd4565cdee5db429f", kill_on_drop: false }`
[INFO] [stdout] 292fc156e51a45a918204cee9c70cfb298101af5ab3a357bd4565cdee5db429f