[INFO] fetching crate puan-rust 0.1.9...
[INFO] testing puan-rust-0.1.9 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] extracting crate puan-rust 0.1.9 into /workspace/builds/worker-1-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate puan-rust 0.1.9 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] a1726b830332aa2be18c9c269e4bccd0e9c2d3323022b40105302fb3663f13c8
[INFO] running `Command { std: "docker" "start" "-a" "a1726b830332aa2be18c9c269e4bccd0e9c2d3323022b40105302fb3663f13c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a1726b830332aa2be18c9c269e4bccd0e9c2d3323022b40105302fb3663f13c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a1726b830332aa2be18c9c269e4bccd0e9c2d3323022b40105302fb3663f13c8", kill_on_drop: false }`
[INFO] [stdout] a1726b830332aa2be18c9c269e4bccd0e9c2d3323022b40105302fb3663f13c8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] d4c087742477a1dcc4b98c32b7d66ec3b1403d63fb0e8aef6ec48fab29ccf17b
[INFO] running `Command { std: "docker" "start" "-a" "d4c087742477a1dcc4b98c32b7d66ec3b1403d63fb0e8aef6ec48fab29ccf17b", 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.85s
[INFO] running `Command { std: "docker" "inspect" "d4c087742477a1dcc4b98c32b7d66ec3b1403d63fb0e8aef6ec48fab29ccf17b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d4c087742477a1dcc4b98c32b7d66ec3b1403d63fb0e8aef6ec48fab29ccf17b", kill_on_drop: false }`
[INFO] [stdout] d4c087742477a1dcc4b98c32b7d66ec3b1403d63fb0e8aef6ec48fab29ccf17b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 08a2e90c48ae3ffd7065675f54e168c623060a42b36adef5481293623d0c8c04
[INFO] running `Command { std: "docker" "start" "-a" "08a2e90c48ae3ffd7065675f54e168c623060a42b36adef5481293623d0c8c04", 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 serde_json v1.0.143
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling regex v1.11.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 28.69s
[INFO] running `Command { std: "docker" "inspect" "08a2e90c48ae3ffd7065675f54e168c623060a42b36adef5481293623d0c8c04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08a2e90c48ae3ffd7065675f54e168c623060a42b36adef5481293623d0c8c04", kill_on_drop: false }`
[INFO] [stdout] 08a2e90c48ae3ffd7065675f54e168c623060a42b36adef5481293623d0c8c04
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 514bcba1175635abe5e290a3aa49995396a826e9926baeccb5cb7e988534f2f6
[INFO] running `Command { std: "docker" "start" "-a" "514bcba1175635abe5e290a3aa49995396a826e9926baeccb5cb7e988534f2f6", 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] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/puanrs-c9105dbedac33beb)
[INFO] [stdout] running 38 tests
[INFO] [stdout] test linalg::tests::test_optimized_bit_allocation ... ok
[INFO] [stdout] test solver::tests::test_solver_1 ... ok
[INFO] [stdout] test linalg::tests::test_dot_product ... ok
[INFO] [stdout] test solver::tests::test_solver_17 ... ok
[INFO] [stdout] test solver::tests::test_solver_11 ... ok
[INFO] [stdout] test solver::tests::test_solver_15 ... ok
[INFO] [stdout] test solver::tests::test_solver_19 ... ok
[INFO] [stdout] test solver::tests::test_solver_16 ... ok
[INFO] [stdout] test solver::tests::test_solver_10 ... ok
[INFO] [stdout] test solver::tests::test_solver_18 ... 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_14 ... ok
[INFO] [stdout] test solver::tests::test_solver_6 ... 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_8 ... ok
[INFO] [stdout] test solver::tests::test_solver_9 ... ok
[INFO] [stdout] test solver::tests::test_solver_4 ... ok
[INFO] [stdout] test solver::tests::test_solver_12 ... ok
[INFO] [stdout] test tests::test_min_max_coefficients ... ok
[INFO] [stdout] test tests::test_theory_propagate ... ok
[INFO] [stdout] test tests::test_generate_instance_to_polyhedron ... ok
[INFO] [stdout] test tests::test_substitution ... ok
[INFO] [stdout] test tests::test_theory_solve ... ok
[INFO] [stdout] test solver::tests::test_solver_13 ... ok
[INFO] [stdout] test tests::test_solver ... ok
[INFO] [stdout] test tests::test_theory_top_ok ... 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 solver::tests::test_solver_7 ... 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_to_lineqs ... ok
[INFO] [stdout] test tests::test_merge_conj_disj ... 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.55s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests puanrs
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test src/lib.rs - AtLeast::to_lineq (line 65) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 106) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::divide (line 79) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::ge_divide (line 158) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 291) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::add (line 264) ... ok
[INFO] [stdout] test src/lib.rs - Theory::propagate (line 273) ... ok
[INFO] [stdout] test src/lib.rs - Theory::to_lineqs (line 405) ... ok
[INFO] [stdout] test src/lib.rs - Theory::solve (line 553) ... 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::subtract (line 372) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::Variable::to_lineq_neg (line 471) ... ok
[INFO] [stdout] test src/linalg.rs - linalg::subtract (line 345) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::merge_disj (line 74) ... ok
[INFO] [stdout] test src/polyopt.rs - polyopt::GeLineq::min_max_coefficients (line 380) ... ok
[INFO] [stdout] test src/solver.rs - solver::IntegerLinearProgram::solve (line 421) ... ok
[INFO] [stdout] test src/solver.rs - solver::LinearProgram::solve (line 383) ... 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 1.79s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "514bcba1175635abe5e290a3aa49995396a826e9926baeccb5cb7e988534f2f6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "514bcba1175635abe5e290a3aa49995396a826e9926baeccb5cb7e988534f2f6", kill_on_drop: false }`
[INFO] [stdout] 514bcba1175635abe5e290a3aa49995396a826e9926baeccb5cb7e988534f2f6