[INFO] fetching crate aws-smt-strings 0.1.0...
[INFO] testing aws-smt-strings-0.1.0 against 1.69.0 for beta-1.70-1
[INFO] extracting crate aws-smt-strings 0.1.0 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate aws-smt-strings 0.1.0 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate aws-smt-strings 0.1.0
[INFO] finished tweaking crates.io crate aws-smt-strings 0.1.0
[INFO] tweaked toml for crates.io crate aws-smt-strings 0.1.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0b45ce72961e599204ea3309b6e8fca9cb5a4368848b2b5924673993a36c5de8
[INFO] running `Command { std: "docker" "start" "-a" "0b45ce72961e599204ea3309b6e8fca9cb5a4368848b2b5924673993a36c5de8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0b45ce72961e599204ea3309b6e8fca9cb5a4368848b2b5924673993a36c5de8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b45ce72961e599204ea3309b6e8fca9cb5a4368848b2b5924673993a36c5de8", kill_on_drop: false }`
[INFO] [stdout] 0b45ce72961e599204ea3309b6e8fca9cb5a4368848b2b5924673993a36c5de8
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8db97e6459c736f19b011ffc0d8f77be8af7b6e2453a2d7207123b661f01e5fa
[INFO] running `Command { std: "docker" "start" "-a" "8db97e6459c736f19b011ffc0d8f77be8af7b6e2453a2d7207123b661f01e5fa", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.69s
[INFO] running `Command { std: "docker" "inspect" "8db97e6459c736f19b011ffc0d8f77be8af7b6e2453a2d7207123b661f01e5fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8db97e6459c736f19b011ffc0d8f77be8af7b6e2453a2d7207123b661f01e5fa", kill_on_drop: false }`
[INFO] [stdout] 8db97e6459c736f19b011ffc0d8f77be8af7b6e2453a2d7207123b661f01e5fa
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8e626f40fd3b64db164a72813ad1a27df23b7bfa945fc3601baca8ae3f550d3a
[INFO] running `Command { std: "docker" "start" "-a" "8e626f40fd3b64db164a72813ad1a27df23b7bfa945fc3601baca8ae3f550d3a", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.34s
[INFO] running `Command { std: "docker" "inspect" "8e626f40fd3b64db164a72813ad1a27df23b7bfa945fc3601baca8ae3f550d3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e626f40fd3b64db164a72813ad1a27df23b7bfa945fc3601baca8ae3f550d3a", kill_on_drop: false }`
[INFO] [stdout] 8e626f40fd3b64db164a72813ad1a27df23b7bfa945fc3601baca8ae3f550d3a
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 74ebb32aa0bb62d80d64da5047e1d50859d7997291d8ffe38d803100ad8e6ec3
[INFO] running `Command { std: "docker" "start" "-a" "74ebb32aa0bb62d80d64da5047e1d50859d7997291d8ffe38d803100ad8e6ec3", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.00s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aws_smt_strings-7195ecf7aa08a8a7)
[INFO] [stdout] 
[INFO] [stdout] running 56 tests
[INFO] [stdout] test character_sets::test::test_cover ... ok
[INFO] [stdout] test automata::test::test_remove_unreachable ... ok
[INFO] [stdout] test character_sets::test::test_from_list ... ok
[INFO] [stdout] test automata::test::test_minimizer ... ok
[INFO] [stdout] test character_sets::test::test_inter ... ok
[INFO] [stdout] test automata::test::test_builder ... ok
[INFO] [stdout] test character_sets::test::test_merge ... ok
[INFO] [stdout] test character_sets::test::test_search ... ok
[INFO] [stdout] test character_sets::test::test_simple ... ok
[INFO] [stdout] test character_sets::test::test_union ... ok
[INFO] [stdout] test fast_sets::test::test ... ok
[INFO] [stdout] test loop_ranges::test::basic ... ok
[INFO] [stdout] test loop_ranges::test::test_add ... ok
[INFO] [stdout] test loop_ranges::test::test_mul ... ok
[INFO] [stdout] test loop_ranges::test::test_scale ... ok
[INFO] [stdout] test loop_ranges::test::test_shift ... ok
[INFO] [stdout] test labeled_queues::test::test ... ok
[INFO] [stdout] test partitions::test::test ... ok
[INFO] [stdout] test regular_expressions::tests::hash_atoms ... ok
[INFO] [stdout] test regular_expressions::tests::test_char_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile ... ok
[INFO] [stdout] test regular_expressions::tests::test_base_patterns ... ok
[INFO] [stdout] test regular_expressions::tests::test_complement ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv3 ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_concat ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check ... ok
[INFO] [stdout] test regular_expressions::tests::test_from_str ... ok
[INFO] [stdout] test smt_strings::tests::test_at ... ok
[INFO] [stdout] test smt_strings::tests::test_concat ... ok
[INFO] [stdout] test regular_expressions::tests::test_loop ... ok
[INFO] [stdout] test smt_strings::tests::test_code ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_all_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_union ... ok
[INFO] [stdout] test smt_strings::tests::test_constructors ... ok
[INFO] [stdout] test smt_strings::tests::test_format ... ok
[INFO] [stdout] test smt_strings::tests::test_indexof ... ok
[INFO] [stdout] test smt_strings::tests::test_int ... ok
[INFO] [stdout] test smt_strings::tests::test_is_digit ... ok
[INFO] [stdout] test smt_strings::tests::test_length ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_inter ... ok
[INFO] [stdout] test smt_strings::tests::test_parsing ... ok
[INFO] [stdout] test smt_strings::tests::test_replace ... ok
[INFO] [stdout] test smt_strings::tests::test_substr ... ok
[INFO] [stdout] test smt_strings::tests::test_substrings ... ok
[INFO] [stdout] test regular_expressions::tests::test_sub_terms ... ok
[INFO] [stdout] test store::test_store::build_a_store ... ok
[INFO] [stdout] test smt_strings::tests::test_replace_all ... ok
[INFO] [stdout] test smt_strings::tests::test_lexorder ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile3 ... ok
[INFO] [stdout] test regular_expressions::tests::test_bounded_compile ... ok
[INFO] [stdout] test regular_expressions::tests::test_derivative_iter ... ok
[INFO] [stdout] test regular_expressions::tests::bigger_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 56 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests aws-smt-strings
[INFO] [stdout] 
[INFO] [stdout] running 101 tests
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::good_char_set (line 979) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::interval (line 610) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::interval_cover (line 881) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::try_from_list (line 519) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::num_classes (line 759) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::push (line 553) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::pick_complement (line 714) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::start (line 628) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::end (line 652) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::pick (line 678) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::get (line 581) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::from_set (line 436) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::valid_class_id (line 733) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::empty_complement (line 694) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::pick_in_class (line 791) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharPartition::try_from_iter (line 463) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::covers (line 139) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::is_alphabet (line 223) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::contains (line 124) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::is_after (line 175) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::is_singleton (line 207) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::is_before (line 158) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::inter (line 257) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::size (line 192) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::merge_partitions (line 1088) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::union (line 303) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager (line 1029) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::pick (line 239) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char (line 1584) ... ok
[INFO] [stdout] test src/loop_ranges.rs - loop_ranges::LoopRange::right_mul_is_exact (line 324) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_derivative (line 2053) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_set (line 1200) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::class_derivative (line 1946) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::diff (line 1527) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::empty (line 1120) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat_list (line 1307) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::complement (line 1226) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat (line 1249) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::compile (line 2269) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::epsilon (line 1156) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::get_string (line 2199) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::inter (line 1439) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::full (line 1139) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::exp (line 1700) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::is_empty_re (line 2147) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::mk_loop (line 1340) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::opt (line 1675) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::plus (line 1653) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::range (line 1610) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::sigma_plus (line 1177) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_range (line 1748) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::set_derivative (line 2006) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_loop (line 1723) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str (line 1775) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::star (line 1631) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::start_char (line 1856) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_derivative (line 2084) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_in_re (line 2124) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_all (line 55) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_allchar (line 70) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::try_compile (line 2303) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_comp (line 208) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::union (line 1483) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_concat (line 87) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_diff (line 224) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_loop (line 316) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_concat_list (line 103) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_inter_list (line 175) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_opt (line 267) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_plus (line 252) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_none (line 40) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_inter (line 157) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_range (line 284) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_power (line 300) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_union (line 120) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_star (line 193) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_union_list (line 139) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::str_replace_re (line 362) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 136) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::parse_smt_literal (line 332) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::str_to_re (line 24) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::str_replace_re_all (line 393) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 112) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::str_in_re (line 334) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_at (line 601) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_contains (line 739) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_concat (line 568) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_from_code (line 908) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_le (line 674) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_indexof (line 767) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_from_int (line 968) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_replace (line 801) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_is_digit (line 872) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_prefixof (line 697) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_len (line 584) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_suffixof (line 718) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_lt (line 649) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_to_int (line 934) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_replace_all (line 838) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_substr (line 625) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_to_code (line 886) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 101 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.84s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "74ebb32aa0bb62d80d64da5047e1d50859d7997291d8ffe38d803100ad8e6ec3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74ebb32aa0bb62d80d64da5047e1d50859d7997291d8ffe38d803100ad8e6ec3", kill_on_drop: false }`
[INFO] [stdout] 74ebb32aa0bb62d80d64da5047e1d50859d7997291d8ffe38d803100ad8e6ec3
