[INFO] fetching crate simple_term_rewriter 0.4.0...
[INFO] testing simple_term_rewriter-0.4.0 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate simple_term_rewriter 0.4.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate simple_term_rewriter 0.4.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate simple_term_rewriter 0.4.0
[INFO] tweaked toml for crates.io crate simple_term_rewriter 0.4.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate simple_term_rewriter 0.4.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate simple_term_rewriter 0.4.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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:48:12
[INFO] [stderr]    |
[INFO] [stderr] 48 | homepage = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 | repository = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |              ---------------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922
[INFO] running `Command { std: "docker" "start" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:48:12
[INFO] [stderr]    |
[INFO] [stderr] 48 | homepage = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 | repository = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |              ---------------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]    Compiling map-macro v0.3.0
[INFO] [stderr]    Compiling hashconsing v1.7.0
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling simple_term_rewriter v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `map-macro`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.map-macro]
[INFO] [stderr]    |               ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `map-macro`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.52s
[INFO] running `Command { std: "docker" "inspect" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:48:12
[INFO] [stderr]    |
[INFO] [stderr] 48 | homepage = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 | repository = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |              ---------------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]    Compiling zerocopy v0.8.50
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling memchr v2.8.1
[INFO] [stderr]    Compiling zerocopy-derive v0.8.50
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling simple_term_rewriter v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr] warning: unused dependency `map-macro`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.map-macro]
[INFO] [stderr]    |               ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `map-macro`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.65s
[INFO] running `Command { std: "docker" "inspect" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:48:12
[INFO] [stderr]    |
[INFO] [stderr] 48 | homepage = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 | repository = "https://github.com/erwanM974/simple_term_rewriter"
[INFO] [stderr]    |              ---------------------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `map-macro`
[INFO] [stderr]   --> Cargo.toml:24:15
[INFO] [stderr]    |
[INFO] [stderr] 24 | [dependencies.map-macro]
[INFO] [stderr]    |               ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `map-macro`
[INFO] [stderr] warning: `simple_term_rewriter` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/9355cbc667a0387a/out/simple_term_rewriter-9355cbc667a0387a)
[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/test_guards.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/d7fb0fc4d1867809/out/test_guards-d7fb0fc4d1867809)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test closure_guard_returns_true_when_closure_returns_true ... ok
[INFO] [stdout] test closure_guard_returns_false_when_closure_returns_false ... ok
[INFO] [stdout] test root_only_allows_at_root ... ok
[INFO] [stdout] test closure_guard_receives_all_three_arguments ... ok
[INFO] [stdout] test root_only_blocks_at_depth_two ... ok
[INFO] [stdout] test not_under_same_op_allows_when_parent_differs ... ok
[INFO] [stdout] test only_under_op_allows_when_parent_matches_predicate ... ok
[INFO] [stdout] test only_under_op_blocks_at_root ... ok
[INFO] [stdout] test only_under_op_blocks_when_parent_lookup_returns_none ... ok
[INFO] [stdout] test only_under_op_blocks_when_parent_does_not_match_predicate ... ok
[INFO] [stdout] test not_under_same_op_allows_when_parent_lookup_returns_none ... ok
[INFO] [stdout] test term_predicate_blocks_when_predicate_fails ... ok
[INFO] [stdout] test term_predicate_allows_when_predicate_holds ... ok
[INFO] [stdout] test root_only_blocks_at_depth_one ... ok
[INFO] [stdout] test term_predicate_ignores_context_and_position ... ok
[INFO] [stdout] test not_under_same_op_allows_at_root ... ok
[INFO] [stdout] test not_under_same_op_blocks_when_parent_is_same ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_lang_conversion.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/ec054aca38e89a34/out/test_lang_conversion-ec054aca38e89a34)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test from_rewritable_term_binary ... ok
[INFO] [stdout] test from_rewritable_term_unary ... ok
[INFO] [stdout] test from_rewritable_term_leaf_epsilon ... ok
[INFO] [stdout] test round_trip_domain_to_rewritable_to_domain ... ok
[INFO] [stdout] test to_rewritable_term_nested ... ok
[INFO] [stdout] test to_rewritable_term_unary ... ok
[INFO] [stdout] test from_rewritable_term_leaf_atom ... ok
[INFO] [stdout] test round_trip_rewritable_to_domain_to_rewritable ... ok
[INFO] [stdout] test to_rewritable_term_leaf_atom ... ok
[INFO] [stdout] test to_rewritable_term_leaf_empty ... ok
[INFO] [stdout] test to_rewritable_term_binary ... ok
[INFO] [stdout] test random_round_trip_rewritable_to_domain_to_rewritable ... ok
[INFO] [stdout] test random_round_trip_domain_to_rewritable_to_domain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_lang_display.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/7ca831ddc4fb339e/out/test_lang_display-7ca831ddc4fb339e)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test display_leaf_atom ... ok
[INFO] [stdout] test display_unary_star ... ok
[INFO] [stdout] test display_leaf_empty ... ok
[INFO] [stdout] test display_binary_concat ... ok
[INFO] [stdout] test display_leaf_epsilon ... ok
[INFO] [stdout] test display_binary_alt ... ok
[INFO] [stdout] test display_unary_star_of_epsilon ... ok
[INFO] [stdout] test display_nested_alt_of_star_and_concat ... ok
[INFO] [stdout] test display_deeply_nested_stars ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_lang_metrics.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/e0921b7b527da486/out/test_lang_metrics-e0921b7b527da486)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test metrics_leaf_term ... ok
[INFO] [stdout] test metrics_mixed_compound_term ... ok
[INFO] [stdout] test metrics_nested_stars_track_nesting_depth ... ok
[INFO] [stdout] test metrics_binary_alt_of_two_atoms ... ok
[INFO] [stdout] test metrics_sibling_stars_do_not_increase_nesting_depth ... ok
[INFO] [stdout] test string_summary_contains_expected_strings ... ok
[INFO] [stdout] test metrics_unary_star_of_atom ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_lang_random_term_generation.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/edfda72fba32bb8a/out/test_lang_random_term_generation-edfda72fba32bb8a)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test from_map_rejects_probability_above_one ... ok
[INFO] [stdout] test from_map_rejects_negative_probability ... ok
[INFO] [stdout] test from_map_rejects_sum_not_equal_to_one ... ok
[INFO] [stdout] test random_symbol_pattern_arm_is_exercised ... ok
[INFO] [stdout] test stop_criterion_pattern_arm_is_exercised ... ok
[INFO] [stdout] test different_seeds_produce_different_terms ... ok
[INFO] [stdout] test same_seed_produces_same_terms ... ok
[INFO] [stdout] test depth_bound_is_respected ... ok
[INFO] [stdout] test all_operators_are_reachable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_lpo.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/b238dfa826a2b70c/out/test_lpo-b238dfa826a2b70c)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test lpo_case_f_gt_g_binary_over_constant ... ok
[INFO] [stdout] test lpo_case_f_gt_g_unary_over_constant ... ok
[INFO] [stdout] test lpo_constant_ordering_epsilon_not_gt_star_empty ... ok
[INFO] [stdout] test lpo_case_f_gt_g_binary_over_unary ... ok
[INFO] [stdout] test lpo_equal_root_all_equal_args ... ok
[INFO] [stdout] test lpo_case_f_lt_g_subterm_dominates_t ... ok
[INFO] [stdout] test lpo_case_f_lt_g_subterm_equals_t ... ok
[INFO] [stdout] test lpo_equal_root_remaining_is_self ... ok
[INFO] [stdout] test lpo_equal_root_first_arg_decides ... ok
[INFO] [stdout] test lpo_constant_ordering_epsilon_gt_empty ... ok
[INFO] [stdout] test lpo_constant_ordering_empty_not_gt_epsilon ... ok
[INFO] [stdout] test lpo_equal_root_remaining_not_dominated_simple ... ok
[INFO] [stdout] test lpo_equal_root_remaining_not_dominated_with_unary_first_arg ... ok
[INFO] [stdout] test lpo_equal_root_second_arg_decides ... ok
[INFO] [stdout] test lpo_equal_root_first_arg_smaller_loses ... ok
[INFO] [stdout] test lpo_case_f_gt_g_fails_when_child_not_dominated ... ok
[INFO] [stdout] test lpo_irreflexive_binary ... ok
[INFO] [stdout] test lpo_irreflexive_unary ... ok
[INFO] [stdout] test lpo_equal_root_nested_correct ... ok
[INFO] [stdout] test lpo_ordering_wrapper_equal ... ok
[INFO] [stdout] test lpo_equal_root_remaining_dominated_by_f_gt_case ... ok
[INFO] [stdout] test lpo_ordering_wrapper_less ... ok
[INFO] [stdout] test lpo_irreflexive_constant ... ok
[INFO] [stdout] test lpo_equal_root_ternary_remaining_domination_fails ... ok
[INFO] [stdout] test lpo_ordering_wrapper_greater ... ok
[INFO] [stderr]      Running tests/test_metrics_builtin.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/d0fc12546b74fdb5/out/test_metrics_builtin-d0fc12546b74fdb5)
[INFO] [stdout] test lpo_case_f_lt_g_no_subterm_dominates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test dag_size_no_sharing ... ok
[INFO] [stdout] test dag_size_repeated_subtree ... ok
[INFO] [stdout] test dag_size_no_sharing_mixed ... ok
[INFO] [stdout] test term_depth_takes_max_branch ... ok
[INFO] [stdout] test tree_size_binary ... ok
[INFO] [stdout] test tree_size_counts_duplicates ... ok
[INFO] [stdout] test tree_size_leaf ... ok
[INFO] [stdout] test tree_size_nested ... ok
[INFO] [stdout] test tree_size_unary ... ok
[INFO] [stdout] test op_count_single_leaf ... ok
[INFO] [stdout] test dag_size_with_sharing ... ok
[INFO] [stdout] test op_count_unary ... ok
[INFO] [stdout] test op_count_counts_repeated_symbols ... ok
[INFO] [stdout] test op_count_mixed_term ... ok
[INFO] [stdout] test dag_size_leaf ... ok
[INFO] [stdout] test term_depth_leaf ... ok
[INFO] [stdout] test term_depth_unary ... ok
[INFO] [stdout] test term_depth_binary_balanced ... ok
[INFO] [stdout] test term_depth_deeply_nested ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_positions.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/eab78861b0eeeaeb/out/test_positions-eab78861b0eeeaeb)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test child_coordinates_are_appended ... ok
[INFO] [stdout] test parent_of_depth_one_is_root ... ok
[INFO] [stdout] test display_non_root_uses_underscore_separated_indices ... ok
[INFO] [stdout] test display_root_is_epsilon ... ok
[INFO] [stdout] test from_absolute_coordinates_round_trips ... ok
[INFO] [stdout] test sub_term_traversal_two_level_tree ... ok
[INFO] [stdout] test get_sub_term_at_deep_invalid_path_returns_none ... ok
[INFO] [stdout] test parent_of_root_is_none ... ok
[INFO] [stdout] test root_has_empty_coordinates ... ok
[INFO] [stdout] test get_sub_term_at_out_of_bounds_child_index_returns_none ... ok
[INFO] [stdout] test sub_term_traversal_three_level_tree ... ok
[INFO] [stdout] test depth_of_root_is_zero ... ok
[INFO] [stdout] test depth_increases_with_each_child_step ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rewriting_traced_coherence.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/5f38a58a3852291f/out/test_rewriting_traced_coherence-5f38a58a3852291f)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test progress_on_completed_executor_is_safe_noop ... ok
[INFO] [stdout] test coherence_pipe_rule_chain_length_two ... ok
[INFO] [stdout] test coherence_no_rule_fires ... ok
[INFO] [stdout] test coherence_multi_step_double_star ... ok
[INFO] [stdout] test coherence_try_all_paths_both_fire ... ok
[INFO] [stdout] test coherence_rule_fires_once ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rewriting_traced_random_regex.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/f3f023ac73981674/out/test_rewriting_traced_random_regex-f3f023ac73981674)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test traced_produces_exactly_one_normal_form_per_term ... ok
[INFO] [stdout] test traced_and_untraced_agree_seed_1 ... ok
[INFO] [stdout] test traced_and_untraced_agree_seed_0 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rewriting_untraced_regex.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/da4012c864cb7485/out/test_rewriting_untraced_regex-da4012c864cb7485)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test epsilon_is_already_normal ... ok
[INFO] [stdout] test normalize_alt_idempotent ... ok
[INFO] [stdout] test normalize_concat_left_empty ... ok
[INFO] [stdout] test normalize_concat_with_star_empty_child ... ok
[INFO] [stdout] test atom_is_already_normal ... ok
[INFO] [stdout] test normalize_double_star ... ok
[INFO] [stdout] test normalize_deep_term ... ok
[INFO] [stdout] test normalize_nested_double_star ... ok
[INFO] [stdout] test normalize_star_empty ... ok
[INFO] [stdout] test normalize_concat_right_epsilon ... ok
[INFO] [stdout] test normalize_star_epsilon ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rule_combinator_guarded_on_flat_apc.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/fe3ee8bf24d1b01b/out/test_rule_combinator_guarded_on_flat_apc-fe3ee8bf24d1b01b)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test fires_when_one_element_is_starred ... ok
[INFO] [stdout] test doubly_nested_star_reduces_in_two_steps ... ok
[INFO] [stdout] test fires_when_all_elements_are_starred ... ok
[INFO] [stdout] test guarded_rule_get_desc_delegates_to_inner ... ok
[INFO] [stdout] test no_fire_at_root_without_star_parent ... ok
[INFO] [stdout] test no_fire_on_leaf ... ok
[INFO] [stdout] test no_fire_when_no_element_is_starred ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test fires_when_under_alt_not_concat ... ok
[INFO] [stdout] test suppressed_when_directly_under_concat ... ok
[INFO] [stderr]      Running tests/test_rule_combinator_positionally_guarded_on_root.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/85485ea4d4119b37/out/test_rule_combinator_positionally_guarded_on_root-85485ea4d4119b37)
[INFO] [stdout] test does_not_fire_on_non_alt_term ... ok
[INFO] [stdout] test fires_at_root_when_no_concat_parent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rule_primitive_factorization.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/364a5f7211014b79/out/test_rule_primitive_factorization-364a5f7211014b79)
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test defactorize_left_no_fire_right_subterm_not_binary ... ok
[INFO] [stdout] test defactorize_right_no_fire_left_subterm_not_binary ... ok
[INFO] [stdout] test factorize_left_fires ... ok
[INFO] [stdout] test factorize_left_mod_ac_fires_two_subterms ... ok
[INFO] [stdout] test factorize_left_mod_ac_no_fire_no_common_left_factor ... ok
[INFO] [stdout] test factorize_right_mod_ac_no_fire_no_common_right_factor ... ok
[INFO] [stdout] test factorize_mod_ac_rule_get_desc ... ok
[INFO] [stdout] test factorize_right_mod_ac_no_fire_outer_op_not_commutative ... ok
[INFO] [stdout] test factorize_left_mod_ac_fires_with_associative_flattening ... ok
[INFO] [stdout] test factorize_right_mod_ac_no_fire_when_parent_is_same_op ... ok
[INFO] [stdout] test factorize_right_no_fire_different_right_factors ... ok
[INFO] [stdout] test factorize_rule_get_desc ... ok
[INFO] [stdout] test factorize_right_no_fire_outer_op_not_distributive ... ok
[INFO] [stdout] test factorize_left_mod_ac_no_fire_outer_op_not_commutative ... ok
[INFO] [stdout] test factorize_left_no_fire_inner_ops_differ ... ok
[INFO] [stdout] test factorize_left_no_fire_outer_op_not_distributive ... ok
[INFO] [stdout] test factorize_right_fires ... ok
[INFO] [stdout] test factorize_right_mod_ac_fires_two_subterms ... ok
[INFO] [stdout] test factorize_right_mod_ac_fires_with_associative_flattening ... ok
[INFO] [stdout] test defactorize_right_no_fire_op_not_right_distributive ... ok
[INFO] [stdout] test defactorize_left_fires ... ok
[INFO] [stdout] test defactorize_rule_get_desc ... ok
[INFO] [stdout] test factorize_left_mod_ac_no_fire_when_parent_is_same_op ... ok
[INFO] [stdout] test defactorize_left_no_fire_op_not_left_distributive ... ok
[INFO] [stdout] test defactorize_right_fires ... ok
[INFO] [stdout] test factorize_left_no_fire_different_left_factors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rule_primitive_flat_apc.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/3a95f73593ddd9e3/out/test_rule_primitive_flat_apc-3a95f73593ddd9e3)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test flattened_ac_transfo_rule_get_desc ... ok
[INFO] [stdout] test negative_count_stays_when_nonzero ... ok
[INFO] [stdout] test cancellation_across_three_kinds ... ok
[INFO] [stdout] test single_item_no_fire ... ok
[INFO] [stdout] test opposite_counts_cancel ... ok
[INFO] [stdout] test mixed_kinds_merge_and_reorder ... ok
[INFO] [stdout] test reordering_to_canonical_kind_order ... ok
[INFO] [stdout] test three_distinct_items_no_fire ... ok
[INFO] [stdout] test three_items_same_kind_merge_in_one_firing ... ok
[INFO] [stdout] test partial_cancellation_leaves_remainder ... ok
[INFO] [stdout] test two_items_same_kind_merge ... ok
[INFO] [stdout] test two_distinct_items_no_fire ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rule_primitive_flush.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/e39602d3fe110317/out/test_rule_primitive_flush-e39602d3fe110317)
[INFO] [stdout] running 12 tests
[INFO] [stdout] test flush_left_fires_on_right_nested ... ok
[INFO] [stdout] test flush_left_rule_get_desc ... ok
[INFO] [stdout] test flush_right_fires_on_left_nested ... ok
[INFO] [stdout] test flush_left_no_fire_on_flat_pair ... ok
[INFO] [stdout] test flush_right_no_fire_on_flat_pair ... ok
[INFO] [stdout] test flush_right_no_fire_when_left_is_leaf ... ok
[INFO] [stdout] test flush_right_rule_get_desc ... ok
[INFO] [stdout] test flush_right_no_fire_on_leaf ... ok
[INFO] [stdout] test flush_right_then_left_roundtrip ... ok
[INFO] [stdout] test flush_right_three_elements_two_steps ... ok
[INFO] [stdout] test flush_left_no_fire_when_right_is_leaf ... ok
[INFO] [stdout] test flush_left_three_elements_two_steps ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_rule_primitive_reorder_apc.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/d6e92a7e4c2a68f2/out/test_rule_primitive_reorder_apc-d6e92a7e4c2a68f2)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test chain_with_stop_in_order_no_fire ... ok
[INFO] [stdout] test partial_ac_reorder_rule_get_desc ... ok
[INFO] [stdout] test stop_in_middle_creates_two_independent_segments ... ok
[INFO] [stdout] test two_adjacent_stops_divide_three_segments ... ok
[INFO] [stdout] test two_elements_out_of_order_sorted_in_one_firing ... ok
[INFO] [stdout] test sorted_result_is_irreducible ... ok
[INFO] [stdout] test long_chain_in_order_no_fire ... ok
[INFO] [stdout] test single_element_no_fire ... ok
[INFO] [stdout] test stop_at_end_sorts_the_prefix ... ok
[INFO] [stdout] test three_elements_sorted_in_one_firing ... ok
[INFO] [stdout] test five_elements_sorted_in_one_firing ... ok
[INFO] [stdout] test two_stops_three_independent_segments ... ok
[INFO] [stdout] test two_elements_in_order_no_fire ... ok
[INFO] [stdout] test stop_at_start_sorts_the_rest ... ok
[INFO] [stderr]      Running tests/test_rule_primitive_reorder_pc.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/c32ff99440df3908/out/test_rule_primitive_reorder_pc-c32ff99440df3908)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test full_no_fire_on_equal_operands ... ok
[INFO] [stdout] test full_no_fire_on_wrong_operator ... ok
[INFO] [stdout] test full_compound_operand_dominates_constant ... ok
[INFO] [stdout] test full_no_fire_when_already_in_order ... ok
[INFO] [stdout] test partial_blocks_swap_when_compound_left_would_need_move_but_right_is_c ... ok
[INFO] [stdout] test full_swap_b_a ... ok
[INFO] [stdout] test commute_reorder_rule_get_desc ... ok
[INFO] [stdout] test partial_blocks_swap_when_left_is_c ... ok
[INFO] [stdout] test partial_blocks_swap_when_right_is_c ... ok
[INFO] [stdout] test full_swap_c_b ... ok
[INFO] [stdout] test full_swap_c_a ... ok
[INFO] [stderr]      Running tests/test_rule_primitive_root.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/156c14c23faf1cd5/out/test_rule_primitive_root-156c14c23faf1cd5)
[INFO] [stdout] test partial_allows_swap_when_no_c ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test closure_rule_get_desc_returns_name ... ok
[INFO] [stdout] test double_star_reduce_no_fire_on_star_single ... ok
[INFO] [stdout] test concat_empty_right_fires ... ok
[INFO] [stdout] test closure_rule_receives_position ... ok
[INFO] [stdout] test alt_epsilon_right_fires ... ok
[INFO] [stdout] test concat_epsilon_left_fires ... ok
[INFO] [stdout] test alt_no_fire_on_nested_stars ... ok
[INFO] [stdout] test concat_empty_left_fires ... ok
[INFO] [stdout] test root_rule_and_closure_agree_on_alt_cases ... ok
[INFO] [stdout] test alt_empty_left_fires ... ok
[INFO] [stdout] test double_star_reduce_fires ... ok
[INFO] [stdout] test concat_no_fire_on_nested_stars ... ok
[INFO] [stdout] test concat_epsilon_right_fires ... ok
[INFO] [stdout] test alt_epsilon_left_fires ... ok
[INFO] [stdout] test concat_rule_no_fire_on_alt ... ok
[INFO] [stdout] test alt_empty_right_fires ... ok
[INFO] [stdout] test root_rule_and_closure_agree_on_concat_cases ... ok
[INFO] [stdout] test root_rule_get_desc_returns_name ... ok
[INFO] [stdout] test closure_rule_receives_context_term ... ok
[INFO] [stdout] test star_empty_fires ... ok
[INFO] [stdout] test star_rules_do_not_fire_on_wrong_operator ... ok
[INFO] [stdout] test star_epsilon_no_fire_on_star_empty ... ok
[INFO] [stdout] test star_empty_no_fire_on_star_epsilon ... ok
[INFO] [stdout] test star_epsilon_fires ... ok
[INFO] [stdout] test root_rule_and_closure_agree_on_star_cases ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_strategy_anychild.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/fe442bc275be12da/out/test_strategy_anychild-fe442bc275be12da)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test outermost_and_innermost_diverge ... ok
[INFO] [stdout] test anychild_on_leaf_is_empty ... ok
[INFO] [stdout] test innermost_fires_at_deeper_position ... ok
[INFO] [stdout] test leftmost_picks_first_child ... ok
[INFO] [stdout] test anychild_on_term_with_no_applicable_child_is_empty ... ok
[INFO] [stdout] test rightmost_picks_last_child ... ok
[INFO] [stdout] test outermost_second_branch_when_rule_fires_two_levels_deep ... ok
[INFO] [stdout] test outermost_fires_at_shallower_position ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_strategy_pipe.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/c4bc95caefe63a17/out/test_strategy_pipe-c4bc95caefe63a17)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test pipe_both_fire ... ok
[INFO] [stdout] test pipe_three_steps_all_fire ... ok
[INFO] [stderr]      Running tests/test_strategy_repeat.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/020569fef870f73c/out/test_strategy_repeat-020569fef870f73c)
[INFO] [stdout] test pipe_fails_when_second_fails ... ok
[INFO] [stdout] test pipe_three_steps ... ok
[INFO] [stdout] test pipe_fails_when_first_fails ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test repeat_multi_step_double_star ... ok
[INFO] [stdout] test repeat_never_fires_returns_original ... ok
[INFO] [stdout] test repeat_single_step_to_fixpoint ... ok
[INFO] [stderr]      Running tests/test_strategy_rule.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/c985393d82871d18/out/test_strategy_rule-c985393d82871d18)
[INFO] [stdout] test repeat_with_try_all_paths_reduces_each_branch_independently ... ok
[INFO] [stdout] test repeat_with_anychild_normalizes_term ... ok
[INFO] [stdout] test repeat_with_try_all_paths_explores_every_branch_to_fixpoint ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test rule_does_not_descend_into_sub_terms ... ok
[INFO] [stdout] test rule_on_leaf_term_no_match ... ok
[INFO] [stdout] test rule_concat_left_epsilon_fires ... ok
[INFO] [stdout] test rule_does_not_fire_at_root_wrong_operator ... ok
[INFO] [stdout] test rule_fires_at_root ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_strategy_tryallpaths.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/e8ca1ac475aaa3bf/out/test_strategy_tryallpaths-e8ca1ac475aaa3bf)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test try_all_paths_duplicates_not_removed ... ok
[INFO] [stdout] test try_all_paths_empty_list_fails ... ok
[INFO] [stdout] test try_all_paths_two_fire_distinct_results ... ok
[INFO] [stdout] test try_all_paths_one_fires ... ok
[INFO] [stdout] test try_all_paths_all_fail ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_strategy_tryonepath.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/79e8df79ac101725/out/test_strategy_tryonepath-79e8df79ac101725)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test try_one_path_all_fail ... ok
[INFO] [stdout] test try_one_path_earlier_wins_when_both_applicable ... ok
[INFO] [stdout] test try_one_path_first_fires ... ok
[INFO] [stdout] test try_one_path_second_fires_when_first_fails ... ok
[INFO] [stdout] test try_one_path_empty_list_fails ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_term_eq_hash.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/eb62303b0508a1bc/out/test_term_eq_hash-eb62303b0508a1bc)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test clone_has_same_hash ... ok
[INFO] [stdout] test clone_equals_original ... ok
[INFO] [stdout] test different_atoms_are_not_equal ... ok
[INFO] [stdout] test equality_is_reflexive ... ok
[INFO] [stdout] test different_depths_are_not_equal ... ok
[INFO] [stdout] test deeply_nested_equal_terms_are_equal_and_same_hash ... ok
[INFO] [stdout] test equality_is_transitive ... ok
[INFO] [stdout] test usable_as_hashmap_key ... ok
[INFO] [stdout] test independently_built_equal_terms_have_equal_hashes ... ok
[INFO] [stdout] test equality_is_symmetric ... ok
[INFO] [stdout] test same_operator_different_children_are_not_equal ... ok
[INFO] [stdout] test hashset_deduplicates_equal_terms ... ok
[INFO] [stdout] test hashset_keeps_distinct_terms_separate ... ok
[INFO] [stdout] test independently_built_equal_terms_are_equal ... ok
[INFO] [stderr]      Running tests/test_util_assoc.rs (/opt/rustwide/target/debug/build/simple_term_rewriter/7462de3d1cd13a85/out/test_util_assoc-7462de3d1cd13a85)
[INFO] [stdout] test different_operators_are_not_equal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test fold_empty_no_default_returns_none ... ok
[INFO] [stdout] test fold_one_element_returns_it_unchanged ... ok
[INFO] [stdout] test get_assoc_four_elements_mixed_association ... ok
[INFO] [stdout] test get_assoc_flat_pair ... ok
[INFO] [stdout] test get_assoc_right_associated_chain ... ok
[INFO] [stdout] test get_assoc_left_associated_chain ... ok
[INFO] [stdout] test fold_three_elements_is_right_associated ... ok
[INFO] [stdout] test get_assoc_binary_non_matching_root ... ok
[INFO] [stdout] test fold_four_elements_is_right_associated ... ok
[INFO] [stdout] test get_assoc_leaf_non_matching_op ... ok
[INFO] [stdout] test get_assoc_stops_at_non_matching_subtree ... ok
[INFO] [stdout] test round_trip_left_chain_gives_right_associated ... ok
[INFO] [stdout] test get_assoc_preserves_order ... ok
[INFO] [stdout] test fold_empty_with_default_returns_leaf ... ok
[INFO] [stdout] test fold_two_elements_returns_binary_node ... ok
[INFO] [stdout] test round_trip_right_associated_chain_is_identity ... ok
[INFO] [stdout] test round_trip_single_leaf_is_identity ... ok
[INFO] [stderr]    Doc-tests simple_term_rewriter
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/rules/combinators/guarded.rs - rules::combinators::guarded::GuardedRule (line 27) ... ok
[INFO] [stdout] test src/rule.rs - rule::ClosureRewriteRule (line 66) ... ok
[INFO] [stdout] test src/rules/primitives/root.rs - rules::primitives::root::RootRule (line 30) ... ok
[INFO] [stdout] test src/term/syntax.rs - term::syntax::term (line 147) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.53s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922", kill_on_drop: false }`
[INFO] [stdout] 4a5d68443f335b6af73b32a57dc052ffadb864c980d49c9d55575c84ac962922
