[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 master#f9988fefd3add01f414f52b414308e7872622fee for pr-155114 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavidad%2Fgeolog-zeta" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/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-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/davidad/geolog-zeta on toolchain f9988fefd3add01f414f52b414308e7872622fee [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "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" "+f9988fefd3add01f414f52b414308e7872622fee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rustyline v15.0.0 [INFO] [stderr] Downloaded fd-lock v4.0.4 [INFO] [stderr] Downloaded egglog-concurrency v1.0.0 [INFO] [stderr] Downloaded ariadne v0.4.1 [INFO] [stderr] Downloaded egglog-union-find v1.0.0 [INFO] [stderr] Downloaded proptest v1.9.0 [INFO] [stderr] Downloaded insta v1.44.3 [INFO] [stderr] Downloaded nonminmax v0.1.1 [INFO] [stderr] Downloaded egglog-numeric-id v1.0.0 [INFO] [stderr] Downloaded roaring v0.10.12 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7d50dd72646589436654533906dd90742071622baedb0608fcc25893507ce4d3 [INFO] running `Command { std: "docker" "start" "-a" "7d50dd72646589436654533906dd90742071622baedb0608fcc25893507ce4d3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7d50dd72646589436654533906dd90742071622baedb0608fcc25893507ce4d3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7d50dd72646589436654533906dd90742071622baedb0608fcc25893507ce4d3", kill_on_drop: false }` [INFO] [stdout] 7d50dd72646589436654533906dd90742071622baedb0608fcc25893507ce4d3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 02686adc80a1fa47e9d94f7e69665be736eef633d222dd1b5a461ed0093298f8 [INFO] running `Command { std: "docker" "start" "-a" "02686adc80a1fa47e9d94f7e69665be736eef633d222dd1b5a461ed0093298f8", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling cfg_aliases v0.2.1 [INFO] [stderr] Compiling bytecheck v0.6.12 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling psm v0.1.28 [INFO] [stderr] Compiling rend v0.4.2 [INFO] [stderr] Compiling simdutf8 v0.1.5 [INFO] [stderr] Compiling nibble_vec v0.1.0 [INFO] [stderr] Compiling arc-swap v1.7.1 [INFO] [stderr] Compiling nix v0.29.0 [INFO] [stderr] Compiling rkyv v0.7.45 [INFO] [stderr] Compiling radix_trie v0.2.1 [INFO] [stderr] Compiling yansi v1.0.1 [INFO] [stderr] Compiling bytemuck v1.24.0 [INFO] [stderr] Compiling seahash v4.1.0 [INFO] [stderr] Compiling nonminmax v0.1.1 [INFO] [stderr] Compiling roaring v0.10.12 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling ariadne v0.4.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling crossbeam-channel v0.5.15 [INFO] [stderr] Compiling crossbeam-queue v0.3.12 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling crossbeam v0.8.4 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling fd-lock v4.0.4 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling stacker v0.1.22 [INFO] [stderr] Compiling memmap2 v0.9.9 [INFO] [stderr] Compiling chumsky v0.9.3 [INFO] [stderr] Compiling uuid v1.19.0 [INFO] [stderr] Compiling hashbrown v0.12.3 [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 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 serde v1.0.228 [INFO] [stderr] Compiling rustyline v15.0.0 [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 49.39s [INFO] running `Command { std: "docker" "inspect" "02686adc80a1fa47e9d94f7e69665be736eef633d222dd1b5a461ed0093298f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "02686adc80a1fa47e9d94f7e69665be736eef633d222dd1b5a461ed0093298f8", kill_on_drop: false }` [INFO] [stdout] 02686adc80a1fa47e9d94f7e69665be736eef633d222dd1b5a461ed0093298f8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4c64a579f73fd1974eaee6cb65f3adefa65927b6e4a87648b4df826dc726541b [INFO] running `Command { std: "docker" "start" "-a" "4c64a579f73fd1974eaee6cb65f3adefa65927b6e4a87648b4df826dc726541b", 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 num-traits v0.2.19 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling console v0.15.11 [INFO] [stderr] Compiling similar v2.7.0 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling regex-syntax v0.8.8 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling bit-set v0.8.0 [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 bytecheck v0.6.12 [INFO] [stderr] Compiling insta v1.44.3 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling chumsky v0.9.3 [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 51.13s [INFO] running `Command { std: "docker" "inspect" "4c64a579f73fd1974eaee6cb65f3adefa65927b6e4a87648b4df826dc726541b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c64a579f73fd1974eaee6cb65f3adefa65927b6e4a87648b4df826dc726541b", kill_on_drop: false }` [INFO] [stdout] 4c64a579f73fd1974eaee6cb65f3adefa65927b6e4a87648b4df826dc726541b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9bb06bad278a6a645399158d6f6d09f8f4dc2cf01fc84c4c450fe2986c97ecf7 [INFO] running `Command { std: "docker" "start" "-a" "9bb06bad278a6a645399158d6f6d09f8f4dc2cf01fc84c4c450fe2986c97ecf7", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/geolog-bb2cbc0638a7fad1) [INFO] [stdout] [INFO] [stdout] running 180 tests [INFO] [stdout] test cc::tests::test_congruence_closure_pending ... ok [INFO] [stdout] test cc::tests::test_canonical ... ok [INFO] [stdout] test cc::tests::test_congruence_closure_stats ... ok [INFO] [stdout] test cc::tests::test_congruence_closure_basic ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_product ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_base ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_empty_carrier ... ok [INFO] [stdout] test core::tests::test_derived_sort_cardinality_unit ... ok [INFO] [stdout] test query::backend::tests::test_display_predicate_compound ... ok [INFO] [stdout] test query::backend::tests::test_display_scan ... ok [INFO] [stdout] test query::backend::tests::test_display_dbsp_operators ... 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_filter ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_no_matches ... ok [INFO] [stdout] test query::backend::tests::test_delay_outputs_previous ... ok [INFO] [stdout] test query::backend::tests::test_scan_filter ... ok [INFO] [stdout] test query::backend::tests::test_diff_computes_delta ... ok [INFO] [stdout] test query::backend::tests::test_dbsp_with_filter ... ok [INFO] [stdout] test query::backend::tests::test_integrate_accumulates ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_asymmetric ... ok [INFO] [stdout] test query::backend::tests::test_delay_initial_empty ... ok [INFO] [stdout] test query::backend::tests::test_diff_integrate_identity ... 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::backend::tests::test_semi_naive_transitive_closure ... ok [INFO] [stdout] test query::backend::tests::test_hash_join_with_duplicates ... ok [INFO] [stdout] test query::backend::tests::test_optimized_matches_naive_cross_join ... ok [INFO] [stdout] test query::backend::tests::test_join ... ok [INFO] [stdout] test query::backend::tests::test_scan_relation ... ok [INFO] [stdout] test query::compile::tests::test_compile_filter_project ... ok [INFO] [stdout] test query::compile::tests::test_compile_simple_filter ... 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::backend::tests::test_stream_context_reset ... ok [INFO] [stdout] test query::compile::tests::test_filter_compiles ... 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_negate_involution ... ok [INFO] [stdout] test query::optimize::tests::test_union_empty_elimination ... 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_filter_true_elimination ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_parsed_op_in_wires ... ok [INFO] [stdout] test query::optimize::tests::test_distinct_idempotent ... ok [INFO] [stdout] test overlay::tests::test_overlay_add_elements ... 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_theory ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_empty_instance ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_multiple_theories ... ok [INFO] [stdout] test query::exec::tests::test_query_sorts_matches_bootstrap ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_func_vals ... ok [INFO] [stdout] test query::compile::tests::test_query_matches_bootstrap_queries ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_sorts ... ok [INFO] [stdout] test query::store_queries::tests::test_compiled_matches_bootstrap_funcs ... 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_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_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_auto_tactic ... 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::tactics::tests::test_forward_chaining_adds_equations ... ok [INFO] [stdout] test solver::unified_api_tests::test_query_extends_base ... 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 solver::unified_api_tests::test_solve_finds_model ... ok [INFO] [stdout] test store::tests::test_commit ... 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_commit_history ... 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_stable_no_delta ... 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::algebra::tests::test_incremental_product_differentiation ... 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_reordered_vars ... ok [INFO] [stdout] test tensor::builder::tests::test_exists ... ok [INFO] [stdout] test tensor::builder::tests::test_disjunction_same_vars ... ok [INFO] [stdout] test tensor::builder::tests::test_geometric_formula_pattern ... 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::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_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_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_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_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_relation ... ok [INFO] [stdout] test tensor::compile::tests::test_compile_formula_disjunction_different_vars ... 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::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::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::compile::tests::test_compile_formula_relation_with_func_apps ... 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_bool_delta ... 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_relalg::tests::test_compile_join ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_scan ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_project ... ok [INFO] [stdout] test query::to_tensor_ir::tests::test_compile_union ... 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_tensor_ir::tests::test_compile_distinct_scan ... 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::to_relalg::tests::test_compile_negate_and_empty ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_scan ... ok [INFO] [stdout] test query::from_tensor_ir::tests::test_execute_scan_carrier ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_predicate ... ok [INFO] [stdout] test query::to_relalg::tests::test_compile_filter_scan ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 179 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 1.91s [INFO] [stdout] [INFO] [stderr] Running unittests src/bin/geolog.rs (/opt/rustwide/target/debug/deps/geolog-6611bdcc9ba18947) [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-17bddd36589f48a2) [INFO] [stdout] [INFO] [stdout] running 35 tests [INFO] [stdout] test test_persistence_survives_restart ... ok [INFO] [stdout] test test_persistence_with_chase ... ok [INFO] [stdout] test test_graph_triangle_structure ... ok [INFO] [stdout] test test_monoid_bool_and_structure ... ok [INFO] [stdout] test test_graph_example_parses ... ok [INFO] [stdout] test test_graph_diamond_structure ... ok [INFO] [stdout] test test_preorder_example_parses ... ok [INFO] [stdout] test test_monoid_example_parses ... ok [INFO] [stdout] test test_monoid_trivial_structure ... ok [INFO] [stdout] test test_monoid_bool_or_structure ... ok [INFO] [stdout] test test_petri_net_mutual_exclusion ... ok [INFO] [stdout] test test_petri_net_example_parses ... ok [INFO] [stdout] test test_petri_net_producer_consumer ... ok [INFO] [stdout] test test_geolog_meta_loads ... 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_solution0_structure ... ok [INFO] [stdout] test test_petri_net_showcase_example_net_structure ... ok [INFO] [stdout] test test_relalg_compile_execute_roundtrip ... 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_example_parses ... ok [INFO] [stdout] test test_transitive_closure_chain_structure ... ok [INFO] [stdout] test test_solution2_incomplete_fails_axiom_check ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_combined ... ok [INFO] [stdout] test test_relalg_ir_loads ... ok [INFO] [stdout] test test_relalg_roundtrip_join ... ok [INFO] [stdout] test test_relalg_roundtrip_distinct_negate ... ok [INFO] [stdout] test test_relalg_roundtrip_dbsp_delay ... ok [INFO] [stdout] test test_relalg_roundtrip_filter ... 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_diff ... ok [INFO] [stdout] test test_relalg_simple_examples ... ok [INFO] [stdout] test test_all_examples_parse ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.46s [INFO] [stdout] [INFO] [stderr] Running tests/generators.rs (/opt/rustwide/target/debug/deps/generators-051d31dfcffc28d6) [INFO] [stdout] [INFO] [stderr] Running tests/manual_fuzz.rs (/opt/rustwide/target/debug/deps/manual_fuzz-4c8db31e04a7618c) [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] [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-64113bd5e2f0f0d3) [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 len_reflects_entries ... ok [INFO] [stdout] test lookup_unique_semantics ... 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.71s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_overlay.rs (/opt/rustwide/target/debug/deps/proptest_overlay-813b0a803acd291a) [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 overlay_rollback_restores_base ... ok [INFO] [stdout] test assert_then_retract_is_noop ... 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] [stderr] Running tests/proptest_patch.rs (/opt/rustwide/target/debug/deps/proptest_patch-efaa2d53df092408) [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.69s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test naming_patch_additions ... ok [INFO] [stdout] test double_inversion_target_preserved ... ok [INFO] [stdout] test diff_same_is_empty ... ok [INFO] [stdout] test deletions_tracked ... ok [INFO] [stdout] test additions_tracked ... ok [INFO] [stdout] test element_patch_disjoint ... ok [INFO] [stdout] test empty_patch_is_identity ... ok [INFO] [stdout] test inversion_swaps_elements ... ok [INFO] [stdout] test apply_patch_maintains_invariants ... 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-0bd1db28a7f299a5) [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test chase_proptest::chase_step_no_panic_on_empty_axioms ... ok [INFO] [stdout] test negate_involution ... ok [INFO] [stdout] test cross_join_cardinality ... ok [INFO] [stdout] test chase_proptest::chase_reflexivity_creates_diagonal ... ok [INFO] [stdout] test distinct_idempotent ... ok [INFO] [stdout] test chase_proptest::chase_existential_creates_witnesses ... ok [INFO] [stdout] test chase_proptest::chase_fixpoint_converges ... ok [INFO] [stdout] test chase_proptest::chase_step_adds_to_relation ... ok [INFO] [stdout] test nested_equijoin ... ok [INFO] [stdout] test chase_proptest::chase_transitivity_computes_closure ... ok [INFO] [stdout] test union_commutative ... ok [INFO] [stdout] test equijoin_symmetric ... 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_binary_ops_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_simple_query_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_all_predicate_types_no_panic ... ok [INFO] [stdout] test to_relalg_tests::compile_nested_query_no_panic ... ok [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] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 111.36s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_query_backend.rs (/opt/rustwide/target/debug/deps/proptest_query_backend-559250594aa95737) [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_delay_initial_empty_proptest ... 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_optimize_filter_true_preserves_semantics ... ok [INFO] [stdout] test test_negate_integrate_diff_cancellation ... ok [INFO] [stdout] test test_optimize_join_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_diff_stable_becomes_empty ... ok [INFO] [stdout] test test_dbsp_filter_distribution ... ok [INFO] [stdout] test test_optimize_union_empty_preserves_semantics ... ok [INFO] [stdout] test test_integrate_diff_identity ... ok [INFO] [stdout] test test_constant_singleton ... ok [INFO] [stdout] test test_empty_is_empty ... ok [INFO] [stdout] test test_filter_matches_reference ... ok [INFO] [stdout] test test_filter_col_eq_const ... ok [INFO] [stdout] test test_cross_join_cardinality ... ok [INFO] [stdout] test test_filter_false_is_empty ... ok [INFO] [stdout] test test_cross_join_correct ... ok [INFO] [stdout] test test_negate_involutive ... ok [INFO] [stdout] test test_distinct_idempotent ... ok [INFO] [stdout] test test_filter_true_is_identity ... ok [INFO] [stdout] test test_project_same_size ... ok [INFO] [stdout] test test_union_matches_reference ... ok [INFO] [stdout] test test_union_commutative ... ok [INFO] [stdout] test test_scan_correct ... 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.07s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_roundtrip.rs (/opt/rustwide/target/debug/deps/proptest_roundtrip-0c95b10b7366d743) [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_petri_net ... 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.18s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_solver.rs (/opt/rustwide/target/debug/deps/proptest_solver-9f65fc5baea298fd) [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test budget_limits_respected ... ok [INFO] [stdout] test trivial_theory_always_solved ... ok [INFO] [stdout] test solve_equals_enumerate_empty ... ok [INFO] [stdout] test inconsistent_theory_always_unsat ... ok [INFO] [stdout] test existential_creates_elements ... 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 4.97s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_structure.rs (/opt/rustwide/target/debug/deps/proptest_structure-eff19345c4723b7a) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test function_init_correct_size ... ok [INFO] [stdout] test empty_structure_invariants ... ok [INFO] [stdout] test add_element_bijection ... ok [INFO] [stdout] test add_with_existing_luid_identity ... 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 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 0.40s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_tensor.rs (/opt/rustwide/target/debug/deps/proptest_tensor-3df9ea8aa2296720) [INFO] [stdout] [INFO] [stdout] running 25 tests [INFO] [stdout] test disjunction_all_empty ... ok [INFO] [stdout] test conjunction_all_empty ... ok [INFO] [stdout] test exists_on_scalar ... ok [INFO] [stdout] test disjunction_all_single ... ok [INFO] [stdout] test exists_nonexistent_var ... ok [INFO] [stdout] test conjunction_with_false ... ok [INFO] [stdout] test empty_product_is_scalar_true ... ok [INFO] [stdout] test exists_reduces_arity ... ok [INFO] [stdout] test conjunction_with_true ... ok [INFO] [stdout] test exists_idempotent ... ok [INFO] [stdout] test empty_sum_is_scalar_false ... ok [INFO] [stdout] test fused_join_correctness ... ok [INFO] [stdout] test empty_tensor_is_empty ... ok [INFO] [stdout] test insert_remove_roundtrip ... ok [INFO] [stdout] test conjunction_commutative ... ok [INFO] [stdout] test scalar_false_is_empty ... ok [INFO] [stdout] test scalar_true_contains_empty ... ok [INFO] [stdout] test product_with_scalar_true ... ok [INFO] [stdout] test product_with_empty_is_empty ... ok [INFO] [stdout] test product_dims_concatenate ... ok [INFO] [stdout] test sum_idempotent ... ok [INFO] [stdout] test sum_with_empty_is_identity ... ok [INFO] [stdout] test sum_commutative ... ok [INFO] [stdout] test sum_is_union ... 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.11s [INFO] [stdout] [INFO] [stderr] Running tests/proptest_universe.rs (/opt/rustwide/target/debug/deps/proptest_universe-b79cf165e8bb1e4e) [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test test_load_nonexistent ... ok [INFO] [stdout] test intern_idempotent ... ok [INFO] [stdout] test reverse_lookup_roundtrip ... ok [INFO] [stdout] test intern_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 0.56s [INFO] [stdout] [INFO] [stderr] Running tests/unit_chase.rs (/opt/rustwide/target/debug/deps/unit_chase-40c526bbf28b1322) [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_relation_premise ... ok [INFO] [stdout] test test_chase_conjunction_in_conclusion ... ok [INFO] [stdout] test test_chase_preorder_reflexivity ... 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-d257e2ca5aba7754) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test test_elaborate_simple_theory ... ok [INFO] [stdout] test test_axiom_function_type_error ... ok [INFO] [stdout] test test_extends_with_naming_convention_slashes ... ok [INFO] [stdout] test test_elaborate_transitive_extends ... ok [INFO] [stdout] test test_axiom_equality_type_error ... ok [INFO] [stdout] test test_elaborate_parameterized_theory ... 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_domain_type_error ... 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] [INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Running tests/unit_meta.rs (/opt/rustwide/target/debug/deps/unit_meta-e5175030cd72b977) [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.05s [INFO] [stdout] [INFO] [stderr] Running tests/unit_parsing.rs (/opt/rustwide/target/debug/deps/unit_parsing-8305645083e5f647) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test test_lex_path ... ok [INFO] [stdout] test test_lex_arrow_and_turnstile ... ok [INFO] [stdout] test test_lex_simple ... ok [INFO] [stdout] test test_parse_simple_theory ... ok [INFO] [stdout] test test_parse_parameterized_theory ... ok [INFO] [stdout] test test_parse_function_decl ... ok [INFO] [stdout] test test_parse_instance ... ok [INFO] [stdout] test test_parse_nested_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-eb9414f3d7274fdb) [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.01s [INFO] [stdout] [INFO] [stderr] Running tests/unit_relations.rs (/opt/rustwide/target/debug/deps/unit_relations-516cf2ad794916ae) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test test_vec_relation_basic ... ok [INFO] [stdout] test test_unary_relation ... ok [INFO] [stdout] test test_vec_relation_iter ... ok [INFO] [stdout] test test_ternary_relation ... ok [INFO] [stdout] test test_vec_relation_remove ... ok [INFO] [stdout] test test_relation_serialization_roundtrip ... ok [INFO] [stdout] test test_structure_relations ... 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-2643dc0a7364dfdb) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test_new_versioned_state ... ok [INFO] [stdout] test test_commit_and_checkout ... ok [INFO] [stdout] test test_save_and_load_patches ... ok [INFO] [stdout] test test_checkout_checked_invalid_structure ... ok [INFO] [stdout] test test_checkout_checked_valid_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.02s [INFO] [stdout] [INFO] [stderr] Running tests/unit_workspace.rs (/opt/rustwide/target/debug/deps/unit_workspace-c62f64ffe60b3d56) [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.01s [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.19s; merged doctests compilation took 0.18s [INFO] running `Command { std: "docker" "inspect" "9bb06bad278a6a645399158d6f6d09f8f4dc2cf01fc84c4c450fe2986c97ecf7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9bb06bad278a6a645399158d6f6d09f8f4dc2cf01fc84c4c450fe2986c97ecf7", kill_on_drop: false }` [INFO] [stdout] 9bb06bad278a6a645399158d6f6d09f8f4dc2cf01fc84c4c450fe2986c97ecf7