[INFO] fetching crate gollum-runtime 0.4.0...
[INFO] testing gollum-runtime-0.4.0 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] extracting crate gollum-runtime 0.4.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate gollum-runtime 0.4.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate gollum-runtime 0.4.0
[INFO] tweaked toml for crates.io crate gollum-runtime 0.4.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate gollum-runtime 0.4.0 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate gollum-runtime 0.4.0 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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 76d75b9d8326e987eb16b09b76ff023474eacbd7da3cfdf25438a26bec8cf51b
[INFO] running `Command { std: "docker" "start" "-a" "76d75b9d8326e987eb16b09b76ff023474eacbd7da3cfdf25438a26bec8cf51b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "76d75b9d8326e987eb16b09b76ff023474eacbd7da3cfdf25438a26bec8cf51b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76d75b9d8326e987eb16b09b76ff023474eacbd7da3cfdf25438a26bec8cf51b", kill_on_drop: false }`
[INFO] [stdout] 76d75b9d8326e987eb16b09b76ff023474eacbd7da3cfdf25438a26bec8cf51b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 28fc1e54c59419c72219801f3d2594c45aea06e0a3f52fc8f93d29670c6faf02
[INFO] running `Command { std: "docker" "start" "-a" "28fc1e54c59419c72219801f3d2594c45aea06e0a3f52fc8f93d29670c6faf02", kill_on_drop: false }`
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling nom v8.0.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling async-recursion v1.1.1
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling tokio v1.51.1
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling gollum-ast v0.4.0
[INFO] [stderr]    Compiling futures-executor v0.3.32
[INFO] [stderr]    Compiling futures v0.3.32
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling gollum-ir v0.4.0
[INFO] [stderr]    Compiling gollum-parser v0.4.0
[INFO] [stderr]    Compiling gollum-query-planner v0.4.0
[INFO] [stderr]    Compiling gollum-kb v0.4.0
[INFO] [stderr]    Compiling gollum-wam v0.4.0
[INFO] [stderr]    Compiling gollum-runtime v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.54s
[INFO] running `Command { std: "docker" "inspect" "28fc1e54c59419c72219801f3d2594c45aea06e0a3f52fc8f93d29670c6faf02", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "28fc1e54c59419c72219801f3d2594c45aea06e0a3f52fc8f93d29670c6faf02", kill_on_drop: false }`
[INFO] [stdout] 28fc1e54c59419c72219801f3d2594c45aea06e0a3f52fc8f93d29670c6faf02
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] addef9a0a0c7227c319cdc243eaf039c377522dde33529b6188ef6fa2b97750e
[INFO] running `Command { std: "docker" "start" "-a" "addef9a0a0c7227c319cdc243eaf039c377522dde33529b6188ef6fa2b97750e", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling gollum-ir v0.4.0
[INFO] [stderr]    Compiling gollum-query-planner v0.4.0
[INFO] [stderr]    Compiling gollum-kb v0.4.0
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling gollum-parser v0.4.0
[INFO] [stderr]    Compiling gollum-wam v0.4.0
[INFO] [stderr]    Compiling gollum-runtime v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.58s
[INFO] running `Command { std: "docker" "inspect" "addef9a0a0c7227c319cdc243eaf039c377522dde33529b6188ef6fa2b97750e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "addef9a0a0c7227c319cdc243eaf039c377522dde33529b6188ef6fa2b97750e", kill_on_drop: false }`
[INFO] [stdout] addef9a0a0c7227c319cdc243eaf039c377522dde33529b6188ef6fa2b97750e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b54f675fc5d638e833e976b174bdb4e209857fd6514f6947cb42b61c96130294
[INFO] running `Command { std: "docker" "start" "-a" "b54f675fc5d638e833e976b174bdb4e209857fd6514f6947cb42b61c96130294", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.60s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/gollum_runtime-c2aebe9e6fe30a67)
[INFO] [stdout] 
[INFO] [stdout] running 74 tests
[INFO] [stdout] test builtins::arithmetic::tests::arith_eq_int_float_cross ... ok
[INFO] [stdout] test builtins::arithmetic::tests::arith_neq ... ok
[INFO] [stdout] test builtins::arithmetic::tests::ge_boundaries ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_binds_var ... ok
[INFO] [stdout] test builtins::arithmetic::tests::lt_boundaries ... ok
[INFO] [stdout] test builtins::arithmetic::tests::le_boundaries ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_atoms ... ok
[INFO] [stdout] test builtins::comparison::tests::no_unify_inverse ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_var_vs_atom ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_neq_inverse ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_atoms_equal ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_atoms_unequal ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_var_lhs_binds ... ok
[INFO] [stdout] test builtins::comparison::tests::unify_var_rhs_binds ... ok
[INFO] [stdout] test builtins::logic::tests::not_requires_runtime ... ok
[INFO] [stdout] test builtins::logic::tests::fail_returns_empty_vec ... ok
[INFO] [stdout] test builtins::temporal::tests::test_after_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_before_fails_overlap ... ok
[INFO] [stdout] test builtins::temporal::tests::test_before_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_during_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_meets_fails_gap ... ok
[INFO] [stdout] test builtins::temporal::tests::test_overlaps_fails_no_overlap ... ok
[INFO] [stdout] test builtins::temporal::tests::test_meets_succeeds ... ok
[INFO] [stdout] test builtins::temporal::tests::test_overlaps_succeeds ... ok
[INFO] [stdout] test builtins::term::tests::atom_constants ... ok
[INFO] [stdout] test builtins::term::tests::division_by_zero_integer ... ok
[INFO] [stdout] test builtins::arithmetic::tests::arith_eq_equal_integers ... ok
[INFO] [stdout] test builtins::tests::custom_builtin_can_be_looked_up ... ok
[INFO] [stdout] test builtins::term::tests::float_promotion ... ok
[INFO] [stdout] test builtins::term::tests::power_returns_float ... ok
[INFO] [stdout] test builtins::term::tests::integer_arithmetic ... ok
[INFO] [stdout] test builtins::term::tests::literals_pass_through ... ok
[INFO] [stdout] test builtins::type_check::tests::atom_positive ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_checks_concrete_equal ... ok
[INFO] [stdout] test builtins::arithmetic::tests::is_var_float_rhs ... ok
[INFO] [stdout] test builtins::logic::tests::false_returns_empty_vec ... ok
[INFO] [stdout] test builtins::term::tests::var_gives_instantiation_error ... ok
[INFO] [stdout] test builtins::tests::lookup_nonexistent_returns_none ... ok
[INFO] [stdout] test builtins::term::tests::unary_abs_sign ... ok
[INFO] [stdout] test builtins::tests::with_standard_contains_all ... ok
[INFO] [stdout] test builtins::type_check::tests::compound_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::float_negative ... ok
[INFO] [stdout] test builtins::tests::with_standard_contains_all_22 ... ok
[INFO] [stdout] test builtins::type_check::tests::float_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::integer_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::atom_negative_int_and_var ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_empty_list ... ok
[INFO] [stdout] test builtins::type_check::tests::is_list_proper_list ... ok
[INFO] [stdout] test builtins::type_check::tests::number_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::compound_negative ... ok
[INFO] [stdout] test builtins::type_check::tests::integer_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::number_positive ... ok
[INFO] [stdout] test builtins::type_check::tests::var_positive ... ok
[INFO] [stdout] test builtins::term::tests::unknown_atom_gives_not_an_expression ... ok
[INFO] [stdout] test builtins::tests::lookup_is_3_returns_none ... ok
[INFO] [stdout] test builtins::tests::register_and_contains_roundtrip ... ok
[INFO] [stdout] test builtins::comparison::tests::struct_eq_deep_compound ... ok
[INFO] [stdout] test builtins::type_check::tests::var_negative ... ok
[INFO] [stdout] test builtins::arithmetic::tests::gt_boundaries ... ok
[INFO] [stdout] test builtins::logic::tests::true_returns_one_empty_substitution ... ok
[INFO] [stdout] test solver::tests::test_solver_no_match ... ok
[INFO] [stdout] test solver::tests::test_solver_rule_execution ... ok
[INFO] [stdout] test solver::tests::test_solver_multiple_facts ... ok
[INFO] [stdout] test solver::tests::test_solver_ground_query ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_basic_metrics ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_text_output ... ok
[INFO] [stdout] test solver::tests::test_solver_custom_builtin ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_arithmetic ... ok
[INFO] [stdout] test solver::tests::test_solver_backtracking ... ok
[INFO] [stdout] test solver::tests::test_solve_ir_profile_backtrack_counting ... ok
[INFO] [stdout] test solver::tests::test_solver_basic_fact_query ... ok
[INFO] [stdout] test solver::tests::test_solver_load_program ... ok
[INFO] [stdout] test solver::tests::test_solver_assert_retract ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/clp.rs (/opt/rustwide/target/debug/deps/clp-3e070c0d57d5f35d)
[INFO] [stdout] 
[INFO] [stdout] running 106 tests
[INFO] [stdout] test clp_eq_both_bound_equal ... ok
[INFO] [stdout] test backtracking_restores_domain_after_choice ... ok
[INFO] [stdout] test all_different_succeeds_for_empty_list ... ok
[INFO] [stdout] test all_different_fails_during_labeling_when_domain_shrinks ... ok
[INFO] [stdout] test clp_eq_empty_intersection_fails ... ok
[INFO] [stdout] test all_different_fails_when_domain_too_small ... ok
[INFO] [stdout] test all_different_fails_after_domain_narrows_below_group_size ... ok
[INFO] [stdout] test clp_eq_intersection_with_exclusions ... ok
[INFO] [stdout] test backtracking_all_different_restores_exclusions ... ok
[INFO] [stdout] test all_different_rejects_duplicate_bound_values ... ok
[INFO] [stdout] test clp_domain_values_small_range ... ok
[INFO] [stdout] test all_different_accepts_distinct_bound_values ... ok
[INFO] [stdout] test all_different_propagates_to_domain ... ok
[INFO] [stdout] test clp_exclusions_not_reintroduced_after_eq ... ok
[INFO] [stdout] test backtracking_constraint_propagation_does_not_persist ... ok
[INFO] [stdout] test clp_linsum_ground_both_sides_succeeds ... ok
[INFO] [stdout] test clp_eq_preserves_exclusions ... ok
[INFO] [stdout] test clp_linsum_narrows_both_domains ... ok
[INFO] [stdout] test all_different_succeeds_when_domain_exactly_meets_group_size ... ok
[INFO] [stdout] test clp_domain_empty_after_exclusion_fails ... ok
[INFO] [stdout] test clp_gt_with_bound_left_narrows_right_domain ... ok
[INFO] [stdout] test clp_gt_narrows_lower_bound ... ok
[INFO] [stdout] test clp_eq_both_bound_unequal ... ok
[INFO] [stdout] test clp_linsum_tight_domains_narrow_further ... ok
[INFO] [stdout] test clp_in_fails_for_bound_var_outside_range ... ok
[INFO] [stdout] test clp_in_narrows_existing_domain ... ok
[INFO] [stdout] test clp_linsum_with_one_bound_binds_other ... ok
[INFO] [stdout] test clp_in_succeeds_for_bound_var_inside_range ... ok
[INFO] [stdout] test clp_linsum_fails_when_impossible ... ok
[INFO] [stdout] test clp_in_trims_exclusions_outside_new_range ... ok
[INFO] [stdout] test clp_eq_binds_unbound_var ... ok
[INFO] [stdout] test clp_linsum_ground_both_sides_fails ... ok
[INFO] [stdout] test clp_gte_narrows_to_boundary ... ok
[INFO] [stdout] test clp_linsum_var_narrows_result_domain ... ok
[INFO] [stdout] test clp_lt_both_bound_succeeds ... ok
[INFO] [stdout] test clp_linsum_finds_correct_solutions_via_labeling ... ok
[INFO] [stdout] test clp_lt_narrows_upper_bound ... ok
[INFO] [stdout] test clp_neq_both_bound_equal_fails ... ok
[INFO] [stdout] test clp_neq_both_bound_unequal ... ok
[INFO] [stdout] test constraint_wakeup_lt_after_binding ... ok
[INFO] [stdout] test clp_neq_propagates_from_singleton_var_var ... ok
[INFO] [stdout] test clp_self_unification_stable ... ok
[INFO] [stdout] test clp_neq_excludes_value_from_domain ... ok
[INFO] [stdout] test constraint_wakeup_gt_after_binding ... ok
[INFO] [stdout] test clp_lte_narrows_to_boundary ... ok
[INFO] [stdout] test clp_unification_merges_domains ... ok
[INFO] [stdout] test clp_linsum_var_finds_correct_solutions ... ok
[INFO] [stdout] test fixpoint_failure_on_impossible_chain ... ok
[INFO] [stdout] test clp_lt_with_bound_left_narrows_right_domain ... ok
[INFO] [stdout] test clp_lt_both_bound_fails ... ok
[INFO] [stdout] test constraint_wakeup_linsum_after_binding ... ok
[INFO] [stdout] test clp_unification_merges_exclusions ... ok
[INFO] [stdout] test fixpoint_eq_unifies_domains ... ok
[INFO] [stdout] test constraint_wakeup_all_different_after_binding ... ok
[INFO] [stdout] test indomain_respects_domain_exclusion ... ok
[INFO] [stdout] test label_enumerates_single_variable ... ok
[INFO] [stdout] test label_with_all_different_finds_permutations ... ok
[INFO] [stdout] test fixpoint_transitive_lt_correct_solutions ... ok
[INFO] [stdout] test label_three_vars_all_different ... ok
[INFO] [stdout] test fixpoint_transitive_lt_narrows_domains ... ok
[INFO] [stdout] test indomain_enumerates_all_domain_values ... ok
[INFO] [stdout] test fixpoint_neq_chain_propagates ... ok
[INFO] [stdout] test labeling_min_enumerates_ascending ... ok
[INFO] [stdout] test labeling_already_ground_vars_succeed ... ok
[INFO] [stdout] test labeling_empty_list_succeeds ... ok
[INFO] [stdout] test label_with_bound_constraint_bound_from_constant ... ok
[INFO] [stdout] test labeling_ff_tie_break_max_degree ... ok
[INFO] [stdout] test labeling_ff_selects_smallest_domain_first ... ok
[INFO] [stdout] test labeling_default_same_as_label ... ok
[INFO] [stdout] test labeling_hybrid_ff_random_value ... ok
[INFO] [stdout] test labeling_invalid_option_fails ... ok
[INFO] [stdout] test labeling_max_enumerates_descending ... ok
[INFO] [stdout] test labeling_ff_with_constraint_propagation ... ok
[INFO] [stdout] test labeling_preset_explore ... ok
[INFO] [stdout] test labeling_non_list_vars_fails ... ok
[INFO] [stdout] test labeling_rest_keeps_ground_vars ... ok
[INFO] [stdout] test labeling_random_value_with_constraints ... ok
[INFO] [stdout] test labeling_random_value_finds_all_solutions ... ok
[INFO] [stdout] test labeling_unknown_compound_option_fails ... ok
[INFO] [stdout] test labeling_random_value_seed_is_deterministic ... ok
[INFO] [stdout] test labeling_preset_default ... ok
[INFO] [stdout] test labeling_triggers_enumeration ... ok
[INFO] [stdout] test labeling_tie_break_unknown_arg_fails ... ok
[INFO] [stdout] test labeling_preset_fast ... ok
[INFO] [stdout] test var_var_eq_intersects_domains ... ok
[INFO] [stdout] test search_size_linsum_constraint_reduces_enumeration ... ok
[INFO] [stdout] test var_var_eq_fails_on_empty_intersection ... ok
[INFO] [stdout] test no_labeling_no_enumeration ... ok
[INFO] [stdout] test labeling_ff_min_ordered_selection ... ok
[INFO] [stdout] test labeling_random_var_with_constraints ... ok
[INFO] [stdout] test var_var_gte_narrows_both_domains ... ok
[INFO] [stdout] test var_var_lt_propagation_reduces_search_space ... ok
[INFO] [stdout] test var_var_neq_singleton_propagation ... ok
[INFO] [stdout] test var_var_lt_narrows_both_domains ... ok
[INFO] [stdout] test labeling_tie_break_max_degree ... ok
[INFO] [stdout] test var_var_lt_fails_when_domains_incompatible ... ok
[INFO] [stdout] test labeling_tie_break_leftmost_explicit ... ok
[INFO] [stdout] test var_var_gt_narrows_both_domains ... ok
[INFO] [stdout] test labeling_tie_break_random_explicit ... ok
[INFO] [stdout] test var_var_lte_narrows_both_domains ... ok
[INFO] [stdout] test search_size_all_different_reduces_branches ... ok
[INFO] [stdout] test search_size_lt_constraint_is_small ... ok
[INFO] [stdout] test labeling_preset_explore_is_reproducible ... ok
[INFO] [stdout] test labeling_random_var_finds_all_solutions ... ok
[INFO] [stdout] test labeling_random_value_different_seeds_likely_differ ... ok
[INFO] [stdout] test search_size_send_more_money_clp_bounded ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 106 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.45s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/clp_fuzz.rs (/opt/rustwide/target/debug/deps/clp_fuzz-5708ff390aec98bc)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test fuzz_contradiction_eq_neq ... ok
[INFO] [stdout] test fuzz_binary_constraint_oracle ... ok
[INFO] [stdout] test fuzz_transitivity_lt ... FAILED
[INFO] [stdout] test fuzz_solution_values_in_domain ... ok
[INFO] [stdout] test fuzz_determinism ... ok
[INFO] [stdout] test fuzz_symmetry_lt_gt ... ok
[INFO] [stdout] test fuzz_all_different_cardinality ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- fuzz_transitivity_lt stdout ----
[INFO] [stdout] proptest: FileFailurePersistence::SourceParallel set, but failed to find lib.rs or main.rs
[INFO] [stdout] 
[INFO] [stdout] thread 'fuzz_transitivity_lt' (237) panicked at tests/clp_fuzz.rs:130:1:
[INFO] [stdout] Test aborted: Too many global rejects
[INFO] [stdout] 	successes: 196
[INFO] [stdout] 	local rejects: 0
[INFO] [stdout] 	global rejects: 1024
[INFO] [stdout] 		550 times at tests/clp_fuzz.rs:223:9: xlo <= xhi
[INFO] [stdout] 		319 times at tests/clp_fuzz.rs:224:9: ylo <= yhi
[INFO] [stdout] 		155 times at tests/clp_fuzz.rs:225:9: zlo <= zhi
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58aa7070ad4a - std[ec419fa8110287d5]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58aa7070ad4a - std[ec419fa8110287d5]::backtrace_rs::backtrace::trace_unsynchronized::<std[ec419fa8110287d5]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58aa7070ad4a - std[ec419fa8110287d5]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58aa7070ad4a - <<std[ec419fa8110287d5]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[35159d6ffb30e017]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58aa70721c6a - <core[35159d6ffb30e017]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58aa70721c6a - core[35159d6ffb30e017]::fmt::write
[INFO] [stdout]    6:     0x58aa7070fa22 - std[ec419fa8110287d5]::io::default_write_fmt::<alloc[a8a7aba520129d98]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x58aa7070fa22 - <alloc[a8a7aba520129d98]::vec::Vec<u8> as std[ec419fa8110287d5]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x58aa706e819f - <std[ec419fa8110287d5]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58aa706e819f - std[ec419fa8110287d5]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58aa70702ed9 - std[ec419fa8110287d5]::panicking::default_hook
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58aa7031619c - <alloc[a8a7aba520129d98]::boxed::Box<dyn for<'a, 'b> core[35159d6ffb30e017]::ops::function::Fn<(&'a std[ec419fa8110287d5]::panic::PanicHookInfo<'b>,), Output = ()> + core[35159d6ffb30e017]::marker::Sync + core[35159d6ffb30e017]::marker::Send> as core[35159d6ffb30e017]::ops::function::Fn<(&std[ec419fa8110287d5]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x58aa7031619c - test[a8007afcd3effadc]::test_main_inner::<test[a8007afcd3effadc]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x58aa70703152 - <alloc[a8a7aba520129d98]::boxed::Box<dyn for<'a, 'b> core[35159d6ffb30e017]::ops::function::Fn<(&'a std[ec419fa8110287d5]::panic::PanicHookInfo<'b>,), Output = ()> + core[35159d6ffb30e017]::marker::Sync + core[35159d6ffb30e017]::marker::Send> as core[35159d6ffb30e017]::ops::function::Fn<(&std[ec419fa8110287d5]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x58aa70703152 - std[ec419fa8110287d5]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x58aa706e8258 - std[ec419fa8110287d5]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x58aa706dfae9 - std[ec419fa8110287d5]::sys::backtrace::__rust_end_short_backtrace::<std[ec419fa8110287d5]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58aa706e8f6d - __rustc[cfb3622dd870db93]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x58aa7072242c - core[35159d6ffb30e017]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58aa702da297 - clp_fuzz[f68ef5b0c727efa6]::fuzz_transitivity_lt
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.11.0/src/sugar.rs:163:17
[INFO] [stdout]   20:     0x58aa702d42f7 - clp_fuzz[f68ef5b0c727efa6]::fuzz_transitivity_lt::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.11.0/src/sugar.rs:159:28
[INFO] [stdout]   21:     0x58aa703090b6 - <clp_fuzz[f68ef5b0c727efa6]::fuzz_transitivity_lt::{closure#0} as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x58aa7030947b - <fn() -> core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String> as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x58aa7030947b - test[a8007afcd3effadc]::__rust_begin_short_backtrace::<core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String>, fn() -> core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:724:18
[INFO] [stdout]   24:     0x58aa70316c6b - test[a8007afcd3effadc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:747:74
[INFO] [stdout]   25:     0x58aa70316c6b - <core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<test[a8007afcd3effadc]::run_test_in_process::{closure#0}> as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   26:     0x58aa70316c6b - std[ec419fa8110287d5]::panicking::catch_unwind::do_call::<core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<test[a8007afcd3effadc]::run_test_in_process::{closure#0}>, core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x58aa70316c6b - std[ec419fa8110287d5]::panicking::catch_unwind::<core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String>, core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<test[a8007afcd3effadc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x58aa70316c6b - std[ec419fa8110287d5]::panic::catch_unwind::<core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<test[a8007afcd3effadc]::run_test_in_process::{closure#0}>, core[35159d6ffb30e017]::result::Result<(), alloc[a8a7aba520129d98]::string::String>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x58aa70316c6b - test[a8007afcd3effadc]::run_test_in_process
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:747:27
[INFO] [stdout]   30:     0x58aa70316c6b - test[a8007afcd3effadc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:668:43
[INFO] [stdout]   31:     0x58aa70311644 - test[a8007afcd3effadc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/test/src/lib.rs:698:41
[INFO] [stdout]   32:     0x58aa70311644 - std[ec419fa8110287d5]::sys::backtrace::__rust_begin_short_backtrace::<test[a8007afcd3effadc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x58aa70319872 - std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked::<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   34:     0x58aa70319872 - <core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   35:     0x58aa70319872 - std[ec419fa8110287d5]::panicking::catch_unwind::do_call::<core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x58aa70319872 - std[ec419fa8110287d5]::panicking::catch_unwind::<(), core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x58aa70319872 - std[ec419fa8110287d5]::panic::catch_unwind::<core[35159d6ffb30e017]::panic::unwind_safe::AssertUnwindSafe<std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x58aa70319872 - std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked::<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   39:     0x58aa70319872 - <std[ec419fa8110287d5]::thread::lifecycle::spawn_unchecked<test[a8007afcd3effadc]::run_test::{closure#1}, ()>::{closure#1} as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x58aa7070a61f - <alloc[a8a7aba520129d98]::boxed::Box<dyn core[35159d6ffb30e017]::ops::function::FnOnce<(), Output = ()> + core[35159d6ffb30e017]::marker::Send> as core[35159d6ffb30e017]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   41:     0x58aa7070a61f - <std[ec419fa8110287d5]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/33835004928d3bf65db4d4712e1330766263b0bd/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   42:     0x778ffc05caa4 - <unknown>
[INFO] [stdout]   43:     0x778ffc0e9a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     fuzz_transitivity_lt
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 6 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 12.13s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test clp_fuzz`
[INFO] running `Command { std: "docker" "inspect" "b54f675fc5d638e833e976b174bdb4e209857fd6514f6947cb42b61c96130294", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b54f675fc5d638e833e976b174bdb4e209857fd6514f6947cb42b61c96130294", kill_on_drop: false }`
[INFO] [stdout] b54f675fc5d638e833e976b174bdb4e209857fd6514f6947cb42b61c96130294
