[INFO] cloning repository https://github.com/davidad/geolog-zeta [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/davidad/geolog-zeta" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavidad%2Fgeolog-zeta", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavidad%2Fgeolog-zeta'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6f86f1066b0351154051dabb11eb7fe63918e248 [INFO] testing davidad/geolog-zeta against try#28f95933dc0727396c07b48d0a8cb5211b7fb472 for pr-154065-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavidad%2Fgeolog-zeta" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/davidad/geolog-zeta [INFO] finished tweaking git repo https://github.com/davidad/geolog-zeta [INFO] tweaked toml for git repo https://github.com/davidad/geolog-zeta written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/davidad/geolog-zeta on toolchain 28f95933dc0727396c07b48d0a8cb5211b7fb472 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/davidad/geolog-zeta 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" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c515eceb83ad199fa7db9ec9d91596fa70fd2be4e04010a1527df8ab500e97c1 [INFO] running `Command { std: "docker" "start" "-a" "c515eceb83ad199fa7db9ec9d91596fa70fd2be4e04010a1527df8ab500e97c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c515eceb83ad199fa7db9ec9d91596fa70fd2be4e04010a1527df8ab500e97c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c515eceb83ad199fa7db9ec9d91596fa70fd2be4e04010a1527df8ab500e97c1", kill_on_drop: false }` [INFO] [stdout] c515eceb83ad199fa7db9ec9d91596fa70fd2be4e04010a1527df8ab500e97c1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d9318a505161e468fe3a7009a8e8bee91adf1658b433ffa56c6d0c34bb226e0f [INFO] running `Command { std: "docker" "start" "-a" "d9318a505161e468fe3a7009a8e8bee91adf1658b433ffa56c6d0c34bb226e0f", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.103 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling unicode-ident v1.0.22 [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Compiling find-msvc-tools v0.1.5 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling bytecheck v0.6.12 [INFO] [stderr] Compiling bitflags v2.10.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling nix v0.29.0 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling rend v0.4.2 [INFO] [stderr] Compiling cc v1.2.49 [INFO] [stderr] Compiling simdutf8 v0.1.5 [INFO] [stderr] Compiling nibble_vec v0.1.0 [INFO] [stderr] Compiling indexmap v2.12.1 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling crossbeam-queue v0.3.12 [INFO] [stderr] Compiling endian-type v0.1.2 [INFO] [stderr] Compiling toml_write v0.1.2 [INFO] [stderr] Compiling rkyv v0.7.45 [INFO] [stderr] Compiling arc-swap v1.7.1 [INFO] [stderr] Compiling egglog-numeric-id v1.0.0 [INFO] [stderr] Compiling yansi v1.0.1 [INFO] [stderr] Compiling seahash v4.1.0 [INFO] [stderr] Compiling radix_trie v0.2.1 [INFO] [stderr] Compiling egglog-concurrency v1.0.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling bytemuck v1.24.0 [INFO] [stderr] Compiling tinyvec v1.10.0 [INFO] [stderr] Compiling object v0.32.2 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling nonminmax v0.1.1 [INFO] [stderr] Compiling ariadne v0.4.1 [INFO] [stderr] Compiling roaring v0.10.12 [INFO] [stderr] Compiling crossbeam v0.8.4 [INFO] [stderr] Compiling egglog-union-find v1.0.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling memmap2 v0.9.9 [INFO] [stderr] Compiling uuid v1.19.0 [INFO] [stderr] Compiling stacker v0.1.22 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling fd-lock v4.0.4 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling rustyline v15.0.0 [INFO] [stderr] Compiling ar_archive_writer v0.2.0 [INFO] [stderr] Compiling ptr_meta_derive v0.1.4 [INFO] [stderr] Compiling bytecheck_derive v0.6.12 [INFO] [stderr] Compiling rkyv_derive v0.7.45 [INFO] [stderr] Compiling psm v0.1.28 [INFO] [stderr] Compiling ptr_meta v0.1.4 [INFO] [stderr] Compiling chumsky v0.9.3 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling geolog v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 54.68s [INFO] running `Command { std: "docker" "inspect" "d9318a505161e468fe3a7009a8e8bee91adf1658b433ffa56c6d0c34bb226e0f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d9318a505161e468fe3a7009a8e8bee91adf1658b433ffa56c6d0c34bb226e0f", kill_on_drop: false }` [INFO] [stdout] d9318a505161e468fe3a7009a8e8bee91adf1658b433ffa56c6d0c34bb226e0f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 445afa2c33b5dc43397dcc27011b85fc9c5a9b6fa47491890b97dd146252b051 [INFO] running `Command { std: "docker" "start" "-a" "445afa2c33b5dc43397dcc27011b85fc9c5a9b6fa47491890b97dd146252b051", kill_on_drop: false }` [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling console v0.15.11 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling regex-syntax v0.8.8 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling uuid v1.19.0 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand_xorshift v0.4.0 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling bytecheck v0.6.12 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling insta v1.44.3 [INFO] [stderr] Compiling rend v0.4.2 [INFO] [stderr] Compiling chumsky v0.9.3 [INFO] [stderr] Compiling proptest v1.9.0 [INFO] [stderr] Compiling rkyv v0.7.45 [INFO] [stderr] Compiling geolog v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 05s [INFO] running `Command { std: "docker" "inspect" "445afa2c33b5dc43397dcc27011b85fc9c5a9b6fa47491890b97dd146252b051", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "445afa2c33b5dc43397dcc27011b85fc9c5a9b6fa47491890b97dd146252b051", kill_on_drop: false }` [INFO] [stdout] 445afa2c33b5dc43397dcc27011b85fc9c5a9b6fa47491890b97dd146252b051 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5e5296dd94bc07838aed68a1e0e5503795280bc58a3df9d51a6691346a1985b3 [INFO] running `Command { std: "docker" "start" "-a" "5e5296dd94bc07838aed68a1e0e5503795280bc58a3df9d51a6691346a1985b3", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.24s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/geolog-1046d0858c250fe1) [INFO] [stdout] [INFO] [stdout] running 180 tests [INFO] [stdout] test cc::tests::test_congruence_closure_basic ... ok [INFO] [stdout] test cc::tests::test_canonical ... ok [INFO] [stdout] test cc::tests::test_congruence_closure_stats ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_unit ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_base ... ok [INFO] [stdout] test cc::tests::test_congruence_closure_pending ... ok [INFO] [stdout] test query::backend::tests::test_display_predicate_compound ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_product ... ok [INFO] [stdout] test query::backend::tests::test_display_nested_plan ... ok [INFO] [stdout] test query::backend::tests::test_display_scan ... ok [INFO] [stdout] test query::backend::tests::test_delay_initial_empty ... ok [INFO] [stdout] test query::backend::tests::test_delay_outputs_previous ... ok [INFO] [stdout] test query::backend::tests::test_diff_computes_delta ... ok [INFO] [stdout] test query::backend::tests::test_integrate_accumulates ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_no_matches ... ok [INFO] [stdout] test query::backend::tests::test_dbsp_with_filter ... ok [INFO] [stdout] test query::backend::tests::test_scan_filter ... ok [INFO] [stdout] test query::backend::tests::test_display_filter ... ok [INFO] [stdout] test query::backend::tests::test_scan_relation ... ok [INFO] [stdout] test query::backend::tests::test_diff_integrate_identity ... ok [INFO] [stdout] test query::backend::tests::test_stream_context_reset ... ok [INFO] [stdout] test query::backend::tests::test_semi_naive_transitive_closure ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_asymmetric ... ok [INFO] [stdout] test query::backend::tests::test_display_dbsp_operators ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_with_duplicates ... ok [INFO] [stdout] test query::backend::tests::test_display_join ... ok [INFO] [stdout] test query::backend::tests::test_join ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_basic ... ok [INFO] [stdout] test query::backend::tests::test_optimized_nested_joins ... ok [INFO] [stdout] test query::compile::tests::test_compile_filter_project ... ok [INFO] [stdout] test query::compile::tests::test_filter_compiles ... ok [INFO] [stdout] test query::compile::tests::test_func_eq_func_join ... ok [INFO] [stdout] test query::compile::tests::test_join_compiles ... ok [INFO] [stdout] test query::backend::tests::test_optimized_matches_naive_cross_join ... ok [INFO] [stdout] test query::compile::tests::test_compile_simple_filter ... ok [INFO] [stdout] test query::compile::tests::test_simple_scan_compiles ... ok [INFO] [stdout] test query::compile::tests::test_query_matches_pattern ... ok [INFO] [stdout] test query::optimize::tests::test_distinct_idempotent ... ok [INFO] [stdout] test query::from_relalg::tests::test_parsed_op_in_wires ... ok [INFO] [stdout] test query::from_relalg::tests::test_parsed_op_breaks_cycle ... ok [INFO] [stdout] test query::optimize::tests::test_filter_false_to_empty ... ok [INFO] [stdout] test query::optimize::tests::test_filter_fusion ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_empty_carrier ... ok [INFO] [stdout] test query::optimize::tests::test_filter_true_elimination ... ok [INFO] [stdout] test query::optimize::tests::test_join_empty_elimination ... ok [INFO] [stdout] test query::backend::tests::test_display_cross_join ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_parsed_op_in_wires ... ok [INFO] [stdout] test query::optimize::tests::test_union_empty_elimination ... ok [INFO] [stdout] test query::optimize::tests::test_negate_involution ... ok [INFO] [stdout] test overlay::tests::test_overlay_materialize ... ok [INFO] [stdout] test overlay::tests::test_overlay_add_elements ... ok [INFO] [stdout] test overlay::tests::test_overlay_relations ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_empty_theory ... ok [INFO] [stdout] test query::compile::tests::test_query_matches_bootstrap_queries ... ok [INFO] [stdout] test query::exec::tests::test_query_sorts_matches_bootstrap ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_rels ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_empty_instance ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_func_vals ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_funcs ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_multiple_theories ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_rel_tuples ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_instance_elems ... ok [INFO] [stdout] test solver::tactics::tests::test_add_elements ... ok [INFO] [stdout] test solver::tactics::tests::test_auto_tactic ... ok [INFO] [stdout] test solver::tactics::tests::test_branching ... ok [INFO] [stdout] test solver::tactics::tests::test_check_tactic ... ok [INFO] [stdout] test solver::tactics::tests::test_existential_body_processing ... ok [INFO] [stdout] test solver::tactics::tests::test_forward_chaining_adds_equations ... ok [INFO] [stdout] test solver::tactics::tests::test_forward_chaining_detects_false ... ok [INFO] [stdout] test solver::tactics::tests::test_forward_chaining_tactic ... ok [INFO] [stdout] test solver::tactics::tests::test_from_base_preserves_structure ... ok [INFO] [stdout] test solver::tactics::tests::test_from_base_solver_can_extend ... ok [INFO] [stdout] test solver::tactics::tests::test_nested_existential_body ... ok [INFO] [stdout] test solver::tactics::tests::test_propagate_equations_merges ... ok [INFO] [stdout] test solver::tactics::tests::test_search_tree_creation ... ok [INFO] [stdout] test solver::tactics::tests::test_summary ... ok [INFO] [stdout] test solver::tactics::tests::test_union_find_with_slid ... ok [INFO] [stdout] test solver::unified_api_tests::test_query_extends_base ... ok [INFO] [stdout] test solver::unified_api_tests::test_solve_finds_model ... ok [INFO] [stdout] test solver::unified_api_tests::test_solve_trivial_theory ... ok [INFO] [stdout] test solver::unified_api_tests::test_solve_unsat_theory ... ok [INFO] [stdout] test solver::unified_api_tests::test_unification_equivalence ... ok [INFO] [stdout] test store::batch::tests::test_create_elements_context ... ok [INFO] [stdout] test store::batch::tests::test_element_batch_builder ... ok [INFO] [stdout] test store::columnar::tests::test_relation_tuple_batch ... ok [INFO] [stdout] test store::tests::test_commit ... ok [INFO] [stdout] test store::tests::test_commit_history ... ok [INFO] [stdout] test store::tests::test_create_instance ... ok [INFO] [stdout] test store::tests::test_create_store ... ok [INFO] [stdout] test store::tests::test_create_theory ... ok [INFO] [stdout] test store::tests::test_incremental_update_invalid_parent ... ok [INFO] [stdout] test store::tests::test_incremental_view_update ... ok [INFO] [stdout] test store::tests::test_materialize_empty_instance ... ok [INFO] [stdout] test store::tests::test_materialize_with_elements ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_contract_diagonal ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_contract_exists ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_integer_semiring ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_product_bool ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_scalar ... ok [INFO] [stdout] test tensor::algebra::tests::test_eager_sum_bool ... ok [INFO] [stdout] test tensor::algebra::tests::test_from_dimension_growth ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_all_new ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_contract_linear ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_hadamard ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_integer_semiring ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_product_differentiation ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_stable_no_delta ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_sorts ... ok [INFO] [stdout] test tensor::algebra::tests::test_incremental_sum_linear ... ok [INFO] [stdout] test tensor::algebra::tests::test_monotone_delta_border ... ok [INFO] [stdout] test tensor::builder::tests::test_disjunction_all ... ok [INFO] [stdout] test tensor::builder::tests::test_disjunction_all_empty ... ok [INFO] [stdout] test tensor::builder::tests::test_conjunction ... ok [INFO] [stdout] test tensor::builder::tests::test_disjunction_same_vars ... ok [INFO] [stdout] test tensor::builder::tests::test_exists ... ok [INFO] [stdout] test tensor::builder::tests::test_disjunction_reordered_vars ... ok [INFO] [stdout] test tensor::builder::tests::test_fused_join_uses_hash ... ok [INFO] [stdout] test tensor::builder::tests::test_relational_join ... ok [INFO] [stdout] test tensor::builder::tests::test_geometric_formula_pattern ... ok [INFO] [stdout] test tensor::check::tests::test_check_sequent_edge_implies_edge ... ok [INFO] [stdout] test tensor::check::tests::test_check_sequent_reflexivity ... ok [INFO] [stdout] test tensor::check::tests::test_check_sequent_vacuously_true ... ok [INFO] [stdout] test tensor::check::tests::test_check_sequent_transitivity ... ok [INFO] [stdout] test tensor::check::tests::test_check_sequent_with_closure ... ok [INFO] [stdout] test tensor::check::tests::test_incremental_check_new_element_satisfies ... ok [INFO] [stdout] test tensor::check::tests::test_check_theory_axioms ... ok [INFO] [stdout] test tensor::check::tests::test_incremental_check_new_element_violates ... ok [INFO] [stdout] test tensor::check::tests::test_incremental_check_no_changes ... ok [INFO] [stdout] test tensor::check::tests::test_incremental_check_transitivity ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_disjunction_different_vars ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_equality ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_exists ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_exists_empty_domain ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_exists_nonempty_domain ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_false ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_conjunction ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_reflexive_identity ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_relation ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_relation_with_func_apps ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_func_app_equality ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_two_func_apps_equality ... ok [INFO] [stdout] test tensor::delta::tests::test_btreeset_pattern_basics ... ok [INFO] [stdout] test tensor::delta::tests::test_dimension_delta_empty ... ok [INFO] [stdout] test tensor::delta::tests::test_dimension_delta_from_cardinalities ... ok [INFO] [stdout] test tensor::delta::tests::test_dimension_delta_old_dims ... ok [INFO] [stdout] test tensor::delta::tests::test_multi_sort_relation_dimensions ... ok [INFO] [stdout] test tensor::delta::tests::test_relation_column_sorts_multi_sort ... ok [INFO] [stdout] test tensor::expr::tests::test_contract_reduction ... ok [INFO] [stdout] test tensor::expr::tests::test_contract_sum_distributes ... ok [INFO] [stdout] test tensor::expr::tests::test_product_simple ... ok [INFO] [stdout] test tensor::expr::tests::test_sum_basic ... ok [INFO] [stdout] test tensor::expr::tests::test_sum_empty ... ok [INFO] [stdout] test tensor::pattern::tests::test_btreeset_pattern_basic ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_true ... ok [INFO] [stdout] test tensor::pattern::tests::test_btreeset_pattern_scalar ... ok [INFO] [stdout] test tensor::pattern::tests::test_compute_border ... ok [INFO] [stdout] test tensor::pattern::tests::test_pattern_set_operations ... ok [INFO] [stdout] test tensor::semiring::tests::test_bool_delta ... ok [INFO] [stdout] test tensor::semiring::tests::test_delta_composition ... ok [INFO] [stdout] test tensor::semiring::tests::test_i64_semiring ... ok [INFO] [stdout] test tensor::semiring::tests::test_bool_semiring ... ok [INFO] [stdout] test tensor::sparse::tests::test_sparse_tensor_basic ... ok [INFO] [stdout] test zerocopy::tests::benchmark_zerocopy_vs_deserialize ... ignored [INFO] [stdout] test tensor::semiring::tests::test_u64_semiring ... ok [INFO] [stdout] test zerocopy::tests::test_mapped_structure_basic ... ok [INFO] [stdout] test zerocopy::tests::test_zero_copy_elements ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_distinct_scan ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_union ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_project ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_join ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_execute_empty ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_scan ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_negate_and_empty ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_filter_scan ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_dbsp_operators ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_scan ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_predicate ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_dbsp_operators ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_execute_union ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_execute_scan_carrier ... ok [INFO] [stderr] Running unittests src/bin/geolog.rs (/opt/rustwide/target/debug/deps/geolog-cfb24204ecdc088c) [INFO] [stdout] [INFO] [stdout] test result: ok. 179 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 1.82s [INFO] [stdout] [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/examples_integration.rs (/opt/rustwide/target/debug/deps/examples_integration-8420528c3ce69d75) [INFO] [stdout] [INFO] [stdout] running 35 tests [INFO] [stdout] test test_graph_triangle_structure ... ok [INFO] [stdout] test test_graph_example_parses ... ok [INFO] [stdout] test test_monoid_bool_or_structure ... ok [INFO] [stdout] test test_monoid_example_parses ... ok [INFO] [stdout] test test_graph_diamond_structure ... ok [INFO] [stdout] test test_petri_net_producer_consumer ... ok [INFO] [stdout] test test_monoid_bool_and_structure ... ok [INFO] [stdout] test test_monoid_trivial_structure ... ok [INFO] [stdout] test test_preorder_example_parses ... ok [INFO] [stdout] test test_petri_net_example_parses ... ok [INFO] [stdout] test test_petri_net_mutual_exclusion ... ok [INFO] [stdout] test test_persistence_with_chase ... ok [INFO] [stdout] test test_geolog_meta_loads ... ok [INFO] [stdout] test test_persistence_survives_restart ... ok [INFO] [stdout] test test_petri_net_showcase_solution0_structure ... ok [INFO] [stdout] test test_petri_net_showcase_example_net_structure ... ok [INFO] [stdout] test test_petri_net_showcase_problem0_structure ... ok [INFO] [stdout] test test_petri_net_showcase_loads ... ok [INFO] [stdout] test test_petri_net_showcase_solution2_structure ... ok [INFO] [stdout] test test_transitive_closure_chase ... ok [INFO] [stdout] test test_transitive_closure_chain_structure ... ok [INFO] [stdout] test test_solution2_incomplete_fails_axiom_check ... ok [INFO] [stdout] test test_transitive_closure_example_parses ... ok [INFO] [stdout] test test_relalg_compile_execute_roundtrip ... ok [INFO] [stdout] test test_relalg_roundtrip_filter ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_diff ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_delay ... ok [INFO] [stdout] test test_relalg_roundtrip_distinct_negate ... ok [INFO] [stdout] test test_relalg_roundtrip_join ... ok [INFO] [stdout] test test_relalg_ir_loads ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_integrate ... ok [INFO] [stdout] test test_relalg_roundtrip_union ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_combined ... ok [INFO] [stdout] test test_relalg_simple_examples ... ok [INFO] [stdout] test test_all_examples_parse ... ok [INFO] [stderr] Running tests/generators.rs (/opt/rustwide/target/debug/deps/generators-035456e839f327e8) [INFO] [stdout] [INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.37s [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Running tests/manual_fuzz.rs (/opt/rustwide/target/debug/deps/manual_fuzz-35ca783d42da1162) [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 3 tests [INFO] [stderr] Running tests/proptest_naming.rs (/opt/rustwide/target/debug/deps/proptest_naming-7f82757f39bf4638) [INFO] [stdout] test manual_fuzz_edge_cases ... ignored [INFO] [stdout] test manual_fuzz_parser ... ignored [INFO] [stdout] test manual_fuzz_repl ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test display_name_fallback ... ok [INFO] [stdout] test insert_get_roundtrip ... ok [INFO] [stdout] test ambiguous_names_return_none ... ok [INFO] [stdout] test lookup_contains_uuid ... ok [INFO] [stdout] test simple_name_is_last_component ... ok [INFO] [stdout] test lookup_unique_semantics ... ok [INFO] [stdout] test len_reflects_entries ... ok [INFO] [stdout] test dirty_flag_consistency ... ok [INFO] [stderr] Running tests/proptest_overlay.rs (/opt/rustwide/target/debug/deps/proptest_overlay-cf20e37eeb4c0150) [INFO] [stdout] test save_load_roundtrip ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.74s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test test_empty_overlay_commit ... ok [INFO] [stdout] test test_overlay_with_mixed_element_tuples ... ok [INFO] [stdout] test retract_hides_base_tuple ... ok [INFO] [stdout] test assert_then_retract_is_noop ... ok [INFO] [stdout] test overlay_rollback_restores_base ... ok [INFO] [stdout] test overlay_commit_preserves_relations ... ok [INFO] [stdout] test overlay_element_lookups_match_committed ... ok [INFO] [stdout] test overlay_commit_preserves_elements ... ok [INFO] [stdout] test double_commit_is_idempotent ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.67s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_patch.rs (/opt/rustwide/target/debug/deps/proptest_patch-6443fc64d025c9f8) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test deletions_tracked ... ok [INFO] [stdout] test additions_tracked ... ok [INFO] [stdout] test naming_patch_additions ... ok [INFO] [stdout] test double_inversion_target_preserved ... ok [INFO] [stdout] test element_patch_disjoint ... ok [INFO] [stdout] test inversion_swaps_elements ... ok [INFO] [stdout] test diff_same_is_empty ... ok [INFO] [stdout] test apply_patch_maintains_invariants ... ok [INFO] [stdout] test diff_apply_roundtrip ... ok [INFO] [stdout] test empty_patch_is_identity ... ok [INFO] [stdout] test initial_patch_builds_from_empty ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.33s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_query.rs (/opt/rustwide/target/debug/deps/proptest_query-c128deddb7c546c8) [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test chase_proptest::chase_step_no_panic_on_empty_axioms ... ok [INFO] [stdout] test chase_proptest::chase_reflexivity_creates_diagonal ... ok [INFO] [stdout] test distinct_idempotent ... ok [INFO] [stdout] test nested_equijoin ... ok [INFO] [stdout] test cross_join_cardinality ... ok [INFO] [stdout] test chase_proptest::chase_fixpoint_converges ... ok [INFO] [stdout] test negate_involution ... ok [INFO] [stdout] test equijoin_symmetric ... ok [INFO] [stdout] test chase_proptest::chase_step_adds_to_relation ... ok [INFO] [stdout] test union_commutative ... ok [INFO] [stdout] test chase_proptest::chase_existential_creates_witnesses ... ok [INFO] [stdout] test chase_proptest::chase_transitivity_computes_closure ... ok [INFO] [stdout] test optimized_matches_naive ... ok [INFO] [stdout] test chase_proptest::chase_equality_conclusion_reduces_carrier ... ok [INFO] [stdout] test to_relalg_tests::compile_all_predicate_types_no_panic has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_binary_ops_no_panic has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_dbsp_ops_no_panic has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_nested_query_no_panic has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_produces_valid_instance has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_simple_query_no_panic has been running for over 60 seconds [INFO] [stdout] test to_relalg_tests::compile_all_predicate_types_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_simple_query_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_produces_valid_instance ... ok [INFO] [stdout] test to_relalg_tests::compile_binary_ops_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_dbsp_ops_no_panic ... ok [INFO] [stderr] Running tests/proptest_query_backend.rs (/opt/rustwide/target/debug/deps/proptest_query_backend-6675fe8dbd93b220) [INFO] [stdout] test to_relalg_tests::compile_nested_query_no_panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 205.79s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 30 tests [INFO] [stdout] test test_basic_operations_smoke ... ok [INFO] [stdout] test test_integrate_accumulates ... ok [INFO] [stdout] test test_negate_integrate_diff_cancellation ... ok [INFO] [stdout] test test_diff_stable_becomes_empty ... ok [INFO] [stdout] test test_optimize_filter_false_preserves_semantics ... ok [INFO] [stdout] test test_optimize_filter_true_preserves_semantics ... ok [INFO] [stdout] test test_optimize_double_negate_preserves_semantics ... ok [INFO] [stdout] test test_optimize_join_empty_preserves_semantics ... ok [INFO] [stdout] test test_delay_initial_empty_proptest ... ok [INFO] [stdout] test test_pattern_compile_scan ... ok [INFO] [stdout] test test_optimize_union_empty_preserves_semantics ... ok [INFO] [stdout] test test_pattern_compile_with_function_filter ... ok [INFO] [stdout] test test_empty_is_empty ... ok [INFO] [stdout] test test_delay_outputs_previous_proptest ... ok [INFO] [stdout] test test_integrate_diff_identity ... ok [INFO] [stdout] test test_constant_singleton ... ok [INFO] [stdout] test test_cross_join_cardinality ... ok [INFO] [stdout] test test_filter_false_is_empty ... ok [INFO] [stdout] test test_filter_true_is_identity ... ok [INFO] [stdout] test test_distinct_idempotent ... ok [INFO] [stdout] test test_cross_join_correct ... ok [INFO] [stdout] test test_filter_matches_reference ... ok [INFO] [stdout] test test_project_same_size ... ok [INFO] [stdout] test test_filter_col_eq_const ... ok [INFO] [stdout] test test_union_matches_reference ... ok [INFO] [stdout] test test_union_commutative ... ok [INFO] [stdout] test test_dbsp_filter_distribution ... ok [INFO] [stdout] test test_scan_correct ... ok [INFO] [stdout] test test_negate_involutive ... ok [INFO] [stderr] Running tests/proptest_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_roundtrip-960d31881c5bee99) [INFO] [stdout] test test_optimize_preserves_semantics ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test test_roundtrip_simple_theory ... ok [INFO] [stdout] test test_roundtrip_petri_net ... ok [INFO] [stdout] test test_roundtrip_theory_with_existential ... ok [INFO] [stdout] test test_roundtrip_theory_with_relation ... ok [INFO] [stdout] test roundtrip_generated_theory ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.38s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_solver.rs (/opt/rustwide/target/debug/deps/proptest_solver-26ffa7bf8b9dc857) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test trivial_theory_always_solved ... ok [INFO] [stdout] test budget_limits_respected ... ok [INFO] [stdout] test existential_creates_elements ... ok [INFO] [stdout] test solve_equals_enumerate_empty ... ok [INFO] [stdout] test inconsistent_theory_always_unsat ... ok [INFO] [stdout] test relation_horn_clause_propagation ... ok [INFO] [stdout] test function_fixed_point_theory ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.11s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_structure.rs (/opt/rustwide/target/debug/deps/proptest_structure-26d2a49dc1ddf736) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test empty_structure_invariants ... ok [INFO] [stdout] test function_init_correct_size ... ok [INFO] [stdout] test add_with_existing_luid_identity ... ok [INFO] [stdout] test add_element_bijection ... ok [INFO] [stdout] test sequential_slids ... ok [INFO] [stdout] test carrier_membership_exclusive ... ok [INFO] [stdout] test sort_local_id_consistency ... ok [INFO] [stdout] test get_luid_correctness ... ok [INFO] [stdout] test total_equals_carrier_sum ... ok [INFO] [stdout] test structure_invariants_after_adds ... ok [INFO] [stdout] test carrier_size_matches_count ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.79s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_tensor.rs (/opt/rustwide/target/debug/deps/proptest_tensor-39734ea00bc3f650) [INFO] [stdout] [INFO] [stdout] running 25 tests [INFO] [stdout] test conjunction_all_empty ... ok [INFO] [stdout] test disjunction_all_empty ... ok [INFO] [stdout] test exists_on_scalar ... ok [INFO] [stdout] test exists_nonexistent_var ... ok [INFO] [stdout] test disjunction_all_single ... ok [INFO] [stdout] test empty_sum_is_scalar_false ... ok [INFO] [stdout] test empty_product_is_scalar_true ... ok [INFO] [stdout] test exists_reduces_arity ... ok [INFO] [stdout] test conjunction_with_false ... ok [INFO] [stdout] test conjunction_with_true ... ok [INFO] [stdout] test fused_join_correctness ... ok [INFO] [stdout] test scalar_false_is_empty ... ok [INFO] [stdout] test insert_remove_roundtrip ... ok [INFO] [stdout] test empty_tensor_is_empty ... ok [INFO] [stdout] test conjunction_commutative ... ok [INFO] [stdout] test exists_idempotent ... ok [INFO] [stdout] test product_with_empty_is_empty ... ok [INFO] [stdout] test product_with_scalar_true ... ok [INFO] [stdout] test scalar_true_contains_empty ... ok [INFO] [stdout] test product_dims_concatenate ... ok [INFO] [stdout] test sum_is_union ... ok [INFO] [stdout] test sum_idempotent ... ok [INFO] [stdout] test sum_commutative ... ok [INFO] [stdout] test sum_with_empty_is_identity ... ok [INFO] [stdout] test generated_tensor_valid_tuples ... ok [INFO] [stderr] Running tests/proptest_universe.rs (/opt/rustwide/target/debug/deps/proptest_universe-a26b9447ca57506b) [INFO] [stdout] [INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.51s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test test_load_nonexistent ... ok [INFO] [stdout] test reverse_lookup_roundtrip ... ok [INFO] [stdout] test intern_lookup_roundtrip ... ok [INFO] [stdout] test intern_idempotent ... ok [INFO] [stdout] test luids_sequential ... ok [INFO] [stdout] test iter_yields_all ... ok [INFO] [stdout] test bijection_after_bulk_intern ... ok [INFO] [stdout] test dirty_flag_consistency ... ok [INFO] [stdout] test save_load_roundtrip ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.12s [INFO] [stdout] [INFO] [stderr] Running tests/unit_chase.rs (/opt/rustwide/target/debug/deps/unit_chase-2a199c12625d11ba) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test test_chase_fixpoint_empty_structure ... ok [INFO] [stdout] test test_chase_adds_relation_from_true_premise ... ok [INFO] [stdout] test test_chase_preorder_reflexivity ... ok [INFO] [stdout] test test_chase_conjunction_in_conclusion ... ok [INFO] [stdout] test test_chase_relation_premise ... ok [INFO] [stdout] test test_chase_transitive_closure ... ok [INFO] [stdout] test test_chase_existential_premise ... 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] [stderr] Running tests/unit_elaborate.rs (/opt/rustwide/target/debug/deps/unit_elaborate-28229431eb08a990) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test test_elaborate_simple_theory ... ok [INFO] [stdout] test test_extends_with_naming_convention_slashes ... ok [INFO] [stdout] test test_elaborate_theory_with_axiom ... ok [INFO] [stdout] test test_nested_parameterized_theories ... ok [INFO] [stdout] test test_codomain_type_error ... ok [INFO] [stdout] test test_partial_function_error ... ok [INFO] [stdout] test test_instance_of_extended_theory ... ok [INFO] [stdout] test test_elaborate_instance ... ok [INFO] [stdout] test test_axiom_equality_type_error ... ok [INFO] [stdout] test test_domain_type_error ... ok [INFO] [stdout] test test_axiom_function_type_error ... ok [INFO] [stdout] test test_elaborate_transitive_extends ... ok [INFO] [stdout] test test_elaborate_parameterized_theory ... ok [INFO] [stdout] test test_elaborate_theory_extends ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running tests/unit_meta.rs (/opt/rustwide/target/debug/deps/unit_meta-208dd30be86f8f68) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test test_geolog_meta_parses ... ok [INFO] [stdout] test test_theory_to_structure ... ok [INFO] [stdout] test test_theory_roundtrip ... ok [INFO] [stdout] test test_theory_roundtrip_with_axioms ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s [INFO] [stdout] [INFO] [stderr] Running tests/unit_parsing.rs (/opt/rustwide/target/debug/deps/unit_parsing-bfd47be53f4b9b7b) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test test_lex_arrow_and_turnstile ... ok [INFO] [stdout] test test_lex_path ... ok [INFO] [stdout] test test_lex_simple ... ok [INFO] [stdout] test test_parse_simple_theory ... ok [INFO] [stdout] test test_parse_function_decl ... ok [INFO] [stdout] test test_parse_parameterized_theory ... ok [INFO] [stdout] test test_parse_nested_instance ... ok [INFO] [stdout] test test_parse_instance ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/unit_pretty.rs (/opt/rustwide/target/debug/deps/unit_pretty-d18b1ed7e57f6203) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test test_roundtrip_simple_theory ... ok [INFO] [stdout] test test_roundtrip_instance ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/unit_relations.rs (/opt/rustwide/target/debug/deps/unit_relations-86ad54232ecaf9bb) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test test_unary_relation ... ok [INFO] [stdout] test test_vec_relation_remove ... ok [INFO] [stdout] test test_structure_relations ... ok [INFO] [stdout] test test_ternary_relation ... ok [INFO] [stdout] test test_vec_relation_iter ... ok [INFO] [stdout] test test_vec_relation_basic ... ok [INFO] [stdout] test test_relation_serialization_roundtrip ... ok [INFO] [stdout] test test_relation_file_roundtrip ... 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] [stderr] Running tests/unit_version.rs (/opt/rustwide/target/debug/deps/unit_version-7735efdce8e68ed0) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test_new_versioned_state ... ok [INFO] [stderr] Running tests/unit_workspace.rs (/opt/rustwide/target/debug/deps/unit_workspace-ce2c5a4534508797) [INFO] [stdout] test test_commit_and_checkout ... ok [INFO] [stdout] test test_save_and_load_patches ... ok [INFO] [stdout] test test_checkout_checked_valid_structure ... ok [INFO] [stdout] test test_checkout_checked_invalid_structure ... ok [INFO] [stdout] test test_multiple_commits ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test test_instance_entry_element_management ... ok [INFO] [stdout] test test_structure_roundtrip ... ok [INFO] [stdout] test test_save_load_structure ... ok [INFO] [stderr] Doc-tests geolog [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] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test src/cc.rs - cc (line 15) ... ignored [INFO] [stdout] test src/overlay.rs - overlay (line 26) ... ignored [INFO] [stdout] test src/query/chase.rs - query::chase (line 34) ... ignored [INFO] [stdout] test src/query/compile.rs - query::compile::Query (line 36) ... ignored [INFO] [stdout] test src/query/compile.rs - query::compile::Query (line 44) ... ignored [INFO] [stdout] test src/query/exec.rs - query::exec::Store::query (line 128) ... ignored [INFO] [stdout] test src/query/from_relalg.rs - query::from_relalg (line 23) ... ignored [INFO] [stdout] test src/query/from_tensor_ir.rs - query::from_tensor_ir (line 28) ... ignored [INFO] [stdout] test src/query/pattern.rs - query::pattern::Pattern::new (line 61) ... ignored [INFO] [stdout] test src/query/store_queries.rs - query::store_queries (line 16) ... ignored [INFO] [stdout] test src/query/to_relalg.rs - query::to_relalg (line 59) ... ignored [INFO] [stdout] test src/solver/mod.rs - solver (line 66) ... ignored [INFO] [stdout] test src/store/batch.rs - store::batch::Store::build_element (line 158) ... ignored [INFO] [stdout] test src/store/batch.rs - store::batch::Store::create_elements (line 199) ... ignored [INFO] [stdout] test src/tensor/algebra.rs - tensor::algebra (line 15) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 15 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/query/backend.rs - query::backend::execute_stream (line 555) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] all doctests ran in 0.73s; merged doctests compilation took 0.72s [INFO] running `Command { std: "docker" "inspect" "5e5296dd94bc07838aed68a1e0e5503795280bc58a3df9d51a6691346a1985b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5e5296dd94bc07838aed68a1e0e5503795280bc58a3df9d51a6691346a1985b3", kill_on_drop: false }` [INFO] [stdout] 5e5296dd94bc07838aed68a1e0e5503795280bc58a3df9d51a6691346a1985b3