[INFO] cloning repository https://github.com/AHartNtkn/rwLog-Rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AHartNtkn/rwLog-Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ad38d0d9fe324f835d390cda7c9ca14e7475e424
[INFO] testing AHartNtkn/rwLog-Rust against 1.93.0 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAHartNtkn%2FrwLog-Rust" "/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/AHartNtkn/rwLog-Rust
[INFO] finished tweaking git repo https://github.com/AHartNtkn/rwLog-Rust
[INFO] tweaked toml for git repo https://github.com/AHartNtkn/rwLog-Rust written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AHartNtkn/rwLog-Rust on toolchain 1.93.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.93.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AHartNtkn/rwLog-Rust 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.93.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded dircpy v0.3.19
[INFO] [stderr]   Downloaded zmq-sys v0.12.0
[INFO] [stderr]   Downloaded zmq v0.10.0
[INFO] [stderr]   Downloaded version-compare v0.2.1
[INFO] [stderr]   Downloaded crossbeam v0.8.4
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded test-log v0.2.19
[INFO] [stderr]   Downloaded clap_lex v0.7.7
[INFO] [stderr]   Downloaded tracing-serde v0.2.0
[INFO] [stderr]   Downloaded find-msvc-tools v0.1.7
[INFO] [stderr]   Downloaded zmij v1.0.14
[INFO] [stderr]   Downloaded test-log-macros v0.2.19
[INFO] [stderr]   Downloaded tracing-flame v0.2.0
[INFO] [stderr]   Downloaded jwalk v0.8.1
[INFO] [stderr]   Downloaded cc v1.2.52
[INFO] [stderr]   Downloaded lasso v0.7.3
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded zeromq-src v0.2.6+4.3.4
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3971ebf7b2eea90e2ecf8477ce87f566c42026231f106c8739139b4f1a1b5e92
[INFO] running `Command { std: "docker" "start" "-a" "3971ebf7b2eea90e2ecf8477ce87f566c42026231f106c8739139b4f1a1b5e92", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3971ebf7b2eea90e2ecf8477ce87f566c42026231f106c8739139b4f1a1b5e92", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3971ebf7b2eea90e2ecf8477ce87f566c42026231f106c8739139b4f1a1b5e92", kill_on_drop: false }`
[INFO] [stdout] 3971ebf7b2eea90e2ecf8477ce87f566c42026231f106c8739139b4f1a1b5e92
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ae94df31e671524cc07d70b8deec9924ee8cd382eef02ee815164ee8fad980c2
[INFO] running `Command { std: "docker" "start" "-a" "ae94df31e671524cc07d70b8deec9924ee8cd382eef02ee815164ee8fad980c2", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling zmij v1.0.14
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_xoshiro v0.6.0
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling sized-chunks v0.6.5
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling bumpalo v3.19.1
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rwlog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.81s
[INFO] running `Command { std: "docker" "inspect" "ae94df31e671524cc07d70b8deec9924ee8cd382eef02ee815164ee8fad980c2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae94df31e671524cc07d70b8deec9924ee8cd382eef02ee815164ee8fad980c2", kill_on_drop: false }`
[INFO] [stdout] ae94df31e671524cc07d70b8deec9924ee8cd382eef02ee815164ee8fad980c2
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8b19c3bad425159653440c8d0941e3fbd543b225a459e4644dfc9e0e0ffa518c
[INFO] running `Command { std: "docker" "start" "-a" "8b19c3bad425159653440c8d0941e3fbd543b225a459e4644dfc9e0e0ffa518c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_lex v0.7.7
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling env_filter v0.1.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling clap v4.5.54
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling test-log-macros v0.2.19
[INFO] [stderr]    Compiling test-log v0.2.19
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling lasso v0.7.3
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling rwlog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 28s
[INFO] running `Command { std: "docker" "inspect" "8b19c3bad425159653440c8d0941e3fbd543b225a459e4644dfc9e0e0ffa518c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b19c3bad425159653440c8d0941e3fbd543b225a459e4644dfc9e0e0ffa518c", kill_on_drop: false }`
[INFO] [stdout] 8b19c3bad425159653440c8d0941e3fbd543b225a459e4644dfc9e0e0ffa518c
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b4631a468844eda1753c52b1a3f4bb88c396746288078f48ca7cdd8f6f06a53a
[INFO] running `Command { std: "docker" "start" "-a" "b4631a468844eda1753c52b1a3f4bb88c396746288078f48ca7cdd8f6f06a53a", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.23s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rwlog-1df02055005a2023)
[INFO] [stdout] 
[INFO] [stdout] running 741 tests
[INFO] [stdout] test chr::tests::empty_constraint_combines_with_non_empty_other_program ... ok
[INFO] [stdout] test chr::tests::freeze_thaw_remaps_tokens_and_cids ... ok
[INFO] [stdout] test chr::tests::committed_choice_respects_priority ... ok
[INFO] [stdout] test chr::tests::duplicate_constraints_get_distinct_cids ... ok
[INFO] [stdout] test chr::tests::guard_unbound_rvar_fails ... ok
[INFO] [stdout] test chr::tests::propagation_rule_fires_once_via_token_store ... ok
[INFO] [stdout] test chr::tests::guard_blocks_rule_on_neq ... ok
[INFO] [stdout] test chr::tests::join_rejects_duplicate_cid ... ok
[INFO] [stdout] test chr::tests::simpagation_keeps_kept_head ... ok
[INFO] [stdout] test chr::tests::simplification_removes_head ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_add_diseq ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_add_type ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_combine ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_is_satisfiable ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_new ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_hash ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_combine_type_conflict ... ok
[INFO] [stdout] test constraint::tests::combined_constraint_normalize ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_add ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_combine ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_combine_with_overlap ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_hash ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_is_empty ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_iter ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_new ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_satisfiable ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_normalize ... ok
[INFO] [stdout] test constraint::tests::diseq_constraint_no_duplicates ... ok
[INFO] [stdout] test constraint::tests::disequality_new ... ok
[INFO] [stdout] test constraint::tests::type_constraint_new ... ok
[INFO] [stdout] test constraint::tests::type_constraints_add ... ok
[INFO] [stdout] test constraint::tests::generic_unit_constraint ... ok
[INFO] [stdout] test constraint::tests::type_constraints_combine_conflict ... ok
[INFO] [stdout] test constraint::tests::type_constraints_combine_same_type ... ok
[INFO] [stdout] test constraint::tests::type_constraints_combine_success ... ok
[INFO] [stdout] test constraint::tests::generic_diseq_constraint_empty ... ok
[INFO] [stdout] test constraint::tests::generic_diseq_constraint_non_empty ... ok
[INFO] [stdout] test constraint::tests::type_constraints_get_type ... ok
[INFO] [stdout] test constraint::tests::type_constraints_is_empty ... ok
[INFO] [stdout] test constraint::tests::type_constraints_hash ... ok
[INFO] [stdout] test constraint::tests::type_constraints_new ... ok
[INFO] [stdout] test constraint::tests::type_constraints_no_duplicates ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_combine ... ok
[INFO] [stdout] test constraint::tests::type_constraints_normalize ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_is_satisfiable ... ok
[INFO] [stdout] test constraint::tests::type_constraints_satisfiable ... ok
[INFO] [stdout] test drop_fresh::tests::backward_lookup_identity ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_is_empty ... ok
[INFO] [stdout] test constraint::tests::unit_constraint_normalize ... ok
[INFO] [stdout] test drop_fresh::tests::compose_chain_of_projections ... ok
[INFO] [stdout] test drop_fresh::tests::compose_disconnect_with_anything ... ok
[INFO] [stdout] test drop_fresh::tests::compose_identity_identity ... ok
[INFO] [stdout] test drop_fresh::tests::backward_lookup_partial ... ok
[INFO] [stdout] test drop_fresh::tests::compose_drops_unmapped ... ok
[INFO] [stdout] test drop_fresh::tests::backward_out_of_range ... ok
[INFO] [stdout] test drop_fresh::tests::compose_rejects_arity_mismatch ... ok
[INFO] [stdout] test drop_fresh::tests::disconnect_is_not_identity ... ok
[INFO] [stdout] test drop_fresh::tests::drop_fresh_with_constraint ... ok
[INFO] [stdout] test drop_fresh::tests::forward_lookup_identity ... ok
[INFO] [stdout] test drop_fresh::tests::empty_drop_fresh_is_valid ... ok
[INFO] [stdout] test drop_fresh::tests::forward_out_of_range ... ok
[INFO] [stdout] test drop_fresh::tests::compose_identity_with_other ... ok
[INFO] [stdout] test drop_fresh::tests::disconnect_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_0 ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_1 ... ok
[INFO] [stdout] test drop_fresh::tests::identity_drop_fresh_arity_3 ... ok
[INFO] [stdout] test drop_fresh::tests::identity_is_identity ... ok
[INFO] [stdout] test drop_fresh::tests::large_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_duplicate_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_duplicate_output ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_non_monotone_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_non_monotone_output ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_out_of_bounds_input ... ok
[INFO] [stdout] test drop_fresh::tests::new_rejects_out_of_bounds_output ... ok
[INFO] [stdout] test drop_fresh::tests::shared_count_for_partial ... ok
[INFO] [stdout] test drop_fresh::tests::compose_anything_with_disconnect ... ok
[INFO] [stdout] test drop_fresh::tests::forward_lookup_partial ... ok
[INFO] [stdout] test drop_fresh::tests::new_valid_drop_fresh ... ok
[INFO] [stdout] test drop_fresh::tests::shared_count_for_identity ... ok
[INFO] [stdout] test engine::tests::add_with_output_constraint_terminates ... ok
[INFO] [stdout] test chr::tests::empty_constraints_combine_across_programs ... ok
[INFO] [stdout] test engine::tests::and_with_shadowed_fix_does_not_reuse_table ... ok
[INFO] [stdout] test engine::tests::both_boundaries_propagate ... ok
[INFO] [stdout] test engine::tests::atom_failure_before_call_no_recursion ... ok
[INFO] [stdout] test engine::tests::call_first_in_seq ... ok
[INFO] [stdout] test engine::tests::call_inside_or_tries_base_first ... ok
[INFO] [stdout] test engine::tests::call_outer_fix_from_nested ... ok
[INFO] [stdout] test engine::tests::call_relid_zero_with_binding_works ... ok
[INFO] [stdout] test engine::tests::call_undefined_relid_fails ... ok
[INFO] [stdout] test engine::tests::call_last_in_seq ... ok
[INFO] [stdout] test engine::tests::dual_call_preserves_relid ... ok
[INFO] [stdout] test engine::tests::dual_fix_preserves_structure ... ok
[INFO] [stdout] test engine::tests::engine_after_atom_exhausted ... ok
[INFO] [stdout] test engine::tests::dual_enumeration_preserves_order ... ok
[INFO] [stdout] test engine::tests::engine_atom_yields_once ... ok
[INFO] [stdout] test engine::tests::engine_call_ignores_non_adjacent_right_boundary ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_empty_for_zero ... ok
[INFO] [stdout] test constraint::tests::constraint_ops_default ... ok
[INFO] [stdout] test drop_fresh::tests::compose_other_with_identity ... ok
[INFO] [stdout] test engine::tests::engine_atom_then_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_exhausts_engine ... ok
[INFO] [stdout] test engine::tests::engine_collect_answers_works ... ok
[INFO] [stdout] test engine::tests::and_associativity_with_disjoint_branch_is_empty ... ok
[INFO] [stdout] test engine::tests::and_associativity_simple_equivalence ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_exhausts_engine ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_works ... ok
[INFO] [stdout] test engine::tests::engine_iter_empty_for_zero ... ok
[INFO] [stdout] test engine::tests::engine_count_answers_zero_for_empty ... ok
[INFO] [stdout] test engine::tests::engine_exhausted_stays_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_empty_seq_yields_identity ... ok
[INFO] [stdout] test engine::tests::engine_iter_single_for_atom ... ok
[INFO] [stdout] test engine::tests::engine_deeply_nested_or_terminates ... ok
[INFO] [stdout] test engine::tests::engine_iter_yields_all_answers ... ok
[INFO] [stdout] test engine::tests::engine_new_from_atom ... ok
[INFO] [stdout] test engine::tests::engine_nested_or_yields_all ... ok
[INFO] [stdout] test engine::tests::engine_new_from_or ... ok
[INFO] [stdout] test engine::tests::engine_iter_can_be_partially_consumed ... ok
[INFO] [stdout] test engine::tests::addition_forward_example_3_plus_2_is_5 ... ok
[INFO] [stdout] test engine::tests::engine_new_from_zero ... ok
[INFO] [stdout] test engine::tests::engine_or_identical_atoms_dedups ... ok
[INFO] [stdout] test engine::tests::engine_or_identical_atoms_dedups_dual ... ok
[INFO] [stdout] test engine::tests::engine_or_nested_duplicates_dedup_dual ... ok
[INFO] [stdout] test engine::tests::engine_or_nested_duplicates_dedup ... ok
[INFO] [stdout] test engine::tests::engine_or_rotation_interleaves ... ok
[INFO] [stdout] test engine::tests::engine_or_two_atoms_yields_twice ... ok
[INFO] [stdout] test engine::tests::engine_or_atom_zero_yields_once ... ok
[INFO] [stdout] test engine::tests::engine_size_reasonable ... ok
[INFO] [stdout] test engine::tests::engine_zero_exhausts_immediately ... ok
[INFO] [stdout] test engine::tests::engine_zero_is_exhausted ... ok
[INFO] [stdout] test engine::tests::engine_or_zero_zero_exhausts ... ok
[INFO] [stdout] test engine::tests::fix_body_is_zero_fails ... ok
[INFO] [stdout] test engine::tests::engine_or_zero_atom_yields_once ... ok
[INFO] [stdout] test engine::tests::fix_body_is_atom_yields_atom ... ok
[INFO] [stdout] test engine::tests::fix_nested_same_id_inner_shadows_outer ... ok
[INFO] [stdout] test engine::tests::fix_relid_max_works ... ok
[INFO] [stdout] test engine::tests::fix_nested_different_ids_separate_bindings ... ok
[INFO] [stdout] test engine::tests::fix_relid_zero_works ... ok
[INFO] [stdout] test engine::tests::fix_body_is_or_no_call_yields_both ... ok
[INFO] [stdout] test engine::tests::or_inside_recursive_body ... ok
[INFO] [stdout] test engine::tests::engine_seq_with_and_yields_meet_result ... ok
[INFO] [stdout] test engine::tests::left_boundary_propagates_to_call ... ok
[INFO] [stdout] test engine::tests::multiple_calls_same_relid ... ok
[INFO] [stdout] test engine::tests::pure_recursion_exhausts_under_step_node ... ok
[INFO] [stdout] test engine::tests::query_first_convenience_function_works ... ok
[INFO] [stdout] test engine::tests::query_first_returns_none_for_zero ... ok
[INFO] [stdout] test engine::tests::or_with_shadowed_fix_should_not_duplicate_answers ... ok
[INFO] [stdout] test engine::tests::query_returns_empty_for_zero ... ok
[INFO] [stdout] test engine::tests::query_first_returns_first_of_many ... ok
[INFO] [stdout] test engine::tests::query_first_does_not_compute_all_answers ... ok
[INFO] [stdout] test engine::tests::query_returns_single_for_atom ... ok
[INFO] [stdout] test engine::tests::query_convenience_function_works ... ok
[INFO] [stdout] test engine::tests::right_boundary_propagates_to_call ... ok
[INFO] [stdout] test engine::tests::recursion_without_base_case_terminates ... ok
[INFO] [stdout] test engine::tests::seq_inside_recursive_body ... ok
[INFO] [stdout] test engine::tests::seq_with_and_of_disjoint_rules_is_empty ... ok
[INFO] [stdout] test engine::tests::seq_with_fix_then_free_call_is_empty ... ok
[INFO] [stdout] test engine::tests::recursion_with_output_constraint_terminates ... ok
[INFO] [stdout] test engine::tests::simple_reorder_and_duplicate ... ok
[INFO] [stdout] test engine::tests::simple_swap_on_ground_pair ... ok
[INFO] [stdout] test engine::tests::step_result_size_reasonable ... ok
[INFO] [stdout] test engine::tests::simple_swap_then_duplicate ... ok
[INFO] [stdout] test engine::tests::seq_with_and_non_iso_left_boundary_does_not_distribute ... ok
[INFO] [stdout] test engine::tests::recursive_relation_runs_backwards ... ok
[INFO] [stdout] test engine::tests::table_reentrance_detected ... ok
[INFO] [stdout] test engine::tests::recursion_with_base_case_terminates ... ok
[INFO] [stdout] test engine::tests::seq_with_and_non_iso_right_boundary_does_not_distribute ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_1 ... ok
[INFO] [stdout] test engine::tests::recursion_produces_multiple_answers ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_2 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_3 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_10 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_4 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_7 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_5 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_6 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_rule_count ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_8 ... ok
[INFO] [stdout] test engine::tests::zero_before_call_short_circuits ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_backpressure_keeps_pending ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_backpressure_keeps_pending_dual ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_closure_after_answers_emits ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_closure_after_answers_emits_dual ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_closure_empty_part_terminates ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_closure_empty_part_terminates_dual ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_round_robin_turns ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_round_robin_turns_dual ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_waker_gates_polling ... ok
[INFO] [stdout] test engine_scheduler_tests::and_joiner_waker_gates_polling_dual ... ok
[INFO] [stdout] test engine_scheduler_tests::engine_matches_single_worker_and ... ok
[INFO] [stdout] test engine_scheduler_tests::engine_matches_single_worker_fix ... ok
[INFO] [stdout] test engine_scheduler_tests::engine_matches_single_worker_or ... ok
[INFO] [stdout] test factors::tests::alternating_pop_front_back_until_empty ... ok
[INFO] [stdout] test factors::tests::back_returns_element_at_correct_position ... ok
[INFO] [stdout] test factors::tests::back_returns_last_element_of_last_slice ... ok
[INFO] [stdout] test factors::tests::empty_factors_back_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_front_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_is_empty ... ok
[INFO] [stdout] test factors::tests::empty_factors_pop_back_returns_none ... ok
[INFO] [stdout] test factors::tests::empty_factors_pop_front_returns_none ... ok
[INFO] [stdout] test factors::tests::exhaust_factors_via_pop_back ... ok
[INFO] [stdout] test factors::tests::exhaust_factors_via_pop_front ... ok
[INFO] [stdout] test factors::tests::from_seq_creates_single_slice ... ok
[INFO] [stdout] test factors::tests::from_seq_empty_creates_empty_factors ... ok
[INFO] [stdout] test factors::tests::front_returns_element_at_correct_position ... ok
[INFO] [stdout] test factors::tests::front_returns_first_element_of_first_slice ... ok
[INFO] [stdout] test factors::tests::interleaved_push_front_back_maintains_order ... ok
[INFO] [stdout] test factors::tests::len_invariant_maintained_through_operations ... ok
[INFO] [stdout] test factors::tests::len_sums_all_slice_lengths ... ok
[INFO] [stdout] test factors::tests::pop_back_decrements_correctly ... ok
[INFO] [stdout] test factors::tests::pop_back_exhausts_last_slice_retreats_to_previous ... ok
[INFO] [stdout] test factors::tests::pop_front_decrements_correctly ... ok
[INFO] [stdout] test factors::tests::pop_front_exhausts_first_slice_advances_to_next ... ok
[INFO] [stdout] test factors::tests::push_back_empty_slice_is_noop ... ok
[INFO] [stdout] test factors::tests::push_back_rel_adds_single_element_to_back ... ok
[INFO] [stdout] test factors::tests::push_back_rel_then_pop_back_returns_same ... ok
[INFO] [stdout] test factors::tests::push_back_rel_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_adds_all_elements ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_empty_is_noop ... ok
[INFO] [stdout] test factors::tests::push_back_slice_from_seq_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_empty_slice_to_empty_factors_stays_empty ... ok
[INFO] [stdout] test factors::tests::push_front_empty_slice_is_noop ... ok
[INFO] [stdout] test factors::tests::push_front_rel_adds_single_element_to_front ... ok
[INFO] [stdout] test factors::tests::push_front_rel_then_pop_front_returns_same ... ok
[INFO] [stdout] test factors::tests::push_front_rel_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_adds_all_elements ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_empty_is_noop ... ok
[INFO] [stdout] test factors::tests::push_front_slice_from_seq_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::push_front_slice_to_empty_factors ... ok
[INFO] [stdout] test factors::tests::single_element_front_and_back_same ... ok
[INFO] [stdout] test factors::tests::single_element_len_is_one ... ok
[INFO] [stdout] test factors::tests::single_element_pop_back_empties ... ok
[INFO] [stdout] test factors::tests::single_element_pop_front_empties ... ok
[INFO] [stdout] test factors::tests::single_element_pop_front_then_front_is_none ... ok
[INFO] [stdout] test factors::tests::slice_back_empty_returns_none ... ok
[INFO] [stdout] test factors::tests::slice_back_returns_element_at_end_minus_one ... ok
[INFO] [stdout] test factors::tests::slice_empty_is_empty ... ok
[INFO] [stdout] test factors::tests::slice_front_empty_returns_none ... ok
[INFO] [stdout] test factors::tests::slice_front_returns_element_at_start ... ok
[INFO] [stdout] test factors::tests::slice_new_creates_full_range ... ok
[INFO] [stdout] test factors::tests::slice_with_range_respects_bounds ... ok
[INFO] [stdout] test factors::tests::slice_with_range_start_equals_end_is_empty ... ok
[INFO] [stdout] test factors::tests::slices_share_underlying_arc ... ok
[INFO] [stdout] test jupyter::tests::comm_info_request_returns_empty_comms ... ok
[INFO] [stdout] test jupyter::tests::connection_info_parses ... ok
[INFO] [stdout] test engine::tests::treecalc_app_example_9 ... ok
[INFO] [stdout] test jupyter::tests::kernel_execute_request_emits_error_only ... ok
[INFO] [stdout] test jupyter::tests::install_kernel_spec_writes_file ... ok
[INFO] [stdout] test jupyter::tests::kernel_info_request_emits_idle_status ... ok
[INFO] [stdout] test jupyter::tests::kernel_spec_json_contains_argv ... ok
[INFO] [stdout] test jupyter::tests::message_decode_rejects_bad_signature ... ok
[INFO] [stdout] test jupyter::tests::message_roundtrip_with_signature ... ok
[INFO] [stdout] test kernel::compose::tests::compose_applies_mgu_to_constraints ... ok
[INFO] [stdout] test kernel::compose::tests::compose_backward_query_ground_constraint ... ok
[INFO] [stdout] test kernel::compose::tests::compose_backward_query_ground_constraint_s_z ... ok
[INFO] [stdout] test kernel::compose::tests::compose_empty_patterns ... ok
[INFO] [stdout] test kernel::compose::tests::compose_fails_on_mismatch ... ok
[INFO] [stdout] test jupyter::tests::kernel_execute_request_emits_execute_result_only ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_rules ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_with_var_match ... ok
[INFO] [stdout] test kernel::compose::tests::compose_ground_identity_with_rule_instantiates_vars ... ok
[INFO] [stdout] test kernel::compose::tests::compose_identity_identity ... ok
[INFO] [stdout] test kernel::compose::tests::compose_introduces_fresh_var_then_projects ... ok
[INFO] [stdout] test kernel::compose::tests::compose_nested_constructors ... ok
[INFO] [stdout] test kernel::compose::tests::compose_peeling ... ok
[INFO] [stdout] test kernel::compose::tests::compose_peel_twice_example ... ok
[INFO] [stdout] test kernel::compose::tests::compose_var_with_ground_unifies ... ok
[INFO] [stdout] test kernel::compose::tests::compose_preserves_constraint_var_binding ... ok
[INFO] [stdout] test kernel::compose::tests::compose_variable_passing ... ok
[INFO] [stdout] test kernel::compose::tests::compose_with_variables ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_adds_become_drops ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_boundary_indices ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_complex_resorting ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_drops_become_adds ... ok
[INFO] [stdout] test kernel::compose::tests::compose_wrapping ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_empty_map_disconnect ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_multiple ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_single ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_identity_zero_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_involution ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_involution_complex ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_preserves_constraint ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_preserves_monotonicity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_simple_inversion ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_single_mapping ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_swaps_arities ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_zero_in_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_zero_out_arity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_deeply_nested_terms ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_drops_become_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_dualizes_drop_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_build_pats ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_identity ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_empty_match_pats ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_fresh_become_drops ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_ground_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_identity_is_self_dual ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_involution ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_multiple_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_swaps_patterns ... ok
[INFO] [stdout] test kernel::dual::tests::dual_nf_with_complex_drop_fresh ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_composition_ground ... ok
[INFO] [stdout] test kernel::dual::tests::dual_drop_fresh_requires_resorting ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_composition_with_vars ... ok
[INFO] [stdout] test kernel::dual::tests::dual_reverses_peel_composition ... ok
[INFO] [stdout] test kernel::meet::tests::meet_append_rules ... ok
[INFO] [stdout] test kernel::meet::tests::meet_applies_mgu_to_constraints ... ok
[INFO] [stdout] test kernel::meet::tests::meet_empty_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_incompatible_ground ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_incompatible_output ... ok
[INFO] [stdout] test kernel::meet::tests::meet_fails_occurs_check ... ok
[INFO] [stdout] test kernel::meet::tests::meet_identical_ground_rules ... ok
[INFO] [stdout] test kernel::meet::tests::meet_identical_identity ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_arity_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_combines_constraints ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_conflicting_constraints_fail ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_enforces_shared_variables ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_build_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_identity ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_match_mismatch_fails ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multi_pattern_wiring_induces_equality ... ok
[INFO] [stdout] test kernel::meet::tests::meet_nested_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_specializes_var ... ok
[INFO] [stdout] test kernel::meet::tests::meet_symmetric ... ok
[INFO] [stdout] test kernel::meet::tests::meet_unifies_compatible_patterns ... ok
[INFO] [stdout] test kernel::meet::tests::meet_multiple_var_constraints ... ok
[INFO] [stdout] test kernel::meet::tests::meet_var_with_complex_term ... ok
[INFO] [stdout] test kernel::meet::tests::meet_with_different_vars ... ok
[INFO] [stdout] test metrics::tests::metrics_report_default ... ok
[INFO] [stdout] test metrics::tests::metrics_report_display ... ok
[INFO] [stdout] test metrics::tests::metrics_report_success_rates ... ok
[INFO] [stdout] test metrics::tests::noop_metrics_compile ... ok
[INFO] [stdout] test kernel::meet::tests::meet_unifies_fresh_outputs ... ok
[INFO] [stdout] test nf::tests::apply_renaming_nested ... ok
[INFO] [stdout] test nf::tests::apply_renaming_preserves_ground ... ok
[INFO] [stdout] test nf::tests::apply_renaming_single_var ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_ground_term ... ok
[INFO] [stdout] test nf::tests::collect_vars_deeply_nested ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_multiple_vars ... ok
[INFO] [stdout] test nf::tests::collect_vars_from_single_var ... ok
[INFO] [stdout] test nf::tests::collect_vars_nested ... ok
[INFO] [stdout] test nf::tests::collect_vars_no_duplicates ... ok
[INFO] [stdout] test nf::tests::collect_vars_wide_term ... ok
[INFO] [stdout] test nf::tests::factor_drop_var ... ok
[INFO] [stdout] test nf::tests::factor_fresh_var ... ok
[INFO] [stdout] test nf::tests::factor_ground_to_ground ... ok
[INFO] [stdout] test nf::tests::factor_identity_rule ... ok
[INFO] [stdout] test nf::tests::factor_nested_pattern ... ok
[INFO] [stdout] test nf::tests::factor_swap_rule ... ok
[INFO] [stdout] test nf::tests::nf_new_creates_valid_nf ... ok
[INFO] [stdout] test nf::tests::renumber_ground_term_unchanged ... ok
[INFO] [stdout] test nf::tests::renumber_multiple_vars ... ok
[INFO] [stdout] test nf::tests::renumber_single_var ... ok
[INFO] [stdout] test nf::tests::renumber_with_repeated_vars ... ok
[INFO] [stdout] test node::tests::can_pattern_match_emit ... ok
[INFO] [stdout] test node::tests::can_pattern_match_fail ... ok
[INFO] [stdout] test node::tests::can_pattern_match_or ... ok
[INFO] [stdout] test node::tests::emit_deeply_chained ... ok
[INFO] [stdout] test node::tests::emit_into_fail ... ok
[INFO] [stdout] test node::tests::emit_into_or ... ok
[INFO] [stdout] test node::tests::emit_multiple_answers_chain ... ok
[INFO] [stdout] test node::tests::emit_or_emit_fail ... ok
[INFO] [stdout] test node::tests::emit_single_answer ... ok
[INFO] [stdout] test node::tests::emit_then_or ... ok
[INFO] [stdout] test node::tests::fail_can_be_constructed_multiple_times ... ok
[INFO] [stdout] test node::tests::fail_is_equal_to_fail ... ok
[INFO] [stdout] test node::tests::fail_is_terminal_state ... ok
[INFO] [stdout] test node::tests::mixed_deep_structure ... ok
[INFO] [stdout] test node::tests::node_is_clone ... ok
[INFO] [stdout] test node::tests::node_is_debug ... ok
[INFO] [stdout] test node::tests::node_size_reasonable ... ok
[INFO] [stdout] test node::tests::or_both_emit ... ok
[INFO] [stdout] test node::tests::or_construction_both_fail ... ok
[INFO] [stdout] test node::tests::or_deeply_nested ... ok
[INFO] [stdout] test node::tests::or_left_associative_nesting ... ok
[INFO] [stdout] test node::tests::or_left_fail_right_other ... ok
[INFO] [stdout] test node::tests::or_left_other_right_fail ... ok
[INFO] [stdout] test node::tests::or_of_emits ... ok
[INFO] [stdout] test node::tests::or_right_associative_nesting ... ok
[INFO] [stdout] test parser::tests::constraint_arity_mismatch_fails ... ok
[INFO] [stdout] test parser::tests::format_nf_includes_constraints ... ok
[INFO] [stdout] test parser::tests::constraint_with_unknown_predicate_fails ... ok
[INFO] [stdout] test parser::tests::parse_and_body ... ok
[INFO] [stdout] test parser::tests::parse_and_with_or ... ok
[INFO] [stdout] test parser::tests::parse_and_with_seq ... ok
[INFO] [stdout] test parser::tests::parse_atom ... ok
[INFO] [stdout] test parser::tests::parse_bracketed_seq ... ok
[INFO] [stdout] test parser::tests::parse_call_in_seq ... ok
[INFO] [stdout] test parser::tests::parse_chained_and ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_binary ... ok
[INFO] [stdout] test parser::tests::parse_complex_rule ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_nullary ... ok
[INFO] [stdout] test parser::tests::parse_compound_term_unary ... ok
[INFO] [stdout] test parser::tests::parse_compound_with_numeric_atom ... ok
[INFO] [stdout] test parser::tests::parse_empty_input_fails ... ok
[INFO] [stdout] test parser::tests::parse_error_size_reasonable ... ok
[INFO] [stdout] test parser::tests::parse_identifier_with_numbers ... ok
[INFO] [stdout] test parser::tests::parse_identifier_with_underscores ... ok
[INFO] [stdout] test parser::tests::parse_nested_brackets ... ok
[INFO] [stdout] test parser::tests::parse_nested_compound ... ok
[INFO] [stdout] test parser::tests::parse_numeric_atom ... ok
[INFO] [stdout] test parser::tests::parse_or_body ... ok
[INFO] [stdout] test parser::tests::parse_recursive_rel_def ... ok
[INFO] [stdout] test parser::tests::parse_or_with_seq ... ok
[INFO] [stdout] test parser::tests::parse_rel_body_with_comments ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_missing_name_fails ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_missing_brace_fails ... ok
[INFO] [stdout] test parser::tests::parse_rel_def_with_or ... ok
[INFO] [stdout] test parser::tests::parse_rule_lhs_only_variable_is_dropped ... ok
[INFO] [stdout] test parser::tests::parse_rule_missing_arrow_fails ... ok
[INFO] [stdout] test parser::tests::parse_rule_missing_rhs_fails ... ok
[INFO] [stdout] test parser::tests::parse_rule_rhs_only_variable_creates_fresh_output ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_comment ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_compound ... ok
[INFO] [stdout] test parser::tests::parse_seq_body ... ok
[INFO] [stdout] test parser::tests::parse_rule_with_variables ... ok
[INFO] [stdout] test parser::tests::parse_simple_rel_def ... ok
[INFO] [stdout] test parser::tests::parse_simple_rule ... ok
[INFO] [stdout] test parser::tests::parse_term_extra_chars_fails ... ok
[INFO] [stdout] test parser::tests::parse_single_rule_body ... ok
[INFO] [stdout] test parser::tests::parse_term_multiple_variables ... ok
[INFO] [stdout] test parser::tests::parse_term_repeated_variable ... ok
[INFO] [stdout] test parser::tests::parse_term_unclosed_paren_fails ... ok
[INFO] [stdout] test parser::tests::parse_term_whitespace_handling ... ok
[INFO] [stdout] test parser::tests::parse_term_literal_identity_body ... ok
[INFO] [stdout] test parser::tests::parse_variable ... ok
[INFO] [stdout] test parser::tests::parse_term_with_variable ... ok
[INFO] [stdout] test parser::tests::parse_whitespace_only_fails ... ok
[INFO] [stdout] test parser::tests::parse_with_comments ... ok
[INFO] [stdout] test parser::tests::parse_variable_with_underscore ... ok
[INFO] [stdout] test parser::tests::parser_size_reasonable ... ok
[INFO] [stdout] test parser::tests::theory_fail_body_makes_constraint_unsat ... ok
[INFO] [stdout] test parser::tests::theory_parses_guard_and_applies_it ... ok
[INFO] [stdout] test parser::tests::theory_parsing_allows_constraints_in_rules ... ok
[INFO] [stdout] test parser::tests::theory_parses_propagation_and_simpagation_rules ... ok
[INFO] [stdout] test queue::tests::answer_receiver_is_send_sync ... ok
[INFO] [stdout] test queue::tests::answer_sender_is_send_sync ... ok
[INFO] [stdout] test queue::tests::receiver_drop_wakes_blocked ... ok
[INFO] [stdout] test queue::tests::sender_drop_wakes_blocked ... ok
[INFO] [stdout] test rel::tests::dual_and_does_not_swap_children ... ok
[INFO] [stdout] test rel::tests::dual_and_preserves_structure ... ok
[INFO] [stdout] test rel::tests::dual_and_duals_both_children ... ok
[INFO] [stdout] test rel::tests::dual_atom_with_vars_duals_correctly ... ok
[INFO] [stdout] test rel::tests::dual_call_max_id ... ok
[INFO] [stdout] test rel::tests::dual_call_unchanged ... ok
[INFO] [stdout] test rel::tests::dual_call_zero_id ... ok
[INFO] [stdout] test rel::tests::dual_deep_fix_nesting ... ok
[INFO] [stdout] test rel::tests::dual_deep_or_nesting ... ok
[INFO] [stdout] test rel::tests::dual_atom_duals_inner_nf ... ok
[INFO] [stdout] test rel::tests::dual_deep_seq_nesting ... ok
[INFO] [stdout] test rel::tests::dual_dual_and_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_call_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_fix_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_or_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_atom_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_seq_empty_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_dual_zero_equals_zero ... ok
[INFO] [stdout] test rel::tests::dual_dual_seq_equals_original ... ok
[INFO] [stdout] test rel::tests::dual_fix_duals_body ... ok
[INFO] [stdout] test rel::tests::dual_fix_preserves_id ... ok
[INFO] [stdout] test rel::tests::dual_fix_with_call_in_body ... ok
[INFO] [stdout] test rel::tests::dual_is_involution_all_variants ... ok
[INFO] [stdout] test rel::tests::dual_is_involution_complex_tree ... ok
[INFO] [stdout] test rel::tests::dual_nested_fix_different_ids ... ok
[INFO] [stdout] test rel::tests::dual_or_does_not_swap_children ... ok
[INFO] [stdout] test rel::tests::dual_or_duals_both_children ... ok
[INFO] [stdout] test rel::tests::dual_or_preserves_structure ... ok
[INFO] [stdout] test rel::tests::dual_seq_empty ... ok
[INFO] [stdout] test rel::tests::dual_seq_many_elements_reverses_all ... ok
[INFO] [stdout] test rel::tests::dual_seq_nested_reverses_outer_and_duals_inner ... ok
[INFO] [stdout] test rel::tests::dual_seq_single_element ... ok
[INFO] [stdout] test rel::tests::dual_seq_two_elements_reverses ... ok
[INFO] [stdout] test rel::tests::dual_wide_seq ... ok
[INFO] [stdout] test rel::tests::dual_seq_three_elements_reverses ... ok
[INFO] [stdout] test rel::tests::dual_with_shared_arc_both_or_children ... ok
[INFO] [stdout] test rel::tests::dual_with_shared_arc_in_seq ... ok
[INFO] [stdout] test rel::tests::dual_zero_is_zero ... ok
[INFO] [stdout] test rel::tests::rel_atom_holds_nf ... ok
[INFO] [stdout] test rel::tests::rel_and_holds_two_children ... ok
[INFO] [stdout] test rel::tests::rel_call_holds_id ... ok
[INFO] [stdout] test rel::tests::rel_fix_holds_id_and_body ... ok
[INFO] [stdout] test rel::tests::rel_or_holds_two_children ... ok
[INFO] [stdout] test rel::tests::rel_seq_holds_slice ... ok
[INFO] [stdout] test rel::tests::rel_zero_is_zero_sized ... ok
[INFO] [stdout] test repl::tests::repl_bare_query_runs_as_query ... ok
[INFO] [stdout] test repl::tests::repl_process_cell_handles_comment_then_query ... ok
[INFO] [stdout] test repl::tests::repl_next_advances_through_answers ... ok
[INFO] [stdout] test repl::tests::repl_process_cell_handles_multiple_lines ... ok
[INFO] [stdout] test repl::tests::repl_query_renders_rule_syntax ... ok
[INFO] [stdout] test scheduler::tests::blocked_task_waits_for_wake ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_counts_task_steps ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_counts_task_steps_dual ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_records_blocked_time ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_records_blocked_time_dual ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_records_ready_queue ... ok
[INFO] [stdout] test scheduler::tests::scheduler_metrics_records_ready_queue_dual ... ok
[INFO] [stdout] test scheduler::tests::stale_wake_requeues_immediately ... ok
[INFO] [stdout] test scheduler::tests::wake_resumes_all_blocked_tasks ... ok
[INFO] [stdout] test subst::tests::apply_chain_of_vars ... ok
[INFO] [stdout] test subst::tests::apply_deeply_nested ... ok
[INFO] [stdout] test subst::tests::apply_multiple_substitutions ... ok
[INFO] [stdout] test subst::tests::apply_nullary_app ... ok
[INFO] [stdout] test subst::tests::apply_preserves_structure ... ok
[INFO] [stdout] test subst::tests::apply_replaces_in_nested_term ... ok
[INFO] [stdout] test subst::tests::apply_sparse_binding ... ok
[INFO] [stdout] test subst::tests::apply_subst_var_maps_to_itself ... ok
[INFO] [stdout] test subst::tests::apply_to_bound_var_replaces ... ok
[INFO] [stdout] test subst::tests::apply_to_ground_term_unchanged ... ok
[INFO] [stdout] test subst::tests::apply_to_unbound_var_unchanged ... ok
[INFO] [stdout] test subst::tests::apply_to_wide_term ... ok
[INFO] [stdout] test subst::tests::apply_uses_hashconsing ... ok
[INFO] [stdout] test subst::tests::bind_extends_automatically ... ok
[INFO] [stdout] test subst::tests::bind_multiple_variables ... ok
[INFO] [stdout] test subst::tests::bind_overwrites_previous ... ok
[INFO] [stdout] test subst::tests::bind_single_variable ... ok
[INFO] [stdout] test subst::tests::get_unbound_returns_none ... ok
[INFO] [stdout] test subst::tests::is_bound_correct ... ok
[INFO] [stdout] test subst::tests::iter_over_bindings ... ok
[INFO] [stdout] test subst::tests::new_subst_is_empty ... ok
[INFO] [stdout] test subst::tests::with_capacity_creates_empty_subst ... ok
[INFO] [stdout] test symbol::tests::case_sensitive_symbols ... ok
[INFO] [stdout] test symbol::tests::concurrent_intern_different_symbols ... ok
[INFO] [stdout] test symbol::tests::concurrent_intern_same_symbol ... ok
[INFO] [stdout] test symbol::tests::contains_returns_false_for_unknown_symbol ... ok
[INFO] [stdout] test symbol::tests::contains_returns_true_for_interned_symbol ... ok
[INFO] [stdout] test symbol::tests::get_returns_none_for_unknown_symbol ... ok
[INFO] [stdout] test symbol::tests::get_returns_some_for_interned_symbol ... ok
[INFO] [stdout] test symbol::tests::intern_different_strings_returns_different_ids ... ok
[INFO] [stdout] test symbol::tests::intern_empty_string_succeeds ... ok
[INFO] [stdout] test symbol::tests::intern_long_symbol_name ... ok
[INFO] [stdout] test symbol::tests::intern_returns_func_id ... ok
[INFO] [stdout] test symbol::tests::intern_same_string_returns_same_id ... ok
[INFO] [stdout] test symbol::tests::intern_unicode_symbols ... ok
[INFO] [stdout] test symbol::tests::many_unique_symbols ... ok
[INFO] [stdout] test symbol::tests::resolve_invalid_func_id_from_different_store ... ok
[INFO] [stdout] test symbol::tests::resolve_multiple_symbols ... ok
[INFO] [stdout] test symbol::tests::resolve_returns_original_string ... ok
[INFO] [stdout] test symbol::tests::whitespace_symbols_are_distinct ... ok
[INFO] [stdout] test term::tests::app0_creates_nullary_term ... ok
[INFO] [stdout] test term::tests::app1_creates_unary_term ... ok
[INFO] [stdout] test term::tests::app2_creates_binary_term ... ok
[INFO] [stdout] test term::tests::app_with_many_children ... ok
[INFO] [stdout] test term::tests::build_lambda_term ... ok
[INFO] [stdout] test term::tests::build_list ... ok
[INFO] [stdout] test term::tests::build_natural_number ... ok
[INFO] [stdout] test term::tests::concurrent_app_creation ... ok
[INFO] [stdout] test term::tests::concurrent_different_terms ... ok
[INFO] [stdout] test term::tests::concurrent_var_creation ... ok
[INFO] [stdout] test term::tests::hashcons_child_order_matters ... ok
[INFO] [stdout] test term::tests::hashcons_different_children_different_id ... ok
[INFO] [stdout] test term::tests::hashcons_different_functor_different_id ... ok
[INFO] [stdout] test term::tests::hashcons_nested_terms ... ok
[INFO] [stdout] test term::tests::hashcons_same_app_with_children ... ok
[INFO] [stdout] test term::tests::hashcons_same_nullary_app ... ok
[INFO] [stdout] test term::tests::is_app_returns_functor_and_children ... ok
[INFO] [stdout] test term::tests::is_app_returns_none_for_var ... ok
[INFO] [stdout] test term::tests::is_var_returns_index_for_variable ... ok
[INFO] [stdout] test term::tests::is_var_returns_none_for_app ... ok
[INFO] [stdout] test term::tests::many_distinct_terms ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_two_conjuncts_example_9 ... ok
[INFO] [stdout] test term::tests::resolve_invalid_term_id ... ok
[INFO] [stdout] test term::tests::var_creates_term_id ... ok
[INFO] [stdout] test term::tests::var_different_indices_return_different_ids ... ok
[INFO] [stdout] test term::tests::var_max_index ... ok
[INFO] [stdout] test term::tests::var_resolves_correctly ... ok
[INFO] [stdout] test term::tests::many_hashconsed_terms ... ok
[INFO] [stdout] test term::tests::var_same_index_returns_same_id ... ok
[INFO] [stdout] test trace::tests::init_subscriber_is_idempotent ... ok
[INFO] [stdout] test trace::tests::trace_macros_compile ... ok
[INFO] [stdout] test unify::tests::unify_both_sides_have_vars ... ok
[INFO] [stdout] test term::tests::var_zero_index ... ok
[INFO] [stdout] test unify::tests::unify_compatible_apps ... ok
[INFO] [stdout] test unify::tests::unify_deep_nesting ... ok
[INFO] [stdout] test unify::tests::unify_different_arity_fails ... ok
[INFO] [stdout] test unify::tests::unify_different_functors_fails ... ok
[INFO] [stdout] test unify::tests::unify_different_nullary_fails ... ok
[INFO] [stdout] test unify::tests::unify_empty_app_terms ... ok
[INFO] [stdout] test unify::tests::unify_list_pattern ... ok
[INFO] [stdout] test unify::tests::unify_ground_with_var ... ok
[INFO] [stdout] test unify::tests::unify_nested_compatible ... ok
[INFO] [stdout] test unify::tests::unify_many_vars ... ok
[INFO] [stdout] test unify::tests::unify_nested_conflict_fails ... ok
[INFO] [stdout] test unify::tests::unify_nullary_same_functor ... ok
[INFO] [stdout] test unify::tests::unify_occurs_check_nested ... ok
[INFO] [stdout] test unify::tests::unify_occurs_check_through_substitution ... ok
[INFO] [stdout] test unify::tests::unify_occurs_check_simple ... ok
[INFO] [stdout] test unify::tests::unify_same_complex_term ... ok
[INFO] [stdout] test unify::tests::unify_same_var ... ok
[INFO] [stdout] test unify::tests::unify_same_ground_term ... ok
[INFO] [stdout] test unify::tests::unify_shared_var ... ok
[INFO] [stdout] test unify::tests::unify_symmetric ... ok
[INFO] [stdout] test unify::tests::unify_shared_var_conflict_fails ... ok
[INFO] [stdout] test unify::tests::unify_var_with_nested_var ... ok
[INFO] [stdout] test unify::tests::unify_var_with_ground ... ok
[INFO] [stdout] test unify::tests::unify_var_with_var ... ok
[INFO] [stdout] test unify::tests::unify_vars_in_both_terms ... ok
[INFO] [stdout] test work::tests::bind_producer_blocks_when_queue_full ... ok
[INFO] [stdout] test work::tests::bind_consumer_emits_from_queue ... ok
[INFO] [stdout] test work::tests::bind_producer_closes_queue_on_exhaustion ... ok
[INFO] [stdout] test work::tests::bindwork_consumer_does_not_advance_generator ... ok
[INFO] [stdout] test work::tests::callkey_construction_no_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_both ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_left ... ok
[INFO] [stdout] test work::tests::callkey_construction_with_right ... ok
[INFO] [stdout] test work::tests::call_replay_interleaves_with_new_answers ... ok
[INFO] [stdout] test work::tests::callkey_equality_same_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_equality_same_rel_no_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_hash_same_keys_same_hash ... ok
[INFO] [stdout] test work::tests::callkey_ignores_mid_context_for_same_boundaries ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_rel ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_right ... ok
[INFO] [stdout] test work::tests::callkey_inequality_different_left ... ok
[INFO] [stdout] test work::tests::callkey_size_reasonable ... ok
[INFO] [stdout] test work::tests::env_bind_does_not_mutate_original ... ok
[INFO] [stdout] test work::tests::env_bind_multiple ... ok
[INFO] [stdout] test work::tests::env_bind_overwrites_existing ... ok
[INFO] [stdout] test work::tests::env_bind_single ... ok
[INFO] [stdout] test work::tests::env_is_clone ... ok
[INFO] [stdout] test work::tests::env_lookup_returns_bound_rel ... ok
[INFO] [stdout] test work::tests::callkey_is_clone ... ok
[INFO] [stdout] test work::tests::env_new_is_empty ... ok
[INFO] [stdout] test work::tests::env_lookup_returns_none_for_unbound ... ok
[INFO] [stdout] test work::tests::env_size_reasonable ... ok
[INFO] [stdout] test work::tests::fix_consumer_replays_existing_answers ... ok
[INFO] [stdout] test work::tests::fix_producer_broadcasts_answers_to_all_consumers ... ok
[INFO] [stdout] test work::tests::fix_producer_dedups_duplicate_answers ... ok
[INFO] [stdout] test work::tests::fix_producer_blocks_when_consumer_queue_full ... ok
[INFO] [stdout] test work::tests::fixwork_handle_does_not_advance_producer ... ok
[INFO] [stdout] test work::tests::fixwork_handle_does_not_start_producer ... ok
[INFO] [stdout] test work::tests::fixwork_handle_done_when_table_done ... ok
[INFO] [stdout] test work::tests::fixwork_handle_emits_existing_answers ... ok
[INFO] [stdout] test work::tests::fixwork_new_handle ... ok
[INFO] [stdout] test work::tests::fixwork_size_reasonable ... ok
[INFO] [stdout] test work::tests::meetwork_both_exhaust_simultaneously ... ok
[INFO] [stdout] test work::tests::meetwork_construction_both_emit ... ok
[INFO] [stdout] test work::tests::meetwork_construction_both_fail ... ok
[INFO] [stdout] test work::tests::meetwork_construction_deep_left_or ... ok
[INFO] [stdout] test work::tests::meetwork_construction_left_fail_right_emit ... ok
[INFO] [stdout] test work::tests::meetwork_construction_left_emit_right_fail ... ok
[INFO] [stdout] test work::tests::meetwork_drains_pending_before_done ... ok
[INFO] [stdout] test work::tests::meetwork_left_exhausts_first ... ok
[INFO] [stdout] test work::tests::meetwork_handles_or_on_left ... ok
[INFO] [stdout] test work::tests::meetwork_pending_emits_before_pulls ... ok
[INFO] [stdout] test work::tests::meetwork_many_answers_terminates ... ok
[INFO] [stdout] test work::tests::meetwork_pending_preserves_order ... ok
[INFO] [stdout] test work::tests::meetwork_right_exhausts_first ... ok
[INFO] [stdout] test work::tests::meetwork_seen_l_grows_after_left_emit ... ok
[INFO] [stdout] test work::tests::meetwork_seen_r_grows_after_right_emit ... ok
[INFO] [stdout] test work::tests::meetwork_step_arity_mismatch_no_emit ... ok
[INFO] [stdout] test work::tests::meetwork_size_reasonable ... ok
[INFO] [stdout] test work::tests::meetwork_step_both_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_step_identical_answers_produces_meet ... ok
[INFO] [stdout] test work::tests::meetwork_step_flip_alternates_sides ... ok
[INFO] [stdout] test work::tests::meetwork_step_identity_with_ground_specializes ... ok
[INFO] [stdout] test work::tests::meetwork_step_incompatible_ground_no_emit ... ok
[INFO] [stdout] test work::tests::meetwork_step_left_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_step_right_fail_returns_done ... ok
[INFO] [stdout] test work::tests::meetwork_steps_work_nodes ... ok
[INFO] [stdout] test work::tests::meetwork_symmetric_produces_same_results ... ok
[INFO] [stdout] test work::tests::meetwork_step_multiple_meets_all_produced ... ok
[INFO] [stdout] test work::tests::pipework_fuses_adjacent_atoms_anywhere ... ok
[INFO] [stdout] test work::tests::pipework_fuses_middle_atoms_before_advancing_ends ... ok
[INFO] [stdout] test work::tests::pipework_multiple_atoms_compose ... ok
[INFO] [stdout] test work::tests::pipework_new_is_empty ... ok
[INFO] [stdout] test work::tests::pipework_prefers_non_call_over_call_on_opposite_end ... ok
[INFO] [stdout] test work::tests::pipework_step_absorbs_both_ends_before_advancing ... ok
[INFO] [stdout] test work::tests::pipework_step_atom_composes_with_left_boundary ... ok
[INFO] [stdout] test work::tests::pipework_step_back_atom_absorbs_to_right ... ok
[INFO] [stdout] test work::tests::pipework_step_boundaries_only_emits_compose ... ok
[INFO] [stdout] test work::tests::pipework_step_empty_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_incompatible_compose_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_left_boundary_only_emits ... ok
[INFO] [stdout] test work::tests::pipework_step_or_in_mid_splits ... ok
[INFO] [stdout] test work::tests::pipework_step_or_with_boundaries_splits ... ok
[INFO] [stdout] test work::tests::pipework_step_right_boundary_composes ... ok
[INFO] [stdout] test work::tests::pipework_step_right_boundary_only_emits ... ok
[INFO] [stdout] test work::tests::pipework_step_single_atom_absorbs_to_left ... ok
[INFO] [stdout] test work::tests::pipework_step_zero_in_mid_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_step_zero_with_boundaries_returns_done ... ok
[INFO] [stdout] test work::tests::pipework_with_boundaries_and_empty_mid ... ok
[INFO] [stdout] test work::tests::pipework_with_left_boundary_only ... ok
[INFO] [stdout] test work::tests::pipework_with_mid_only ... ok
[INFO] [stdout] test work::tests::pipework_with_right_boundary_only ... ok
[INFO] [stdout] test work::tests::producerstate_done ... ok
[INFO] [stdout] test work::tests::producerstate_is_clone ... ok
[INFO] [stdout] test work::tests::producerstate_not_started ... ok
[INFO] [stdout] test work::tests::producerstate_running ... ok
[INFO] [stdout] test work::tests::split_or_left_branch_has_a_factor ... ok
[INFO] [stdout] test work::tests::split_or_preserves_both_boundaries ... ok
[INFO] [stdout] test work::tests::split_or_preserves_env ... ok
[INFO] [stdout] test work::tests::split_or_preserves_left_boundary ... ok
[INFO] [stdout] test work::tests::split_or_preserves_remaining_mid ... ok
[INFO] [stdout] test work::tests::split_or_preserves_right_boundary ... ok
[INFO] [stdout] test work::tests::split_or_returns_work_pipe_not_fail ... ok
[INFO] [stdout] test work::tests::split_or_right_branch_has_b_factor ... ok
[INFO] [stdout] test work::tests::split_or_zero_branches_returns_work_pipe ... ok
[INFO] [stdout] test work::tests::table_add_answer ... ok
[INFO] [stdout] test work::tests::table_add_multiple_answers ... ok
[INFO] [stdout] test work::tests::table_all_answers ... ok
[INFO] [stdout] test work::tests::table_dedups_duplicate_answers ... ok
[INFO] [stdout] test work::tests::table_default_is_new ... ok
[INFO] [stdout] test work::tests::table_finish_producer ... ok
[INFO] [stdout] test work::tests::table_has_more_answers ... ok
[INFO] [stdout] test work::tests::table_locks_are_independent ... ok
[INFO] [stdout] test work::tests::table_locks_are_independent_dual ... ok
[INFO] [stdout] test work::tests::table_new_is_empty ... ok
[INFO] [stdout] test work::tests::table_next_answer_increments_index ... ok
[INFO] [stdout] test work::tests::table_next_answer_empty ... ok
[INFO] [stdout] test work::tests::table_next_answer_multiple ... ok
[INFO] [stdout] test work::tests::table_next_answer_single ... ok
[INFO] [stdout] test work::tests::table_reset_consumer ... ok
[INFO] [stdout] test work::tests::table_size_reasonable ... ok
[INFO] [stdout] test work::tests::table_start_producer ... ok
[INFO] [stdout] test work::tests::tables_clone_shares_updates ... ok
[INFO] [stdout] test work::tests::tables_contains ... ok
[INFO] [stdout] test work::tests::tables_default_is_new ... ok
[INFO] [stdout] test work::tests::tables_get_or_create_existing ... ok
[INFO] [stdout] test work::tests::tables_get_or_create_new ... ok
[INFO] [stdout] test work::tests::tables_is_clone ... ok
[INFO] [stdout] test work::tests::tables_keys_with_different_boundaries ... ok
[INFO] [stdout] test work::tests::tables_lookup_after_create ... ok
[INFO] [stdout] test work::tests::tables_lookup_nonexistent ... ok
[INFO] [stdout] test work::tests::tables_multiple_keys ... ok
[INFO] [stdout] test work::tests::tables_new_is_empty ... ok
[INFO] [stdout] test work::tests::tables_size_reasonable ... ok
[INFO] [stdout] test work::tests::work_atom_construction ... ok
[INFO] [stdout] test work::tests::work_atom_step_emits_then_done ... ok
[INFO] [stdout] test work::tests::work_fix_step_delegates ... ok
[INFO] [stdout] test work::tests::work_fix_construction ... ok
[INFO] [stdout] test work::tests::work_meet_construction ... ok
[INFO] [stdout] test work::tests::work_meet_step_delegates_to_meetwork ... ok
[INFO] [stdout] test work::tests::workstep_done_construction ... ok
[INFO] [stdout] test work::tests::workstep_emit_construction ... ok
[INFO] [stdout] test work::tests::work_pipe_construction ... ok
[INFO] [stdout] test work::tests::workstep_more_construction ... ok
[INFO] [stdout] test work::tests::workstep_split_construction ... ok
[INFO] [stdout] test repl::tests::theory_notebook_demo_cells_run ... ok
[INFO] [stdout] test engine::tests::subtraction_via_dual_add_example ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_three_conjuncts_example_9 ... ok
[INFO] [stdout] test engine::tests::treecalc_app_and_group_nested_conjuncts_example_9 ... ok
[INFO] [stdout] test engine::tests::treecalc_identity_with_no_c_constraint ... ok
[INFO] [stdout] test engine::tests::addition_backward_generates_all_pairs_summing_to_5 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 741 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.26s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/rwlog.rs (/opt/rustwide/target/debug/deps/rwlog-6daebed56546c8eb)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/symmetry_prop.rs (/opt/rustwide/target/debug/deps/symmetry_prop-21508fe49872199e)
[INFO] [stdout] test tests::repl_query_composes_named_relations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test dual_is_involution ... ok
[INFO] [stdout] test compose_dual_law ... ok
[INFO] [stdout] test meet_dual_law ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.32s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rwlog
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test src/metrics.rs - metrics (line 9) ... ignored
[INFO] [stdout] test src/trace.rs - trace (line 8) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b4631a468844eda1753c52b1a3f4bb88c396746288078f48ca7cdd8f6f06a53a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b4631a468844eda1753c52b1a3f4bb88c396746288078f48ca7cdd8f6f06a53a", kill_on_drop: false }`
[INFO] [stdout] b4631a468844eda1753c52b1a3f4bb88c396746288078f48ca7cdd8f6f06a53a
