[INFO] fetching crate semi-persistent-egraph 0.1.0...
[INFO] testing semi-persistent-egraph-0.1.0 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate semi-persistent-egraph 0.1.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate semi-persistent-egraph 0.1.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate semi-persistent-egraph 0.1.0
[INFO] tweaked toml for crates.io crate semi-persistent-egraph 0.1.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate semi-persistent-egraph 0.1.0 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate semi-persistent-egraph 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rapidhash v4.4.1
[INFO] [stderr]   Downloaded ordered-float v5.3.0
[INFO] [stderr]   Downloaded semi-persistent-containers v0.1.0
[INFO] [stderr]   Downloaded allocator-api2 v0.4.0
[INFO] [stderr]   Downloaded croaring v2.6.0
[INFO] [stderr]   Downloaded croaring-sys v4.6.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6165694d99c6a4ba23b8af84bf8da4ee8a5325ced249deaaa5974b2991d615b6
[INFO] running `Command { std: "docker" "start" "-a" "6165694d99c6a4ba23b8af84bf8da4ee8a5325ced249deaaa5974b2991d615b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6165694d99c6a4ba23b8af84bf8da4ee8a5325ced249deaaa5974b2991d615b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6165694d99c6a4ba23b8af84bf8da4ee8a5325ced249deaaa5974b2991d615b6", kill_on_drop: false }`
[INFO] [stdout] 6165694d99c6a4ba23b8af84bf8da4ee8a5325ced249deaaa5974b2991d615b6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e5fa6f619658002a81ca51713e81ed58f91bc0dc059985170fe41682e5f57643
[INFO] running `Command { std: "docker" "start" "-a" "e5fa6f619658002a81ca51713e81ed58f91bc0dc059985170fe41682e5f57643", kill_on_drop: false }`
[INFO] [stderr]    Compiling hashbrown v0.17.0
[INFO] [stderr]    Compiling winnow v1.0.1
[INFO] [stderr]    Compiling rapidhash v4.4.1
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling ordered-float v5.3.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling semi-persistent-containers v0.1.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling semi-persistent-egraph v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.80s
[INFO] running `Command { std: "docker" "inspect" "e5fa6f619658002a81ca51713e81ed58f91bc0dc059985170fe41682e5f57643", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5fa6f619658002a81ca51713e81ed58f91bc0dc059985170fe41682e5f57643", kill_on_drop: false }`
[INFO] [stdout] e5fa6f619658002a81ca51713e81ed58f91bc0dc059985170fe41682e5f57643
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b12133cdfd769267c2905ac85abae9f259e5811b1244c41f4d47a6327704c381
[INFO] running `Command { std: "docker" "start" "-a" "b12133cdfd769267c2905ac85abae9f259e5811b1244c41f4d47a6327704c381", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.2.60
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling allocator-api2 v0.4.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling croaring-sys v4.6.1
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling croaring v2.6.0
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[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 proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling semi-persistent-egraph v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 38.59s
[INFO] running `Command { std: "docker" "inspect" "b12133cdfd769267c2905ac85abae9f259e5811b1244c41f4d47a6327704c381", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b12133cdfd769267c2905ac85abae9f259e5811b1244c41f4d47a6327704c381", kill_on_drop: false }`
[INFO] [stdout] b12133cdfd769267c2905ac85abae9f259e5811b1244c41f4d47a6327704c381
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 33b4de7fb3ed44109fb7c86e4159bbfdd5f1cbd3f5618ab892a0f746d8394e7a
[INFO] running `Command { std: "docker" "start" "-a" "33b4de7fb3ed44109fb7c86e4159bbfdd5f1cbd3f5618ab892a0f746d8394e7a", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/semi_persistent_egraph-7eed915324ed1a97)
[INFO] [stdout] 
[INFO] [stdout] running 394 tests
[INFO] [stdout] test apply::tests::compile_splice_set_typed ... ok
[INFO] [stdout] test apply::tests::compile_nested_app ... ok
[INFO] [stdout] test apply::tests::compile_splice_seq_typed ... ok
[INFO] [stdout] test apply::tests::compile_splice_mset_typed ... ok
[INFO] [stdout] test apply::tests::compile_app_preserves_varids ... ok
[INFO] [stdout] test apply::tests::rewrite_aci_splice_rest ... ok
[INFO] [stdout] test apply::tests::rewrite_ac_splice_rest ... ok
[INFO] [stdout] test apply::tests::rewrite_commute_f ... ok
[INFO] [stdout] test apply::tests::constant_fold_iadd ... ok
[INFO] [stdout] test apply::tests::rewrite_a_splice_rest ... ok
[INFO] [stdout] test apply::tests::rewrite_insert_new_op ... ok
[INFO] [stdout] test apply::tests::compile_var_is_varid ... ok
[INFO] [stdout] test caches::tests::recanonize_fixed_no_change ... ok
[INFO] [stdout] test apply::tests::rewrite_no_match_no_change ... ok
[INFO] [stdout] test caches::tests::fixed_arity_binary ... ok
[INFO] [stdout] test caches::tests::recanonize_fixed_plain_updates_children ... ok
[INFO] [stdout] test caches::tests::recanonize_var_ordered_collision ... ok
[INFO] [stdout] test caches::tests::variable_arity_probe_insert ... ok
[INFO] [stdout] test canon::tests::ac_canon_merges ... ok
[INFO] [stdout] test canon::tests::c_canon_find_then_sort ... ok
[INFO] [stdout] test apply::tests::compile_lit ... ok
[INFO] [stdout] test canon::tests::plain_canon_preserves_order ... ok
[INFO] [stdout] test canon::tests::ac_canon_find_and_merge ... ok
[INFO] [stdout] test caches::tests::fixed_arity_probe_insert ... ok
[INFO] [stdout] test caches::tests::recanonize_var_ordered_no_change ... ok
[INFO] [stdout] test caches::tests::lit_cache_probe_insert ... ok
[INFO] [stdout] test apply::tests::rewrite_nested ... ok
[INFO] [stdout] test apply::tests::rule_datalog_insert ... ok
[INFO] [stdout] test caches::tests::recanonize_ac_merges_mult ... ok
[INFO] [stdout] test caches::tests::recanonize_aci_shrinks ... ok
[INFO] [stdout] test apply::tests::debug_render_full_pipeline ... ok
[INFO] [stdout] test compile::tests::a_prefix ... ok
[INFO] [stdout] test compile::tests::fresh_vars_generated ... ok
[INFO] [stdout] test apply::tests::rewrite_produces_rewrite_justification ... ok
[INFO] [stdout] test compile::tests::ac_subset_nested ... ok
[INFO] [stdout] test compile::tests::deeply_nested ... ok
[INFO] [stdout] test compile::tests::literal_child ... ok
[INFO] [stdout] test canon::tests::aci_canon_dedup ... ok
[INFO] [stdout] test canon::tests::aci_canon_find_and_dedup ... ok
[INFO] [stdout] test compile::tests::nonlinear_no_extra_atoms ... ok
[INFO] [stdout] test canon::tests::c_canon_sorts ... ok
[INFO] [stdout] test classes::tests::eclasses_with_use_lists ... ok
[INFO] [stdout] test compile::tests::multi_pattern_rule ... ok
[INFO] [stdout] test compile::tests::nested_introduces_intermediate ... ok
[INFO] [stdout] test caches::tests::recanonize_c_sorts_pair ... ok
[INFO] [stdout] test compile::tests::nullary ... ok
[INFO] [stdout] test compile::tests::plain_no_nesting ... ok
[INFO] [stdout] test director::tests::delete_column_middle ... ok
[INFO] [stdout] test caches::tests::recanonize_fixed_collision ... ok
[INFO] [stdout] test director::tests::add_zero_rows_preserves ... ok
[INFO] [stdout] test director::tests::child_edge_sizes ... ok
[INFO] [stdout] test director::tests::compose_identity_left ... ok
[INFO] [stdout] test director::tests::compose_identity_right ... ok
[INFO] [stdout] test director::tests::compose_swap ... ok
[INFO] [stdout] test director::tests::delete_column_removes_reference ... ok
[INFO] [stdout] test director::tests::dir_pool_mark_restore ... ok
[INFO] [stdout] test director::tests::dir_pool_mutate_in_place ... ok
[INFO] [stdout] test director::tests::dir_pool_proof_snapshot ... ok
[INFO] [stdout] test director::tests::dir_word_u16_limits ... ok
[INFO] [stdout] test director::tests::ground_child_edge ... ok
[INFO] [stdout] test director::tests::identity_embed ... ok
[INFO] [stdout] test director::tests::inline_roundtrip ... ok
[INFO] [stdout] test director::tests::pool_word_roundtrip ... ok
[INFO] [stdout] test director::tests::permute_swap ... ok
[INFO] [stdout] test director::tests::pool_word_size ... ok
[INFO] [stdout] test director::tests::dir_pool_append_read ... ok
[INFO] [stdout] test director::tests::pool_word_tagged ... ok
[INFO] [stdout] test director::tests::dir_word_u64_limits ... ok
[INFO] [stdout] test director::tests::identity_2x3 ... ok
[INFO] [stdout] test director::tests::shift_preserves_structure ... ok
[INFO] [stdout] test director::tests::prop::prop_compose_associative ... ok
[INFO] [stdout] test director::tests::shift_1 ... ok
[INFO] [stdout] test director::tests::spill_roundtrip ... ok
[INFO] [stdout] test director::tests::typed_api_compose ... ok
[INFO] [stdout] test director::tests::typed_api_inline ... ok
[INFO] [stdout] test director::tests::typed_api_shift_delete_roundtrip ... ok
[INFO] [stdout] test director::tests::typed_api_spill_and_read ... ok
[INFO] [stdout] test director::tests::widen_preserves_rows ... ok
[INFO] [stdout] test director::tests::zst_always_inline ... ok
[INFO] [stdout] test director::tests::zero_matrix ... ok
[INFO] [stdout] test director::tests::zst_child_edge_same_size_as_g ... ok
[INFO] [stdout] test egraph::dual_config_tests::a_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::a_congruence::bits31 ... ok
[INFO] [stdout] test director::tests::prop::prop_delete_preserves_injection ... ok
[INFO] [stdout] test egraph::dual_config_tests::a_not_commutative::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::a_not_commutative::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::ac_shrink_after_merge::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::ac_shrink_after_merge::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::aci_congruence::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::ac_congruence::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::aci_dedup_after_merge::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::ac_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::aci_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::aci_dedup_after_merge::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::cascading_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::cascading_congruence::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::add_canonicalizes::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::add_canonicalizes::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::commutative_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::commutative_dedup::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::commutative_congruence::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_plain3::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_plain3::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_plain::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_undone_by_restore::bits31 ... ok
[INFO] [stdout] test director::tests::prop::prop_identity_right ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_undone_by_restore::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::congruence_plain::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::explain_deep_congruence::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::commutative_dedup::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::explain_deep_congruence::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::deep_cascade_4_levels::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::deep_cascade_4_levels::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::explain_proof::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::is_empty_check::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::hashcons_dedup::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::hashcons_dedup::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::is_empty_check::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::explain_proof::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::lit_node::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::multiple_merges_before_rebuild::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::multiple_merges_before_rebuild::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::lit_node::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::nested_mark_restore::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::rebuild_after_restore::bits31 ... ok
[INFO] [stdout] test egraph::dual_config_tests::rebuild_after_restore::bits63 ... ok
[INFO] [stdout] test egraph::dual_config_tests::plain_n_congruence::bits63 ... ok
[INFO] [stdout] test egraph::tests::a_congruence ... ok
[INFO] [stdout] test egraph::dual_config_tests::plain_n_congruence::bits31 ... ok
[INFO] [stdout] test egraph::tests::ac_congruence ... ok
[INFO] [stdout] test egraph::tests::aci_congruence ... ok
[INFO] [stdout] test egraph::tests::aci_dedup_after_merge ... ok
[INFO] [stdout] test egraph::tests::add_after_restore ... ok
[INFO] [stdout] test egraph::tests::add_canonicalizes ... ok
[INFO] [stdout] test egraph::tests::ac_multiplicity_no_false_collision ... ok
[INFO] [stdout] test egraph::tests::commutative_congruence ... ok
[INFO] [stdout] test egraph::tests::cascading_congruence ... ok
[INFO] [stdout] test egraph::tests::commutative_dedup ... ok
[INFO] [stdout] test egraph::tests::commutative_reorder_no_collision ... ok
[INFO] [stdout] test egraph::tests::ac_shrink_after_merge ... ok
[INFO] [stdout] test egraph::tests::congruence_plain ... ok
[INFO] [stdout] test egraph::tests::congruence_undone_by_restore ... ok
[INFO] [stdout] test egraph::tests::diamond_fan_in ... ok
[INFO] [stdout] test egraph::tests::egraph63_smoke ... ok
[INFO] [stdout] test egraph::tests::explain_after_restore ... ok
[INFO] [stdout] test egraph::tests::explain_axiom ... ok
[INFO] [stdout] test egraph::dual_config_tests::nested_mark_restore::bits63 ... ok
[INFO] [stdout] test egraph::tests::explain_chain ... ok
[INFO] [stdout] test egraph::tests::explain_non_equivalent ... ok
[INFO] [stdout] test egraph::tests::explain_no_stale_justifications ... ok
[INFO] [stdout] test egraph::tests::congruence_plain3 ... ok
[INFO] [stdout] test egraph::tests::from_model_registers_builtins ... ok
[INFO] [stdout] test egraph::tests::deep_cascade_4_levels ... ok
[INFO] [stdout] test egraph::tests::fan_out_many_parents ... ok
[INFO] [stdout] test egraph::tests::hashcons_dedup ... ok
[INFO] [stdout] test egraph::tests::rebuild_empty ... ok
[INFO] [stdout] test egraph::tests::multiple_merges_before_rebuild ... ok
[INFO] [stdout] test egraph::tests::rebuild_after_restore ... ok
[INFO] [stdout] test egraph_proof_test::aci_deep_proof_test::aci_half_overlap ... ok
[INFO] [stdout] test egraph_proof_test::aci_deep_proof_test::aci_mostly_shared ... ok
[INFO] [stdout] test egraph_proof_test::aci_deep_proof_test::aci_deep ... ok
[INFO] [stdout] test director::tests::prop::prop_delete_column_remaps ... ok
[INFO] [stdout] test director::tests::prop::prop_compose_preserves_injection ... ok
[INFO] [stdout] test egraph_proof_test::aci_deep_proof_test::aci_wide ... ok
[INFO] [stdout] test egraph_proof_test::deep_proof_test::deep_proof_layered ... ok
[INFO] [stdout] test egraph_proof_test::aci_deep_proof_test::aci_no_overlap ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_ac ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_associative ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_aci ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_plain1 ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_plain2 ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_all_kinds ... ok
[INFO] [stdout] test egraph_proof_test::kind_proof_tests::proof_commutative ... ok
[INFO] [stdout] test egraph_proof_test::proof_restore_test::proof_nested_restore ... ok
[INFO] [stdout] test egraph_proof_test::proof_restore_test::proof_state_restored ... ok
[INFO] [stdout] test egraph::tests::plain_n_congruence ... ok
[INFO] [stdout] test egraph_proof_test::test::layered_congruence_proof ... ok
[INFO] [stdout] test egraph_proof_test::test::long_proof_chain ... ok
[INFO] [stdout] test egraph_proof_test::stress_proof_test::stress_small ... ok
[INFO] [stdout] test ematch::tests::a_exact_match ... ok
[INFO] [stdout] test ematch::tests::a_comprehensive ... ok
[INFO] [stdout] test ematch::tests::a_exact_wrong_length ... ok
[INFO] [stdout] test ematch::tests::a_prefix_match ... ok
[INFO] [stdout] test ematch::tests::a_prefix_suffix_all_splits ... ok
[INFO] [stdout] test ematch::tests::a_sliding_window ... ok
[INFO] [stdout] test ematch::tests::a_prefix_xy_suffix_all_positions ... ok
[INFO] [stdout] test ematch::tests::ac_comprehensive ... ok
[INFO] [stdout] test ematch::tests::ac_concrete_with_higher_mult ... ok
[INFO] [stdout] test egraph_proof_test::stress_proof_test::stress_large ... ok
[INFO] [stdout] test director::tests::prop::prop_identity_left ... ok
[INFO] [stdout] test ematch::tests::ac_constraint_ge ... ok
[INFO] [stdout] test ematch::tests::ac_constraint_le ... ok
[INFO] [stdout] test ematch::tests::ac_exact_no_match_extra ... ok
[INFO] [stdout] test ematch::tests::ac_mult_exact_no_match ... ok
[INFO] [stdout] test ematch::tests::ac_exact_match ... ok
[INFO] [stdout] test ematch::tests::ac_mult_exact ... ok
[INFO] [stdout] test director::tests::prop::prop_add_rows_structure ... ok
[INFO] [stdout] test ematch::tests::ac_nonlinear_empty_interval ... ok
[INFO] [stdout] test ematch::tests::ac_subset_match ... ok
[INFO] [stdout] test egraph_proof_test::stress_proof_test::stress_medium ... ok
[INFO] [stdout] test ematch::tests::ac_nonlinear_mult_no_match ... ok
[INFO] [stdout] test ematch::tests::ac_nonlinear_mult_same_count ... ok
[INFO] [stdout] test ematch::tests::ac_nonlinear_narrow_interval ... ok
[INFO] [stdout] test director::tests::prop::prop_compose_embed_subset ... ok
[INFO] [stdout] test ematch::tests::ac_two_vars_plus_rest ... ok
[INFO] [stdout] test ematch::tests::ac_with_multiplicities ... ok
[INFO] [stdout] test ematch::tests::aci_two_vars_plus_rest ... ok
[INFO] [stdout] test ematch::tests::ac_two_vars_with_mult_plus_rest ... ok
[INFO] [stdout] test ematch::tests::aci_comprehensive ... ok
[INFO] [stdout] test ematch::tests::aci_x_rest_printed ... ok
[INFO] [stdout] test director::tests::prop::prop_shift_structure ... ok
[INFO] [stdout] test director::tests::prop::prop_shift_delete_roundtrip ... ok
[INFO] [stdout] test ematch::tests::binding_values_correct ... ok
[INFO] [stdout] test ematch::tests::cloned_iter_filter_take ... ok
[INFO] [stdout] test ematch::tests::deep_nesting ... ok
[INFO] [stdout] test ematch::tests::empty_egraph_no_matches ... ok
[INFO] [stdout] test ematch::tests::iter_vs_recursive_ac ... ok
[INFO] [stdout] test director::tests::prop::prop_widen_transitive ... ok
[INFO] [stdout] test ematch::tests::iter_vs_recursive_a ... ok
[INFO] [stdout] test director::tests::prop::prop_permute_preserves_embed ... ok
[INFO] [stdout] test ematch::tests::iter_vs_recursive_aci ... ok
[INFO] [stdout] test ematch::tests::matchset_aci_with_set_rest ... ok
[INFO] [stdout] test ematch::tests::iter_vs_recursive_multi_pattern ... ok
[INFO] [stdout] test ematch::tests::iter_vs_recursive_plain ... ok
[INFO] [stdout] test ematch::tests::matchset_a_sliding_window ... ok
[INFO] [stdout] test ematch::tests::matchset_agrees_with_vec_match ... ok
[INFO] [stdout] test ematch::tests::matchset_ac_with_mset_rest ... ok
[INFO] [stdout] test ematch::tests::matchset_empty ... ok
[INFO] [stdout] test ematch::tests::multi_pattern ... ok
[INFO] [stdout] test ematch::tests::multi_pattern_no_match ... ok
[INFO] [stdout] test ematch::tests::nested_no_match ... ok
[INFO] [stdout] test ematch::tests::nested_pattern ... ok
[INFO] [stdout] test ematch::tests::nonlinear_match ... ok
[INFO] [stdout] test ematch::tests::nonlinear_no_match ... ok
[INFO] [stdout] test ematch::tests::single_node_match ... ok
[INFO] [stdout] test ematch::tests::matchset_plain_bindings ... ok
[INFO] [stdout] test ematch::tests::two_f_nodes ... ok
[INFO] [stdout] test ematch::tests::verify_a_exact ... ok
[INFO] [stdout] test director::tests::prop::prop_permute_inverse ... ok
[INFO] [stdout] test ematch::tests::verify_a_sliding_window ... ok
[INFO] [stdout] test ematch::tests::verify_a_suffix ... ok
[INFO] [stdout] test ematch::tests::verify_ac_exact_two_of_three ... ok
[INFO] [stdout] test ematch::tests::verify_ac_mult ... ok
[INFO] [stdout] test ematch::tests::verify_nested_f_x_g_y ... ok
[INFO] [stdout] test ematch::tests::verify_plain_f_x_y ... ok
[INFO] [stdout] test ematch::tests::verify_multi_pattern_bindings ... ok
[INFO] [stdout] test ematch::tests::verify_ac_subset ... ok
[INFO] [stdout] test index::tests::by_child_pos_after_merge ... ok
[INFO] [stdout] test index::tests::by_child_pos_index ... ok
[INFO] [stdout] test index::tests::by_op_index ... ok
[INFO] [stdout] test index::tests::by_repr_after_merge ... ok
[INFO] [stdout] test index::tests::seek_and_step ... ok
[INFO] [stdout] test index::tests::by_contains_variadic ... ok
[INFO] [stdout] test lca::tests::lca_forest_siblings_under_second_root ... ok
[INFO] [stdout] test lca::tests::lca_chain ... ok
[INFO] [stdout] test lca::tests::lca_larger_tree ... ok
[INFO] [stdout] test lca::tests::lca_simple_tree ... ok
[INFO] [stdout] test lca::tests::lca_single_node ... ok
[INFO] [stdout] test lca::tests::lca_two_roots ... ok
[INFO] [stdout] test director::tests::zst_cannot_spill - should panic ... ok
[INFO] [stdout] test lca::tests::lca_wide_tree ... ok
[INFO] [stdout] test leapfrog::tests::all_empty::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::all_same::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::all_empty::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::disjoint::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::all_same::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::disjoint::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::large_overlap::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::adjacent_miss::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::adjacent_miss::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::five_way::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::five_way::bits63 ... ok
[INFO] [stdout] test egraph::tests::from_model_rejects_op_collision - should panic ... ok
[INFO] [stdout] test leapfrog::tests::identical_sets::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::large_sparse::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::asymmetric_sizes::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::large_overlap::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::large_sparse::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::identical_sets::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::needle_in_haystack::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::one_empty::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::single::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::single::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::one_empty::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::three_way::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::needle_in_haystack::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::three_way::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::two_way::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::two_way::bits63 ... ok
[INFO] [stdout] test literal::tests::all_variants ... ok
[INFO] [stdout] test literal::tests::get_roundtrip ... ok
[INFO] [stdout] test leapfrog::tests::asymmetric_sizes::bits63 ... ok
[INFO] [stdout] test literal::tests::intern_distinct ... ok
[INFO] [stdout] test literal::tests::parser_dispatch ... ok
[INFO] [stdout] test literal::tests::nira_model_parse_and_eval ... ok
[INFO] [stdout] test literal::tests::nira_model_sort_of ... ok
[INFO] [stdout] test literal::tests::intern_dedup ... ok
[INFO] [stdout] test node_store::tests::commutative_dedup ... ok
[INFO] [stdout] test node_store::tests::add_and_dedup ... ok
[INFO] [stdout] test egraph::tests::union_without_justification_panics_on_proofs - should panic ... ok
[INFO] [stdout] test node_store::tests::recanonize_no_change ... ok
[INFO] [stdout] test node_types::tests::content_eq_ignores_global_id ... ok
[INFO] [stdout] test node_types::tests::dense_id_msb_oblivious ... ok
[INFO] [stdout] test node_store::tests::routing_roundtrip ... ok
[INFO] [stdout] test node_types::tests::fixed_arity_sizes ... ok
[INFO] [stdout] test node_store::tests::recanonize_plain_collision ... ok
[INFO] [stdout] test node_types::tests::history_flag_independent_of_capture ... ok
[INFO] [stdout] test node_types::tests::lit_node_size ... ok
[INFO] [stdout] test node_types::tests::tagged_roundtrip ... ok
[INFO] [stdout] test node_types::tests::variable_arity_size ... ok
[INFO] [stdout] test node_types::tests::history_flag ... ok
[INFO] [stdout] test registry::tests::canon_class_all_kinds ... ok
[INFO] [stdout] test leapfrog::tests::million_three_way_sparse::bits31 ... ok
[INFO] [stdout] test registry::tests::id_by_name ... ok
[INFO] [stdout] test registry::tests::plain0_for_constants ... ok
[INFO] [stdout] test registry::tests::plainn_for_high_arity ... ok
[INFO] [stdout] test registry::tests::sort_intern_dedup ... ok
[INFO] [stdout] test registry::tests::duplicate_name_panics - should panic ... ok
[INFO] [stdout] test registry::tests::builtin_sorts ... ok
[INFO] [stdout] test resolve::tests::lhs_ac_exact_empty_rejected ... ok
[INFO] [stdout] test resolve::tests::lhs_nested_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::lhs_ac_element_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::lhs_commutative_arity_mismatch ... ok
[INFO] [stdout] test resolve::tests::lhs_nonlinear_sort_mismatch ... ok
[INFO] [stdout] test literal::tests::parser_unknown_sort ... ok
[INFO] [stdout] test resolve::tests::lhs_plain_arity_mismatch ... ok
[INFO] [stdout] test resolve::tests::lhs_plain_arity_too_few ... ok
[INFO] [stdout] test resolve::tests::mult_interval_eq ... ok
[INFO] [stdout] test resolve::tests::mult_interval_exact_no_var ... ok
[INFO] [stdout] test resolve::tests::mult_interval_ge ... ok
[INFO] [stdout] test resolve::tests::mult_interval_lt ... ok
[INFO] [stdout] test resolve::tests::mult_interval_unsatisfiable ... ok
[INFO] [stdout] test resolve::tests::mult_interval_unsatisfiable_multi_constraint ... ok
[INFO] [stdout] test resolve::tests::resolve_a_prefix ... ok
[INFO] [stdout] test resolve::tests::mult_interval_unconstrained ... ok
[INFO] [stdout] test resolve::tests::resolve_ac_subset ... ok
[INFO] [stdout] test resolve::tests::resolve_aci_subset ... ok
[INFO] [stdout] test resolve::tests::resolve_arity_mismatch ... ok
[INFO] [stdout] test resolve::tests::resolve_empty_a_exact ... ok
[INFO] [stdout] test resolve::tests::resolve_empty_aci_exact ... ok
[INFO] [stdout] test resolve::tests::resolve_literal ... ok
[INFO] [stdout] test resolve::tests::resolve_nested ... ok
[INFO] [stdout] test resolve::tests::resolve_empty_ac_exact ... ok
[INFO] [stdout] test resolve::tests::resolve_commutative ... ok
[INFO] [stdout] test resolve::tests::resolve_plain ... ok
[INFO] [stdout] test resolve::tests::resolve_nonlinear_same_sort ... ok
[INFO] [stdout] test resolve::tests::resolve_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::resolve_wrong_mode_a_on_plain ... ok
[INFO] [stdout] test resolve::tests::resolve_singleton_ok ... ok
[INFO] [stdout] test resolve::tests::resolve_wrong_mode_ac_on_a ... ok
[INFO] [stdout] test resolve::tests::resolve_unknown_op ... ok
[INFO] [stdout] test resolve::tests::rhs_app ... ok
[INFO] [stdout] test resolve::tests::rhs_child_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::rhs_lit ... ok
[INFO] [stdout] test resolve::tests::rhs_literal_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::rhs_mset_comp ... ok
[INFO] [stdout] test resolve::tests::rhs_nested ... ok
[INFO] [stdout] test resolve::tests::rhs_plain_arity_mismatch ... ok
[INFO] [stdout] test resolve::tests::rhs_return_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::rhs_root_sort_mismatch ... ok
[INFO] [stdout] test resolve::tests::rhs_seq_comp ... ok
[INFO] [stdout] test resolve::tests::rhs_set_comp ... ok
[INFO] [stdout] test resolve::tests::rhs_set_comp_with_filter ... ok
[INFO] [stdout] test resolve::tests::rhs_splice ... ok
[INFO] [stdout] test resolve::tests::rhs_var ... ok
[INFO] [stdout] test resolve::tests::rhs_unknown_op ... ok
[INFO] [stdout] test resolve::tests::rhs_variadic_sugar ... ok
[INFO] [stdout] test resolve::tests::show_error_messages ... ok
[INFO] [stdout] test saturate::tests::saturate_demo ... ignored
[INFO] [stdout] test saturate::tests::saturate_constant_fold ... ok
[INFO] [stdout] test saturate::tests::saturate_multi_rule_chain ... ok
[INFO] [stdout] test saturate::tests::saturate_fixpoint_in_one ... ok
[INFO] [stdout] test schedule::tests::ac_subset ... ok
[INFO] [stdout] test schedule::tests::a_prefix ... ok
[INFO] [stdout] test schedule::tests::aci_subset ... ok
[INFO] [stdout] test saturate::tests::saturate_commute ... ok
[INFO] [stdout] test schedule::tests::nonlinear_check_eq ... ok
[INFO] [stdout] test schedule::tests::nested ... ok
[INFO] [stdout] test saturate::tests::two_level_constant_fold ... ok
[INFO] [stdout] test schedule::tests::multi_atom_shared_var ... ok
[INFO] [stdout] test schedule::tests::selectivity_picks_rarest ... ok
[INFO] [stdout] test schedule::tests::selectivity_three_atoms ... ok
[INFO] [stdout] test schedule::tests::plain_flat ... ok
[INFO] [stdout] test schedule::tests::bound_child_reduces_cost ... ok
[INFO] [stdout] test typed_routing::tests::truncate ... ok
[INFO] [stdout] test typed_routing::tests::unreserve ... ok
[INFO] [stdout] test typed_routing::tests::reserve_finalize ... ok
[INFO] [stdout] test typed_routing::tests::double_reserve_panics - should panic ... ok
[INFO] [stdout] test leapfrog::tests::million_three_way_sparse::bits63 ... ok
[INFO] [stdout] test leapfrog::tests::million_two_way::bits31 ... ok
[INFO] [stdout] test leapfrog::tests::million_two_way::bits63 ... ok
[INFO] [stdout] test egraph_proof_test::bench_overhead::overhead_comparison ... ok
[INFO] [stdout] test ematch::tests::bench_recursive_vs_iterator ... ok
[INFO] [stdout] test lca::tests::prop_lca_matches_naive ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 393 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 1.40s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/semi_persistent-b4ea619b8eca44ba)
[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/eclasses_proptest.rs (/opt/rustwide/target/debug/deps/eclasses_proptest-ad410f9b761f286f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test eclasses_proptest ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.36s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/egg_tests.rs (/opt/rustwide/target/debug/deps/egg_tests-67e1f493134dc76a)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test check_neq ... ok
[INFO] [stdout] test ac_mult_nonlinear ... ok
[INFO] [stdout] test ac_mult_exact ... ok
[INFO] [stdout] test bignum_arith ... ok
[INFO] [stdout] test ac_mult_constraint ... ok
[INFO] [stdout] test checked_add_ok ... ok
[INFO] [stdout] test cmp_and_if ... ok
[INFO] [stdout] test extract_basic ... ok
[INFO] [stdout] test extract_aci ... ok
[INFO] [stdout] test parse_error ... ok
[INFO] [stdout] test f64_arith ... ok
[INFO] [stdout] test rewrite_commute ... ok
[INFO] [stdout] test bool_ops ... ok
[INFO] [stdout] test saturating_add ... ok
[INFO] [stdout] test globals_in_patterns ... ok
[INFO] [stdout] test subsume ... ok
[INFO] [stdout] test rewrite_constant_fold ... ok
[INFO] [stdout] test push_pop ... ok
[INFO] [stdout] test string_ops ... ok
[INFO] [stdout] test wrapping_add ... ok
[INFO] [stdout] test deep_constant_fold ... ok
[INFO] [stdout] test i64_wrapping_saturating ... ok
[INFO] [stdout] test checked_overflow ... ok
[INFO] [stdout] test string_all_ops ... ok
[INFO] [stdout] test i64_all_ops ... ok
[INFO] [stdout] test u64_all_ops ... ok
[INFO] [stdout] test f64_all_ops ... ok
[INFO] [stdout] test bignum_all_ops ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_patterns.rs (/opt/rustwide/target/debug/deps/parser_patterns-bbca434c1c2f197b)
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test ac_bind_mult ... ok
[INFO] [stdout] test ac_constrained_ge ... ok
[INFO] [stdout] test a_both_rests ... ok
[INFO] [stdout] test a_exact ... ok
[INFO] [stdout] test ac_constrained_eq ... ok
[INFO] [stdout] test ac_constrained_gt ... ok
[INFO] [stdout] test ac_constrained_le ... ok
[INFO] [stdout] test ac_constrained_ne ... ok
[INFO] [stdout] test ac_exact_mult ... ok
[INFO] [stdout] test ac_constrained_lt ... ok
[INFO] [stdout] test ac_mult_with_rest ... ok
[INFO] [stdout] test aci_plain_elems ... ok
[INFO] [stdout] test ac_multiple_elems_with_rest ... ok
[INFO] [stdout] test literal_string ... ok
[INFO] [stdout] test rest_prefix ... ok
[INFO] [stdout] test literal_int ... ok
[INFO] [stdout] test plain_binary ... ok
[INFO] [stdout] test aci_with_rest ... ok
[INFO] [stdout] test subsume_flag ... ok
[INFO] [stdout] test plain_nullary ... ok
[INFO] [stdout] test rest_both ... ok
[INFO] [stdout] test nested_patterns ... ok
[INFO] [stdout] test literal_bool ... ok
[INFO] [stdout] test rest_suffix ... ok
[INFO] [stdout] test a_suffix_rest ... ok
[INFO] [stdout] test when_and_subsume ... ok
[INFO] [stdout] test a_prefix_rest ... ok
[INFO] [stdout] test when_clause ... ok
[INFO] [stdout] test ac_implicit_mult ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_rhs.rs (/opt/rustwide/target/debug/deps/parser_rhs-5485649a63889ca4)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test rhs_mixed ... ok
[INFO] [stdout] test rhs_mset_comp ... ok
[INFO] [stdout] test rhs_seq_comp_nested_body ... ok
[INFO] [stdout] test rhs_set_comp ... ok
[INFO] [stdout] test rhs_set_comp_with_filter ... ok
[INFO] [stdout] test rhs_splice_plain ... ok
[INFO] [stdout] test rhs_splice_with_terms ... ok
[INFO] [stdout] test rhs_seq_comp ... ok
[INFO] [stdout] test rhs_mset_comp_with_filter ... ok
[INFO] [stdout] test rule_with_actions ... ok
[INFO] [stdout] test rule_with_set_action ... ok
[INFO] [stdout] test rhs_seq_comp_with_filter ... ok
[INFO] [stdout] test rhs_mset_comp_lit_mult ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pipeline_diagnostic.rs (/opt/rustwide/target/debug/deps/pipeline_diagnostic-881799393a5bd7ee)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test full_pipeline_diagnostic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/uselist_proptest.rs (/opt/rustwide/target/debug/deps/uselist_proptest-c2138e5037857700)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test layered_small ... ok
[INFO] [stdout] test layered_deep ... ok
[INFO] [stdout] test layered_medium ... ok
[INFO] [stdout] test layered_wide ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.92s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests semi_persistent_egraph
[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] running `Command { std: "docker" "inspect" "33b4de7fb3ed44109fb7c86e4159bbfdd5f1cbd3f5618ab892a0f746d8394e7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "33b4de7fb3ed44109fb7c86e4159bbfdd5f1cbd3f5618ab892a0f746d8394e7a", kill_on_drop: false }`
[INFO] [stdout] 33b4de7fb3ed44109fb7c86e4159bbfdd5f1cbd3f5618ab892a0f746d8394e7a
