[INFO] fetching crate smt-str 0.2.3... [INFO] testing smt-str-0.2.3 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] extracting crate smt-str 0.2.3 into /workspace/builds/worker-1-tc2/source [INFO] started tweaking crates.io crate smt-str 0.2.3 [INFO] finished tweaking crates.io crate smt-str 0.2.3 [INFO] tweaked toml for crates.io crate smt-str 0.2.3 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate smt-str 0.2.3 on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate smt-str 0.2.3 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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e041db68c3d52216d60aa64d77c49cb00691393f3e002b587e87dbd6f5a3752e [INFO] running `Command { std: "docker" "start" "-a" "e041db68c3d52216d60aa64d77c49cb00691393f3e002b587e87dbd6f5a3752e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e041db68c3d52216d60aa64d77c49cb00691393f3e002b587e87dbd6f5a3752e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e041db68c3d52216d60aa64d77c49cb00691393f3e002b587e87dbd6f5a3752e", kill_on_drop: false }` [INFO] [stdout] e041db68c3d52216d60aa64d77c49cb00691393f3e002b587e87dbd6f5a3752e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f18018413501eb895fb815fd74e25d567d33e716519981ae5c32fdd18efd3529 [INFO] running `Command { std: "docker" "start" "-a" "f18018413501eb895fb815fd74e25d567d33e716519981ae5c32fdd18efd3529", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling log v0.4.26 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling quickcheck v1.0.3 [INFO] [stderr] Compiling smt-str v0.2.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/lib.rs:988:17 [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter<'_, SmtChar> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.56s [INFO] running `Command { std: "docker" "inspect" "f18018413501eb895fb815fd74e25d567d33e716519981ae5c32fdd18efd3529", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f18018413501eb895fb815fd74e25d567d33e716519981ae5c32fdd18efd3529", kill_on_drop: false }` [INFO] [stdout] f18018413501eb895fb815fd74e25d567d33e716519981ae5c32fdd18efd3529 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 38480205c9ebf70296e59d01780999d4ce572b8b94c894c493a794b88e1eab71 [INFO] running `Command { std: "docker" "start" "-a" "38480205c9ebf70296e59d01780999d4ce572b8b94c894c493a794b88e1eab71", kill_on_drop: false }` [INFO] [stderr] Compiling getrandom v0.3.1 [INFO] [stderr] Compiling zerocopy v0.8.23 [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/lib.rs:988:17 [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter<'_, SmtChar> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling quote v1.0.39 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.0 [INFO] [stderr] Compiling quickcheck_macros v1.0.0 [INFO] [stderr] Compiling smt-str v0.2.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/lib.rs:988:17 [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 988 | pub fn iter(&self) -> std::slice::Iter<'_, SmtChar> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 8.24s [INFO] running `Command { std: "docker" "inspect" "38480205c9ebf70296e59d01780999d4ce572b8b94c894c493a794b88e1eab71", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "38480205c9ebf70296e59d01780999d4ce572b8b94c894c493a794b88e1eab71", kill_on_drop: false }` [INFO] [stdout] 38480205c9ebf70296e59d01780999d4ce572b8b94c894c493a794b88e1eab71 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 59a966bb72b22506e707e365732fcbb69932f83ac5220e494339a6a33e055f24 [INFO] running `Command { std: "docker" "start" "-a" "59a966bb72b22506e707e365732fcbb69932f83ac5220e494339a6a33e055f24", kill_on_drop: false }` [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/lib.rs:988:17 [INFO] [stderr] | [INFO] [stderr] 988 | pub fn iter(&self) -> std::slice::Iter { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 988 | pub fn iter(&self) -> std::slice::Iter<'_, SmtChar> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `smt-str` (lib) generated 1 warning (run `cargo fix --lib -p smt-str` to apply 1 suggestion) [INFO] [stderr] warning: `smt-str` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/smt_str-b0c4b8565019e467) [INFO] [stdout] [INFO] [stdout] running 113 tests [INFO] [stdout] test alphabet::partition::test::test_refine_adjacent_ranges ... ok [INFO] [stdout] test alphabet::partition::test::test_insert_overlapping ... ok [INFO] [stdout] test alphabet::partition::test::test_insert_non_overlapping ... ok [INFO] [stdout] test alphabet::partition::test::test_refine_fully_overlapping ... ok [INFO] [stdout] test alphabet::partition::test::test_refine_partial_overlap ... ok [INFO] [stdout] test alphabet::partition::test::test_remove_partition ... ok [INFO] [stdout] test alphabet::partition::test::test_singleton_partitioning ... ok [INFO] [stdout] test alphabet::partition::test::test_refine_with_no_overlap ... ok [INFO] [stdout] test alphabet::tests::all_range_contains_all_chars ... ok [INFO] [stdout] test alphabet::partition::test::test_empty_partitioning ... ok [INFO] [stdout] test alphabet::partition::test::test_refine_complex_overlaps ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_adjacent ... ok [INFO] [stdout] test alphabet::tests::alphabet_complement_self_full ... ok [INFO] [stdout] test alphabet::partition::test::refine_al_subsumed ... ok [INFO] [stdout] test alphabet::tests::alphabet_intersect_all ... ok [INFO] [stdout] test alphabet::tests::alphabet_complement_self ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_comp_self_but_last ... ok [INFO] [stdout] test alphabet::tests::alphabet_intersect_self ... ok [INFO] [stdout] test alphabet::tests::alphabet_insert_complement ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_all ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_comp_self ... ok [INFO] [stdout] test alphabet::tests::alphabet_non_normalized ... ok [INFO] [stdout] test alphabet::tests::alphabet_intersect_empty ... ok [INFO] [stdout] test alphabet::tests::alphabet_full_complement_empty ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_disjoint ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_multiple_merge ... ok [INFO] [stdout] test alphabet::tests::complement_range_from_zero ... ok [INFO] [stdout] test alphabet::tests::complement_range_to_max ... ok [INFO] [stdout] test alphabet::tests::alphabet_intersect_comp_self ... ok [INFO] [stdout] test alphabet::tests::intersect_disjoint ... ok [INFO] [stdout] test alphabet::tests::complement_multiple_ranges ... ok [INFO] [stdout] test alphabet::tests::intersect_adjacent_is_empty ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_empty ... ok [INFO] [stdout] test alphabet::tests::alphabet_non_normalized_two_ranges ... ok [INFO] [stdout] test alphabet::tests::intersect_overlap ... ok [INFO] [stdout] test alphabet::tests::intersect_subset ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_overlapping ... ok [INFO] [stdout] test alphabet::tests::intersect_multiple_ranges ... ok [INFO] [stdout] test alphabet::tests::range_difference_all ... ok [INFO] [stdout] test alphabet::tests::range_difference_empty ... ok [INFO] [stdout] test alphabet::tests::range_difference_self ... ok [INFO] [stdout] test alphabet::tests::range_intersect_all ... ok [INFO] [stdout] test alphabet::tests::subtract_leading_overlap ... ok [INFO] [stdout] test alphabet::tests::range_intersect_self ... ok [INFO] [stdout] test alphabet::tests::subtract_multiple_ranges ... ok [INFO] [stdout] test alphabet::tests::complement_single_range ... ok [INFO] [stdout] test alphabet::tests::range_intersect_empty ... ok [INFO] [stdout] test alphabet::tests::subtract_disjoint ... ok [INFO] [stdout] test alphabet::tests::subtract_from_empty_is_empty ... ok [INFO] [stdout] test alphabet::tests::subtract_self_is_empty ... ok [INFO] [stdout] test alphabet::tests::subtract_trailing_overlap ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_adjacent_right_merges ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_adjacent_left_merges ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_disjoint_apart ... ok [INFO] [stdout] test alphabet::tests::subtract_complete_overlap ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_empty ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_inside_existing_range_no_change ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_non_overlapping ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_overlapping_left_merges ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_overlapping_right_merges ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_single_char_merges_with_existing ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_insert_touching_multiple_merges_all ... ok [INFO] [stdout] test alphabet::tests::subtract_partial_overlap_middle ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_contains ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_self ... ok [INFO] [stdout] test tests::append_empty_right_neutral ... ok [INFO] [stdout] test tests::contains_empty ... ok [INFO] [stdout] test tests::index_of_empty_is_always_zero ... ok [INFO] [stdout] test tests::append_empty_left_neutral ... ok [INFO] [stdout] test alphabet::tests::subtract_empty_neutral ... ok [INFO] [stdout] test alphabet::tests::subtract_all_empty ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_test_alphabet_insert_subsuming_range ... ok [INFO] [stdout] test alphabet::tests::test_alphabet_contains_2 ... ok [INFO] [stdout] test tests::next_prev_inverse ... ok [INFO] [stdout] test tests::prev_next_inverse ... ok [INFO] [stdout] test tests::test_parse_valid_string_with_multiple_escape ... ok [INFO] [stdout] test tests::test_replace_all_basic ... ok [INFO] [stdout] test tests::test_parse_valid_string_with_one_escape ... ok [INFO] [stdout] test tests::test_replace_all_complete ... ok [INFO] [stdout] test tests::test_parse_valid_strings_without_escaped ... ok [INFO] [stdout] test tests::test_parse_invalid_escape_sequences ... ok [INFO] [stdout] test tests::test_replace_all_no_match ... ok [INFO] [stdout] test tests::test_escape_unescape_inverse ... ok [INFO] [stdout] test tests::reverse_reverse_inverse ... ok [INFO] [stdout] test tests::test_replace_all_overlapping_occurrences ... ok [INFO] [stdout] test tests::test_replace_all_empty_to ... ok [INFO] [stdout] test tests::test_replace_all_full_string ... ok [INFO] [stdout] test tests::test_replace_at_start ... ok [INFO] [stdout] test tests::test_replace_all_empty_from ... ok [INFO] [stdout] test tests::test_replace_full_string ... ok [INFO] [stdout] test tests::test_replace_no_match ... ok [INFO] [stdout] test tests::test_replace_repeated_pattern ... ok [INFO] [stdout] test tests::test_replace_single_character ... ok [INFO] [stdout] test tests::test_replace_all_overlapping_occurrences_2 ... ok [INFO] [stdout] test tests::test_unescape_empty ... ok [INFO] [stdout] test tests::test_unescape_invalid_prefix ... ok [INFO] [stdout] test tests::test_unescape_too_large ... ok [INFO] [stdout] test tests::test_unescape_valid ... ok [INFO] [stdout] test tests::test_replace_empty_from ... ok [INFO] [stdout] test tests::test_replace_all_overlapping_occurrences_3 ... ok [INFO] [stdout] test tests::test_replace_empty_to ... ok [INFO] [stdout] test tests::test_replace_at_end ... ok [INFO] [stdout] test tests::test_unescape_not_hex ... ok [INFO] [stdout] test tests::test_unescape_invalid_braces ... ok [INFO] [stdout] test tests::next_past_max - should panic ... ok [INFO] [stdout] test tests::prev_past_min - should panic ... ok [INFO] [stdout] test tests::test_print_parse_inverse ... ok [INFO] [stdout] test alphabet::tests::subtract_correct ... ok [INFO] [stdout] test alphabet::tests::range_contain_all_between ... ok [INFO] [stdout] test alphabet::tests::range_intersect_correct ... ok [INFO] [stdout] test alphabet::tests::range_difference_correct ... ok [INFO] [stdout] test alphabet::tests::alphabet_union_correct ... ok [INFO] [stdout] test alphabet::tests::alphabet_intersect_correct ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 113 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.56s [INFO] [stdout] [INFO] [stderr] Doc-tests smt_str [INFO] [stdout] [INFO] [stdout] running 92 tests [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::subtract (line 864) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::len (line 557) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::contains (line 573) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::all (line 151) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::choose (line 262) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet (line 496) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::complement (line 821) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::end (line 243) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::insert (line 613) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::intersect (line 762) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::complement (line 388) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::is_empty (line 543) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::is_empty (line 209) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::covers (line 339) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::contains (line 318) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange (line 68) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::Alphabet::union (line 683) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::is_full (line 301) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::is_singleton (line 282) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet (line 8) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::empty (line 120) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::contains (line 133) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::intersect (line 360) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::start (line 225) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::singleton (line 136) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::new (line 97) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition (line 40) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::singleton (line 63) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::iter (line 191) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::insert_unchecked (line 112) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::iter (line 217) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::refine (line 191) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::len (line 170) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::insert (line 87) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::valid (line 237) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartition::remove (line 167) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::empty (line 292) ... ok [INFO] [stdout] test src/alphabet/mod.rs - alphabet::CharRange::subtract (line 426) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::get (line 390) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap (line 269) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::as_char (line 101) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::iter_mut (line 634) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::remove (line 413) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::add (line 392) ... ok [INFO] [stdout] test src/lib.rs - SmtChar (line 50) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::insert (line 330) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::overlaps (line 665) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::as_u32 (line 116) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::iter (line 612) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::singleton (line 307) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::prev (line 180) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::add (line 383) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::printable (line 232) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::next (line 136) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::next (line 129) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::insert_unchecked (line 366) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::escape (line 246) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::valid (line 689) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::saturating_next (line 166) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::saturating_add (line 406) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::prev (line 188) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::refine (line 462) ... ok [INFO] [stdout] test src/alphabet/partition.rs - alphabet::partition::AlphabetPartitionMap::refine_single (line 585) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::try_next (line 149) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::saturating_prev (line 218) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::saturating_sub (line 451) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::unescape (line 279) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::sub (line 437) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::sub (line 428) ... ok [INFO] [stdout] test src/lib.rs - SmtString::contains (line 739) ... ok [INFO] [stdout] test src/lib.rs - SmtChar::try_prev (line 201) ... ok [INFO] [stdout] test src/lib.rs - SmtString::drop (line 866) ... ok [INFO] [stdout] test src/lib.rs - SmtString::ends_with (line 804) ... ok [INFO] [stdout] test src/lib.rs - SmtString::contains_char (line 723) ... ok [INFO] [stdout] test src/lib.rs - SmtString::index_of (line 762) ... ok [INFO] [stdout] test src/lib.rs - SmtString::first (line 819) ... ok [INFO] [stdout] test src/lib.rs - SmtString::push (line 690) ... ok [INFO] [stdout] test src/lib.rs - SmtString (line 520) ... ok [INFO] [stdout] test src/lib.rs - SmtString::len (line 640) ... ok [INFO] [stdout] test src/lib.rs - SmtString::parse (line 580) ... ok [INFO] [stdout] test src/lib.rs - SmtString::clear (line 655) ... ok [INFO] [stdout] test src/lib.rs - SmtString::replace (line 936) ... ok [INFO] [stdout] test src/lib.rs - SmtString::reversed (line 896) ... ok [INFO] [stdout] test src/lib.rs - SmtString::starts_with (line 789) ... ok [INFO] [stdout] test src/lib.rs - SmtString::take (line 848) ... ok [INFO] [stdout] test src/lib.rs - SmtString::append (line 669) ... ok [INFO] [stdout] test src/lib.rs - SmtString::is_empty (line 627) ... ok [INFO] [stdout] test src/lib.rs - SmtString::replace_all (line 961) ... ok [INFO] [stdout] test src/lib.rs - SmtString::last (line 833) ... ok [INFO] [stdout] test src/lib.rs - SmtString::repeat (line 917) ... ok [INFO] [stdout] test src/lib.rs - SmtString::concat (line 707) ... ok [INFO] [stdout] test src/lib.rs - SmtString::nth (line 881) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 92 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "59a966bb72b22506e707e365732fcbb69932f83ac5220e494339a6a33e055f24", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "59a966bb72b22506e707e365732fcbb69932f83ac5220e494339a6a33e055f24", kill_on_drop: false }` [INFO] [stdout] 59a966bb72b22506e707e365732fcbb69932f83ac5220e494339a6a33e055f24