[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 1.98.0-beta.1 for beta-1.98-1
[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 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "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" "+1.98.0-beta.1" "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/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e
[INFO] running `Command { std: "docker" "start" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling syn v1.0.109
[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 ahash v0.8.12
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling bytecheck v0.6.12
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling nix v0.29.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling cc v1.2.49
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling rend v0.4.2
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling simdutf8 v0.1.5
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling crossbeam-queue v0.3.12
[INFO] [stderr]    Compiling rkyv v0.7.45
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling endian-type v0.1.2
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling nibble_vec v0.1.0
[INFO] [stderr]    Compiling seahash v4.1.0
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]    Compiling radix_trie v0.2.1
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling crossbeam v0.8.4
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling roaring v0.10.12
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling indexmap v2.12.1
[INFO] [stderr]    Compiling nonminmax v0.1.1
[INFO] [stderr]    Compiling ariadne v0.4.1
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling stacker v0.1.22
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling memmap2 v0.9.9
[INFO] [stderr]    Compiling uuid v1.19.0
[INFO] [stderr]    Compiling hashbrown v0.12.3
[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 egglog-numeric-id v1.0.0
[INFO] [stderr]    Compiling egglog-concurrency v1.0.0
[INFO] [stderr]    Compiling egglog-union-find v1.0.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 ptr_meta v0.1.4
[INFO] [stderr]    Compiling ar_archive_writer v0.2.0
[INFO] [stderr]    Compiling psm v0.1.28
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[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 53.81s
[INFO] running `Command { std: "docker" "inspect" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", 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 num-traits v0.2.19
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling similar v2.7.0
[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 hashbrown v0.12.3
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling insta v1.44.3
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling bytecheck v0.6.12
[INFO] [stderr]    Compiling rend v0.4.2
[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 03s
[INFO] running `Command { std: "docker" "inspect" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.28s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/geolog-9e83214af535a30e)
[INFO] [stdout] 
[INFO] [stdout] running 180 tests
[INFO] [stdout] test core::tests::test_derived_sort_cardinality_product ... ok
[INFO] [stdout] test cc::tests::test_congruence_closure_pending ... ok
[INFO] [stdout] test core::tests::test_derived_sort_cardinality_unit ... ok
[INFO] [stdout] test core::tests::test_derived_sort_cardinality_empty_carrier ... ok
[INFO] [stdout] test core::tests::test_derived_sort_cardinality_base ... ok
[INFO] [stdout] test cc::tests::test_canonical ... ok
[INFO] [stdout] test cc::tests::test_congruence_closure_basic ... ok
[INFO] [stdout] test cc::tests::test_congruence_closure_stats ... ok
[INFO] [stdout] test query::backend::tests::test_display_cross_join ... ok
[INFO] [stdout] test query::backend::tests::test_display_nested_plan ... ok
[INFO] [stdout] test query::backend::tests::test_display_join ... ok
[INFO] [stdout] test query::backend::tests::test_display_predicate_compound ... ok
[INFO] [stdout] test query::backend::tests::test_display_dbsp_operators ... ok
[INFO] [stdout] test query::backend::tests::test_display_scan ... ok
[INFO] [stdout] test query::backend::tests::test_delay_outputs_previous ... ok
[INFO] [stdout] test query::backend::tests::test_delay_initial_empty ... ok
[INFO] [stdout] test query::backend::tests::test_hash_join_no_matches ... ok
[INFO] [stdout] test query::backend::tests::test_display_filter ... ok
[INFO] [stdout] test query::backend::tests::test_diff_computes_delta ... ok
[INFO] [stdout] test query::backend::tests::test_diff_integrate_identity ... 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_semi_naive_transitive_closure ... ok
[INFO] [stdout] test query::backend::tests::test_hash_join_asymmetric ... ok
[INFO] [stdout] test query::backend::tests::test_scan_relation ... ok
[INFO] [stdout] test query::backend::tests::test_optimized_matches_naive_cross_join ... ok
[INFO] [stdout] test query::backend::tests::test_optimized_nested_joins ... ok
[INFO] [stdout] test query::backend::tests::test_stream_context_reset ... ok
[INFO] [stdout] test query::compile::tests::test_compile_filter_project ... ok
[INFO] [stdout] test query::backend::tests::test_hash_join_with_duplicates ... ok
[INFO] [stdout] test query::backend::tests::test_hash_join_basic ... ok
[INFO] [stdout] test query::compile::tests::test_compile_simple_filter ... ok
[INFO] [stdout] test query::backend::tests::test_integrate_accumulates ... ok
[INFO] [stdout] test query::backend::tests::test_join ... ok
[INFO] [stdout] test query::compile::tests::test_filter_compiles ... ok
[INFO] [stdout] test query::compile::tests::test_join_compiles ... ok
[INFO] [stdout] test query::compile::tests::test_func_eq_func_join ... 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::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 query::optimize::tests::test_join_empty_elimination ... ok
[INFO] [stdout] test query::optimize::tests::test_distinct_idempotent ... ok
[INFO] [stdout] test query::optimize::tests::test_negate_involution ... ok
[INFO] [stdout] test query::optimize::tests::test_filter_true_elimination ... ok
[INFO] [stdout] test query::optimize::tests::test_union_empty_elimination ... ok
[INFO] [stdout] test overlay::tests::test_overlay_add_elements ... ok
[INFO] [stdout] test query::from_tensor_ir::tests::test_parsed_op_in_wires ... ok
[INFO] [stdout] test overlay::tests::test_overlay_relations ... ok
[INFO] [stdout] test overlay::tests::test_overlay_materialize ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_empty_instance ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_rels ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_sorts ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_empty_theory ... 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_func_vals ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_multiple_theories ... 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_instance_elems ... ok
[INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_funcs ... ok
[INFO] [stdout] test solver::tactics::tests::test_add_elements ... 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_auto_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_from_base_preserves_structure ... ok
[INFO] [stdout] test solver::tactics::tests::test_forward_chaining_tactic ... 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_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 solver::tactics::tests::test_propagate_equations_merges ... ok
[INFO] [stdout] test store::tests::test_create_store ... ok
[INFO] [stdout] test store::tests::test_create_instance ... ok
[INFO] [stdout] test store::tests::test_incremental_update_invalid_parent ... ok
[INFO] [stdout] test store::tests::test_create_theory ... 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_contract_linear ... ok
[INFO] [stdout] test tensor::algebra::tests::test_incremental_all_new ... 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 tensor::algebra::tests::test_incremental_hadamard ... ok
[INFO] [stdout] test tensor::algebra::tests::test_incremental_sum_linear ... ok
[INFO] [stdout] test tensor::builder::tests::test_conjunction ... ok
[INFO] [stdout] test tensor::algebra::tests::test_monotone_delta_border ... ok
[INFO] [stdout] test tensor::builder::tests::test_disjunction_all_empty ... ok
[INFO] [stdout] test tensor::builder::tests::test_disjunction_all ... ok
[INFO] [stdout] test tensor::builder::tests::test_disjunction_reordered_vars ... 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_geometric_formula_pattern ... ok
[INFO] [stdout] test tensor::builder::tests::test_relational_join ... ok
[INFO] [stdout] test tensor::check::tests::test_check_sequent_edge_implies_edge ... ok
[INFO] [stdout] test tensor::builder::tests::test_fused_join_uses_hash ... ok
[INFO] [stdout] test tensor::check::tests::test_check_sequent_transitivity ... ok
[INFO] [stdout] test tensor::check::tests::test_check_sequent_vacuously_true ... ok
[INFO] [stdout] test tensor::check::tests::test_check_sequent_with_closure ... ok
[INFO] [stdout] test tensor::check::tests::test_check_theory_axioms ... ok
[INFO] [stdout] test tensor::check::tests::test_check_sequent_reflexivity ... ok
[INFO] [stdout] test tensor::check::tests::test_incremental_check_new_element_satisfies ... 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_conjunction ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_disjunction_different_vars ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_exists ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_equality ... 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_func_app_equality ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_reflexive_identity ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_exists_empty_domain ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_relation ... ok
[INFO] [stdout] test tensor::compile::tests::test_compile_formula_true ... 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::compile::tests::test_compile_formula_relation_with_func_apps ... 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_dimension_delta_from_cardinalities ... 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::delta::tests::test_relation_column_sorts_multi_sort ... ok
[INFO] [stdout] test tensor::expr::tests::test_sum_empty ... ok
[INFO] [stdout] test tensor::expr::tests::test_sum_basic ... ok
[INFO] [stdout] test tensor::pattern::tests::test_btreeset_pattern_scalar ... ok
[INFO] [stdout] test tensor::pattern::tests::test_btreeset_pattern_basic ... ok
[INFO] [stdout] test tensor::pattern::tests::test_compute_border ... ok
[INFO] [stdout] test tensor::semiring::tests::test_bool_delta ... ok
[INFO] [stdout] test tensor::pattern::tests::test_pattern_set_operations ... ok
[INFO] [stdout] test tensor::semiring::tests::test_bool_semiring ... 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_u64_semiring ... ok
[INFO] [stdout] test zerocopy::tests::benchmark_zerocopy_vs_deserialize ... ignored
[INFO] [stdout] test tensor::sparse::tests::test_sparse_tensor_basic ... ok
[INFO] [stdout] test zerocopy::tests::test_zero_copy_elements ... ok
[INFO] [stdout] test zerocopy::tests::test_mapped_structure_basic ... ok
[INFO] [stdout] test query::to_relalg::tests::test_compile_filter_scan ... ok
[INFO] [stdout] test query::to_tensor_ir::tests::test_compile_union ... ok
[INFO] [stdout] test query::from_tensor_ir::tests::test_execute_scan_carrier ... ok
[INFO] [stdout] test query::from_tensor_ir::tests::test_execute_union ... ok
[INFO] [stdout] test query::to_relalg::tests::test_compile_dbsp_operators ... ok
[INFO] [stdout] test query::from_tensor_ir::tests::test_execute_empty ... ok
[INFO] [stdout] test query::to_tensor_ir::tests::test_compile_dbsp_operators ... ok
[INFO] [stdout] test query::to_relalg::tests::test_compile_join ... ok
[INFO] [stdout] test query::to_tensor_ir::tests::test_compile_distinct_scan ... ok
[INFO] [stdout] test query::to_tensor_ir::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_scan ... ok
[INFO] [stdout] test query::to_relalg::tests::test_compile_predicate ... ok
[INFO] [stdout] test query::to_relalg::tests::test_compile_project ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 179 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 2.08s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/geolog.rs (/opt/rustwide/target/debug/deps/geolog-8021da54354c3334)
[INFO] [stderr]      Running tests/examples_integration.rs (/opt/rustwide/target/debug/deps/examples_integration-833c24c46bbc3f3c)
[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 35 tests
[INFO] [stdout] test test_petri_net_producer_consumer ... ok
[INFO] [stdout] test test_persistence_with_chase ... ok
[INFO] [stdout] test test_persistence_survives_restart ... ok
[INFO] [stdout] test test_monoid_trivial_structure ... ok
[INFO] [stdout] test test_monoid_bool_or_structure ... ok
[INFO] [stdout] test test_graph_diamond_structure ... ok
[INFO] [stdout] test test_monoid_example_parses ... ok
[INFO] [stdout] test test_graph_example_parses ... ok
[INFO] [stdout] test test_graph_triangle_structure ... ok
[INFO] [stdout] test test_monoid_bool_and_structure ... ok
[INFO] [stdout] test test_petri_net_mutual_exclusion ... ok
[INFO] [stdout] test test_preorder_example_parses ... ok
[INFO] [stdout] test test_petri_net_example_parses ... ok
[INFO] [stdout] test test_petri_net_showcase_problem0_structure ... ok
[INFO] [stdout] test test_geolog_meta_loads ... ok
[INFO] [stdout] test test_petri_net_showcase_loads ... ok
[INFO] [stdout] test test_petri_net_showcase_example_net_structure ... ok
[INFO] [stdout] test test_transitive_closure_chain_structure ... ok
[INFO] [stdout] test test_petri_net_showcase_solution0_structure ... ok
[INFO] [stdout] test test_transitive_closure_chase ... ok
[INFO] [stdout] test test_petri_net_showcase_solution2_structure ... ok
[INFO] [stdout] test test_transitive_closure_example_parses ... ok
[INFO] [stdout] test test_solution2_incomplete_fails_axiom_check ... ok
[INFO] [stdout] test test_relalg_roundtrip_join ... ok
[INFO] [stdout] test test_relalg_ir_loads ... ok
[INFO] [stdout] test test_relalg_roundtrip_dbsp_delay ... ok
[INFO] [stdout] test test_relalg_roundtrip_distinct_negate ... ok
[INFO] [stdout] test test_relalg_compile_execute_roundtrip ... ok
[INFO] [stdout] test test_relalg_roundtrip_dbsp_diff ... ok
[INFO] [stdout] test test_relalg_roundtrip_dbsp_integrate ... ok
[INFO] [stdout] test test_relalg_roundtrip_dbsp_combined ... ok
[INFO] [stdout] test test_relalg_roundtrip_union ... ok
[INFO] [stdout] test test_relalg_roundtrip_filter ... ok
[INFO] [stdout] test test_all_examples_parse ... ok
[INFO] [stdout] test test_relalg_simple_examples ... ok
[INFO] [stderr]      Running tests/generators.rs (/opt/rustwide/target/debug/deps/generators-7688d53a4acdd49f)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.97s
[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] [stderr]      Running tests/manual_fuzz.rs (/opt/rustwide/target/debug/deps/manual_fuzz-ec1b9f290b0a2db4)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[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] [stderr]      Running tests/proptest_naming.rs (/opt/rustwide/target/debug/deps/proptest_naming-0538fc600596da5b)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test display_name_fallback ... ok
[INFO] [stdout] test simple_name_is_last_component ... ok
[INFO] [stdout] test lookup_contains_uuid ... ok
[INFO] [stdout] test ambiguous_names_return_none ... ok
[INFO] [stdout] test insert_get_roundtrip ... ok
[INFO] [stdout] test lookup_unique_semantics ... ok
[INFO] [stdout] test len_reflects_entries ... 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.73s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_overlay.rs (/opt/rustwide/target/debug/deps/proptest_overlay-f8e3acccf2902001)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_overlay_with_mixed_element_tuples ... ok
[INFO] [stdout] test test_empty_overlay_commit ... 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_commit_preserves_elements ... ok
[INFO] [stdout] test overlay_element_lookups_match_committed ... ok
[INFO] [stdout] test double_commit_is_idempotent ... ok
[INFO] [stderr]      Running tests/proptest_patch.rs (/opt/rustwide/target/debug/deps/proptest_patch-ee1a134e98841c23)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.81s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test double_inversion_target_preserved ... ok
[INFO] [stdout] test deletions_tracked ... ok
[INFO] [stdout] test additions_tracked ... ok
[INFO] [stdout] test element_patch_disjoint ... ok
[INFO] [stdout] test diff_same_is_empty ... ok
[INFO] [stdout] test inversion_swaps_elements ... ok
[INFO] [stdout] test naming_patch_additions ... ok
[INFO] [stdout] test apply_patch_maintains_invariants ... ok
[INFO] [stdout] test empty_patch_is_identity ... ok
[INFO] [stdout] test diff_apply_roundtrip ... 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.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_query.rs (/opt/rustwide/target/debug/deps/proptest_query-1b1584796af3853c)
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test chase_proptest::chase_step_no_panic_on_empty_axioms ... ok
[INFO] [stdout] test cross_join_cardinality ... ok
[INFO] [stdout] test chase_proptest::chase_step_adds_to_relation ... ok
[INFO] [stdout] test nested_equijoin ... ok
[INFO] [stdout] test distinct_idempotent ... ok
[INFO] [stdout] test negate_involution ... ok
[INFO] [stdout] test equijoin_symmetric ... ok
[INFO] [stdout] test chase_proptest::chase_fixpoint_converges ... ok
[INFO] [stdout] test chase_proptest::chase_existential_creates_witnesses ... ok
[INFO] [stdout] test chase_proptest::chase_reflexivity_creates_diagonal ... ok
[INFO] [stdout] test chase_proptest::chase_transitivity_computes_closure ... ok
[INFO] [stdout] test union_commutative ... ok
[INFO] [stdout] test chase_proptest::chase_equality_conclusion_reduces_carrier ... ok
[INFO] [stdout] test optimized_matches_naive ... 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_produces_valid_instance ... ok
[INFO] [stdout] test to_relalg_tests::compile_dbsp_ops_no_panic ... ok
[INFO] [stdout] test to_relalg_tests::compile_binary_ops_no_panic ... ok
[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_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 210.68s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_query_backend.rs (/opt/rustwide/target/debug/deps/proptest_query_backend-a489f03357b86e9e)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test test_basic_operations_smoke ... ok
[INFO] [stdout] test test_diff_stable_becomes_empty ... ok
[INFO] [stdout] test test_delay_outputs_previous_proptest ... ok
[INFO] [stdout] test test_optimize_double_negate_preserves_semantics ... ok
[INFO] [stdout] test test_optimize_filter_false_preserves_semantics ... ok
[INFO] [stdout] test test_delay_initial_empty_proptest ... ok
[INFO] [stdout] test test_optimize_join_empty_preserves_semantics ... ok
[INFO] [stdout] test test_optimize_filter_true_preserves_semantics ... ok
[INFO] [stdout] test test_optimize_union_empty_preserves_semantics ... ok
[INFO] [stdout] test test_pattern_compile_scan ... ok
[INFO] [stdout] test test_pattern_compile_with_function_filter ... ok
[INFO] [stdout] test test_integrate_accumulates ... ok
[INFO] [stdout] test test_filter_matches_reference ... ok
[INFO] [stdout] test test_dbsp_filter_distribution ... ok
[INFO] [stdout] test test_integrate_diff_identity ... ok
[INFO] [stdout] test test_filter_false_is_empty ... ok
[INFO] [stdout] test test_cross_join_cardinality ... ok
[INFO] [stdout] test test_filter_true_is_identity ... ok
[INFO] [stdout] test test_empty_is_empty ... ok
[INFO] [stdout] test test_constant_singleton ... ok
[INFO] [stdout] test test_distinct_idempotent ... ok
[INFO] [stdout] test test_negate_integrate_diff_cancellation ... ok
[INFO] [stdout] test test_filter_col_eq_const ... ok
[INFO] [stdout] test test_cross_join_correct ... ok
[INFO] [stdout] test test_project_same_size ... ok
[INFO] [stdout] test test_union_commutative ... ok
[INFO] [stdout] test test_union_matches_reference ... ok
[INFO] [stdout] test test_scan_correct ... ok
[INFO] [stdout] test test_negate_involutive ... ok
[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.23s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_roundtrip-a7fb99f5beff1d41)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_roundtrip_simple_theory ... ok
[INFO] [stdout] test test_roundtrip_theory_with_existential ... ok
[INFO] [stdout] test test_roundtrip_theory_with_relation ... ok
[INFO] [stdout] test test_roundtrip_petri_net ... ok
[INFO] [stderr]      Running tests/proptest_solver.rs (/opt/rustwide/target/debug/deps/proptest_solver-f88f0a6987ccc354)
[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.31s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test budget_limits_respected ... ok
[INFO] [stdout] test existential_creates_elements ... ok
[INFO] [stdout] test trivial_theory_always_solved ... ok
[INFO] [stdout] test inconsistent_theory_always_unsat ... ok
[INFO] [stdout] test solve_equals_enumerate_empty ... 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-6c6c9438571e5f40)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test function_init_correct_size ... ok
[INFO] [stdout] test add_with_existing_luid_identity ... ok
[INFO] [stdout] test empty_structure_invariants ... ok
[INFO] [stdout] test add_element_bijection ... ok
[INFO] [stdout] test sequential_slids ... ok
[INFO] [stdout] test carrier_membership_exclusive ... ok
[INFO] [stdout] test total_equals_carrier_sum ... ok
[INFO] [stdout] test sort_local_id_consistency ... ok
[INFO] [stdout] test get_luid_correctness ... ok
[INFO] [stdout] test carrier_size_matches_count ... ok
[INFO] [stdout] test structure_invariants_after_adds ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.14s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_tensor.rs (/opt/rustwide/target/debug/deps/proptest_tensor-482bd0eab5356389)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test empty_product_is_scalar_true ... ok
[INFO] [stdout] test disjunction_all_empty ... ok
[INFO] [stdout] test conjunction_with_false ... ok
[INFO] [stdout] test conjunction_all_empty ... ok
[INFO] [stdout] test conjunction_with_true ... ok
[INFO] [stdout] test exists_on_scalar ... ok
[INFO] [stdout] test exists_idempotent ... ok
[INFO] [stdout] test empty_sum_is_scalar_false ... ok
[INFO] [stdout] test disjunction_all_single ... ok
[INFO] [stdout] test fused_join_correctness ... ok
[INFO] [stdout] test conjunction_commutative ... ok
[INFO] [stdout] test product_dims_concatenate ... ok
[INFO] [stdout] test product_with_scalar_true ... ok
[INFO] [stdout] test exists_reduces_arity ... ok
[INFO] [stdout] test scalar_true_contains_empty ... ok
[INFO] [stdout] test exists_nonexistent_var ... ok
[INFO] [stdout] test sum_commutative ... ok
[INFO] [stdout] test scalar_false_is_empty ... ok
[INFO] [stdout] test empty_tensor_is_empty ... ok
[INFO] [stdout] test sum_idempotent ... ok
[INFO] [stdout] test sum_with_empty_is_identity ... ok
[INFO] [stdout] test product_with_empty_is_empty ... ok
[INFO] [stdout] test sum_is_union ... ok
[INFO] [stdout] test insert_remove_roundtrip ... ok
[INFO] [stdout] test generated_tensor_valid_tuples ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.50s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_universe.rs (/opt/rustwide/target/debug/deps/proptest_universe-a0986e8bd898f0b3)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_load_nonexistent ... ok
[INFO] [stdout] test intern_lookup_roundtrip ... ok
[INFO] [stdout] test intern_idempotent ... ok
[INFO] [stdout] test reverse_lookup_roundtrip ... 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.49s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unit_chase.rs (/opt/rustwide/target/debug/deps/unit_chase-9bf48c86143ecd4f)
[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_existential_premise ... ok
[INFO] [stdout] test test_chase_transitive_closure ... ok
[INFO] [stdout] test test_chase_relation_premise ... ok
[INFO] [stdout] test test_chase_conjunction_in_conclusion ... ok
[INFO] [stdout] test test_chase_preorder_reflexivity ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unit_elaborate.rs (/opt/rustwide/target/debug/deps/unit_elaborate-92eed3fb1d65a8a9)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_elaborate_transitive_extends ... ok
[INFO] [stdout] test test_extends_with_naming_convention_slashes ... ok
[INFO] [stdout] test test_axiom_equality_type_error ... ok
[INFO] [stdout] test test_elaborate_theory_extends ... ok
[INFO] [stdout] test test_elaborate_theory_with_axiom ... ok
[INFO] [stdout] test test_nested_parameterized_theories ... ok
[INFO] [stdout] test test_partial_function_error ... ok
[INFO] [stdout] test test_instance_of_extended_theory ... ok
[INFO] [stdout] test test_axiom_function_type_error ... ok
[INFO] [stdout] test test_domain_type_error ... ok
[INFO] [stdout] test test_elaborate_simple_theory ... ok
[INFO] [stdout] test test_elaborate_instance ... ok
[INFO] [stdout] test test_elaborate_parameterized_theory ... ok
[INFO] [stdout] test test_codomain_type_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unit_meta.rs (/opt/rustwide/target/debug/deps/unit_meta-53f359a73d184b0b)
[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.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unit_parsing.rs (/opt/rustwide/target/debug/deps/unit_parsing-656779de247f2a95)
[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_parse_simple_theory ... ok
[INFO] [stdout] test test_parse_instance ... ok
[INFO] [stdout] test test_parse_nested_instance ... ok
[INFO] [stdout] test test_parse_function_decl ... ok
[INFO] [stdout] test test_lex_simple ... ok
[INFO] [stdout] test test_parse_parameterized_theory ... 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-0ba65e2f482a932a)
[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-82bc4a8311086a4b)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test test_structure_relations ... ok
[INFO] [stdout] test test_ternary_relation ... ok
[INFO] [stdout] test test_vec_relation_remove ... ok
[INFO] [stdout] test test_vec_relation_basic ... ok
[INFO] [stdout] test test_vec_relation_iter ... ok
[INFO] [stdout] test test_unary_relation ... 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.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unit_version.rs (/opt/rustwide/target/debug/deps/unit_version-0b50b3377d1bd8cb)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_commit_and_checkout ... ok
[INFO] [stdout] test test_new_versioned_state ... ok
[INFO] [stdout] test test_checkout_checked_invalid_structure ... ok
[INFO] [stdout] test test_checkout_checked_valid_structure ... ok
[INFO] [stdout] test test_save_and_load_patches ... ok
[INFO] [stderr]      Running tests/unit_workspace.rs (/opt/rustwide/target/debug/deps/unit_workspace-0ec140bc9fbc40b8)
[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.02s
[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] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests geolog
[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.52s; merged doctests compilation took 0.51s
[INFO] running `Command { std: "docker" "inspect" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e", kill_on_drop: false }`
[INFO] [stdout] 6fbf27fa266d150c97d64899ec2544c1ef9e2eb113a5a2b32754c8d136fc860e
