[INFO] fetching crate veripb-formula 0.1.1...
[INFO] testing veripb-formula-0.1.1 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8
[INFO] extracting crate veripb-formula 0.1.1 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate veripb-formula 0.1.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate veripb-formula 0.1.1
[INFO] tweaked toml for crates.io crate veripb-formula 0.1.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate veripb-formula 0.1.1 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate veripb-formula 0.1.1 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded malachite-bigint v0.5.0
[INFO] [stderr]   Downloaded parsel_derive v0.16.0
[INFO] [stderr]   Downloaded malachite-nz v0.5.0
[INFO] [stderr]   Downloaded malachite-base v0.5.0
[INFO] [stderr]   Downloaded deluxe-core v0.5.0
[INFO] [stderr]   Downloaded spire_enum_macros v0.7.1
[INFO] [stderr]   Downloaded deluxe-macros v0.5.0
[INFO] [stderr]   Downloaded deluxe v0.5.0
[INFO] [stderr]   Downloaded spire_enum v0.7.1
[INFO] [stderr]   Downloaded parsel v0.16.0
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 06d08efb8e61eb78c045aa0d71df7c5a7fb1deda7ea4424637d0940181cad138
[INFO] running `Command { std: "docker" "start" "-a" "06d08efb8e61eb78c045aa0d71df7c5a7fb1deda7ea4424637d0940181cad138", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "06d08efb8e61eb78c045aa0d71df7c5a7fb1deda7ea4424637d0940181cad138", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "06d08efb8e61eb78c045aa0d71df7c5a7fb1deda7ea4424637d0940181cad138", kill_on_drop: false }`
[INFO] [stdout] 06d08efb8e61eb78c045aa0d71df7c5a7fb1deda7ea4424637d0940181cad138
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 575f08946370383fc50b655c7957f4b8127aae89b9ab302f1a7c5199f15425e2
[INFO] running `Command { std: "docker" "start" "-a" "575f08946370383fc50b655c7957f4b8127aae89b9ab302f1a7c5199f15425e2", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling indexmap v2.11.4
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling if_chain v1.0.3
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling malachite-nz v0.5.0
[INFO] [stderr]    Compiling convert_case v0.8.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling smartstring v1.0.1
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling toml_edit v0.19.15
[INFO] [stderr]    Compiling ordered-float v4.6.0
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling malachite-base v0.5.0
[INFO] [stderr]    Compiling proc-macro-crate v1.3.1
[INFO] [stderr]    Compiling deluxe-core v0.5.0
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]    Compiling deluxe-macros v0.5.0
[INFO] [stderr]    Compiling derive_more v1.0.0
[INFO] [stderr]    Compiling deluxe v0.5.0
[INFO] [stderr]    Compiling parsel_derive v0.16.0
[INFO] [stderr]    Compiling parsel v0.16.0
[INFO] [stderr]    Compiling spire_enum_macros v0.7.1
[INFO] [stderr]    Compiling spire_enum v0.7.1
[INFO] [stderr]    Compiling malachite-bigint v0.5.0
[INFO] [stderr]    Compiling veripb-formula v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.11s
[INFO] running `Command { std: "docker" "inspect" "575f08946370383fc50b655c7957f4b8127aae89b9ab302f1a7c5199f15425e2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "575f08946370383fc50b655c7957f4b8127aae89b9ab302f1a7c5199f15425e2", kill_on_drop: false }`
[INFO] [stdout] 575f08946370383fc50b655c7957f4b8127aae89b9ab302f1a7c5199f15425e2
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 71902305c2f59d1b1cbab028b90e7dee453c459209afdf14153bdbef2fc40dbd
[INFO] running `Command { std: "docker" "start" "-a" "71902305c2f59d1b1cbab028b90e7dee453c459209afdf14153bdbef2fc40dbd", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling clap_builder v4.5.48
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling criterion-plot v0.6.0
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling malachite-base v0.5.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling spire_enum_macros v0.7.1
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.7.0
[INFO] [stderr]    Compiling spire_enum v0.7.1
[INFO] [stderr]    Compiling malachite-nz v0.5.0
[INFO] [stderr]    Compiling malachite-bigint v0.5.0
[INFO] [stderr]    Compiling veripb-formula v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 58.24s
[INFO] running `Command { std: "docker" "inspect" "71902305c2f59d1b1cbab028b90e7dee453c459209afdf14153bdbef2fc40dbd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71902305c2f59d1b1cbab028b90e7dee453c459209afdf14153bdbef2fc40dbd", kill_on_drop: false }`
[INFO] [stdout] 71902305c2f59d1b1cbab028b90e7dee453c459209afdf14153bdbef2fc40dbd
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e9034b19044d9ccb45227c86a795d3b4a9d3442585258a2764fdb4729dbf648a
[INFO] running `Command { std: "docker" "start" "-a" "e9034b19044d9ccb45227c86a795d3b4a9d3442585258a2764fdb4729dbf648a", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/veripb_formula-39d10f06b99e71c7)
[INFO] [stderr]      Running tests/assignment.rs (/opt/rustwide/target/debug/deps/assignment-5cffad37dde88fb9)
[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] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test empty ... ok
[INFO] [stdout] test init_with_size ... ok
[INFO] [stdout] test increase_size ... ok
[INFO] [stdout] test reduce_size ... ok
[INFO] [stdout] test set_get_by_negated_lit ... ok
[INFO] [stdout] test set_by_var_get_by_lit ... ok
[INFO] [stdout] test set_get_by_var ... ok
[INFO] [stderr]      Running tests/boolean_var.rs (/opt/rustwide/target/debug/deps/boolean_var-e864de7a53e48d5a)
[INFO] [stdout] test set_get_by_lit ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test assign_and_unassign ... ok
[INFO] [stdout] test var_set_get_value ... ok
[INFO] [stdout] test create_var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/formula.rs (/opt/rustwide/target/debug/deps/formula-7c1d5dfb738e30ad)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test creat_empty_formula_with_capacity ... ok
[INFO] [stdout] test add_constraints_to_formula ... ok
[INFO] [stdout] test create_empty_formula ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lit.rs (/opt/rustwide/target/debug/deps/lit-0efca714a6e705c1)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test check_internal_data_negate_function ... ok
[INFO] [stdout] test check_internal_data_negated ... ok
[INFO] [stdout] test create_lit_from_var_set ... ok
[INFO] [stdout] test create_lit_negated ... ok
[INFO] [stdout] test hundred_thousand_lits ... ok
[INFO] [stdout] test negation ... ok
[INFO] [stdout] test create_lit ... ok
[INFO] [stdout] test one_var_multiple_lit ... ok
[INFO] [stdout] test check_internal_data_var_idx ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pb_constraint.rs (/opt/rustwide/target/debug/deps/pb_constraint-e04ea97eec68daaa)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test create_cardinality_from_lits ... ok
[INFO] [stdout] test create_general_constraint_arbitrary ... ok
[INFO] [stdout] test create_clause_from_lits ... ok
[INFO] [stdout] test cardinality_get_terms ... ok
[INFO] [stdout] test create_new_cardinality ... ok
[INFO] [stdout] test from_terms_10_terms ... ok
[INFO] [stdout] test from_terms_first_negative_coeff ... ok
[INFO] [stdout] test from_terms_first_negative_coeff_negated_lit ... ok
[INFO] [stdout] test from_terms_arbitrary ... ok
[INFO] [stdout] test from_terms_negative_coeff ... ok
[INFO] [stdout] test general_to_card ... ok
[INFO] [stdout] test general_to_clause ... ok
[INFO] [stdout] test from_terms_i64 ... ok
[INFO] [stdout] test from_terms_cancelling ... ok
[INFO] [stdout] test from_terms_negative_coeff_negated_lit ... ok
[INFO] [stdout] test create_general_constraint_i64 ... ok
[INFO] [stdout] test set_degree_arbitrary ... ok
[INFO] [stdout] test set_degree_i64 ... ok
[INFO] [stdout] test create_new_clause ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pb_objective.rs (/opt/rustwide/target/debug/deps/pb_objective-339e8e25c71f19cd)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test init_objective ... ok
[INFO] [stdout] test init_objective_duplicate_literal ... ok
[INFO] [stdout] test compute_objective_value_partial_assignment ... ok
[INFO] [stdout] test compute_objective_value_complete_assignment ... ok
[INFO] [stdout] test init_objective_negative_coeff ... ok
[INFO] [stdout] test init_objective_negative_coeff_opposing_lit ... ok
[INFO] [stderr]      Running tests/substitution.rs (/opt/rustwide/target/debug/deps/substitution-6a3d5243c9b94e9e)
[INFO] [stdout] test init_objective_opposing_literals ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test change_substitution ... ok
[INFO] [stdout] test add_values ... ok
[INFO] [stdout] test get_value ... ok
[INFO] [stdout] test get_value_by_lit ... 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 tests/var_name_manager.rs (/opt/rustwide/target/debug/deps/var_name_manager-ea4e6684b18da45b)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test add_same_var ... ok
[INFO] [stdout] test add_var ... ok
[INFO] [stdout] test add_var_and_get_name ... ok
[INFO] [stdout] test new_var_set ... ok
[INFO] [stdout] test persistence_after_adding_thousand ... ok
[INFO] [stdout] test new_var_set_with_capacity ... ok
[INFO] [stdout] test add_hundred_thousand_same_vars ... ok
[INFO] [stdout] test add_hundred_thousand_vars ... ok
[INFO] [stderr]    Doc-tests veripb_formula
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.26s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test src/pb_constraint.rs - pb_constraint::delegate_pb_constraint_enum (line 85) ... ignored
[INFO] [stdout] test src/pb_constraint.rs - pb_constraint::delegate_pb_constraint_enum (line 94) ... ignored
[INFO] [stdout] test src/prelude.rs - prelude (line 4) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e9034b19044d9ccb45227c86a795d3b4a9d3442585258a2764fdb4729dbf648a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e9034b19044d9ccb45227c86a795d3b4a9d3442585258a2764fdb4729dbf648a", kill_on_drop: false }`
[INFO] [stdout] e9034b19044d9ccb45227c86a795d3b4a9d3442585258a2764fdb4729dbf648a