[INFO] fetching crate aws-smt-strings 0.4.0...
[INFO] testing aws-smt-strings-0.4.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] extracting crate aws-smt-strings 0.4.0 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate aws-smt-strings 0.4.0
[INFO] finished tweaking crates.io crate aws-smt-strings 0.4.0
[INFO] tweaked toml for crates.io crate aws-smt-strings 0.4.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate aws-smt-strings 0.4.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0b48be156e8347185111105eca892a82587814bdb01b971dc750f455528a21a9
[INFO] running `Command { std: "docker" "start" "-a" "0b48be156e8347185111105eca892a82587814bdb01b971dc750f455528a21a9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0b48be156e8347185111105eca892a82587814bdb01b971dc750f455528a21a9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0b48be156e8347185111105eca892a82587814bdb01b971dc750f455528a21a9", kill_on_drop: false }`
[INFO] [stdout] 0b48be156e8347185111105eca892a82587814bdb01b971dc750f455528a21a9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c1d4e83c47a6916e0375631a0e2762f7c6e991a9f8bf083d1a5938acdb67fd60
[INFO] running `Command { std: "docker" "start" "-a" "c1d4e83c47a6916e0375631a0e2762f7c6e991a9f8bf083d1a5938acdb67fd60", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.35s
[INFO] running `Command { std: "docker" "inspect" "c1d4e83c47a6916e0375631a0e2762f7c6e991a9f8bf083d1a5938acdb67fd60", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1d4e83c47a6916e0375631a0e2762f7c6e991a9f8bf083d1a5938acdb67fd60", kill_on_drop: false }`
[INFO] [stdout] c1d4e83c47a6916e0375631a0e2762f7c6e991a9f8bf083d1a5938acdb67fd60
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 72ae9d74d2701b0b99554f67584c6c7f54a5434f264dc03346b1c7fddd411b2a
[INFO] running `Command { std: "docker" "start" "-a" "72ae9d74d2701b0b99554f67584c6c7f54a5434f264dc03346b1c7fddd411b2a", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.21s
[INFO] running `Command { std: "docker" "inspect" "72ae9d74d2701b0b99554f67584c6c7f54a5434f264dc03346b1c7fddd411b2a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72ae9d74d2701b0b99554f67584c6c7f54a5434f264dc03346b1c7fddd411b2a", kill_on_drop: false }`
[INFO] [stdout] 72ae9d74d2701b0b99554f67584c6c7f54a5434f264dc03346b1c7fddd411b2a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9a1ede677aabaeb683064ece13d75697b0541c3c1c602cb1ce6439829bab57a0
[INFO] running `Command { std: "docker" "start" "-a" "9a1ede677aabaeb683064ece13d75697b0541c3c1c602cb1ce6439829bab57a0", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aws_smt_strings-139f72bec776951a)
[INFO] [stdout] 
[INFO] [stdout] running 60 tests
[INFO] [stdout] test automata::test::test_remove_unreachable ... ok
[INFO] [stdout] test automata::test::test_minimizer ... ok
[INFO] [stdout] test character_sets::test::test_cover ... ok
[INFO] [stdout] test character_sets::test::test_from_list ... ok
[INFO] [stdout] test character_sets::test::test_search ... ok
[INFO] [stdout] test character_sets::test::test_union ... ok
[INFO] [stdout] test fast_sets::test::test ... ok
[INFO] [stdout] test labeled_queues::test::test ... ok
[INFO] [stdout] test loop_ranges::test::test_shift ... ok
[INFO] [stdout] test loop_ranges::test::basic ... ok
[INFO] [stdout] test partitions::test::test ... ok
[INFO] [stdout] test regular_expressions::tests::test_base_patterns ... ok
[INFO] [stdout] test regular_expressions::tests::test_char_deriv ... ok
[INFO] [stdout] test loop_ranges::test::test_mul ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile ... ok
[INFO] [stdout] test loop_ranges::test::test_add ... ok
[INFO] [stdout] test loop_ranges::test::test_scale ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile4 ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile2 ... ok
[INFO] [stdout] test regular_expressions::tests::hash_atoms ... ok
[INFO] [stdout] test loop_ranges::test::test_mul_exact ... ok
[INFO] [stdout] test regular_expressions::tests::test_bounded_compile ... ok
[INFO] [stdout] test regular_expressions::tests::test_all_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile5 ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile3 ... ok
[INFO] [stdout] test character_sets::test::test_inter ... ok
[INFO] [stdout] test character_sets::test::test_merge ... ok
[INFO] [stdout] test character_sets::test::test_simple ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv3 ... ok
[INFO] [stdout] test automata::test::test_builder ... ok
[INFO] [stdout] test regular_expressions::tests::test_complement ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile6 ... ok
[INFO] [stdout] test regular_expressions::tests::test_from_str ... ok
[INFO] [stdout] test regular_expressions::tests::test_concat ... ok
[INFO] [stdout] test smt_strings::tests::test_code ... ok
[INFO] [stdout] test smt_strings::tests::test_concat ... ok
[INFO] [stdout] test smt_strings::tests::test_constructors ... ok
[INFO] [stdout] test regular_expressions::tests::test_inter ... ok
[INFO] [stdout] test regular_expressions::tests::test_loop ... ok
[INFO] [stdout] test regular_expressions::tests::test_union ... ok
[INFO] [stdout] test regular_expressions::tests::test_derivative_iter ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_sub_terms ... ok
[INFO] [stdout] test smt_strings::tests::test_at ... ok
[INFO] [stdout] test smt_strings::tests::test_int ... ok
[INFO] [stdout] test smt_strings::tests::test_length ... ok
[INFO] [stdout] test smt_strings::tests::test_lexorder ... 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_substrings ... ok
[INFO] [stdout] test smt_strings::tests::test_format ... ok
[INFO] [stdout] test store::test_store::build_a_store ... ok
[INFO] [stdout] test smt_strings::tests::test_indexof ... ok
[INFO] [stdout] test smt_strings::tests::test_is_digit ... ok
[INFO] [stdout] test smt_strings::tests::test_substr ... ok
[INFO] [stdout] test smt_strings::tests::test_replace_all ... ok
[INFO] [stdout] test regular_expressions::tests::bigger_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 60 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[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::get (line 581) ... 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::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::pick_complement (line 714) ... 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::start (line 628) ... ok
[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::empty_complement (line 694) ... 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::push (line 553) ... 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::CharSet::is_after (line 175) ... 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::CharSet::inter (line 257) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::contains (line 124) ... 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::pick (line 239) ... 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::is_singleton (line 207) ... 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::covers (line 139) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::size (line 192) ... ok
[INFO] [stdout] test src/loop_ranges.rs - loop_ranges::LoopRange::right_mul_is_exact (line 315) ... 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::char_derivative (line 2052) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::class_derivative (line 1945) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::diff (line 1526) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat (line 1248) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager (line 1028) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char (line 1583) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::full (line 1138) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_set (line 1199) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::merge_partitions (line 1088) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat_list (line 1306) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::epsilon (line 1155) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::exp (line 1699) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::empty (line 1119) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::inter (line 1438) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::complement (line 1225) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::compile (line 2268) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::opt (line 1674) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::get_string (line 2198) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_loop (line 1722) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::sigma_plus (line 1176) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::mk_loop (line 1339) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::range (line 1609) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::try_compile (line 2302) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::is_empty_re (line 2146) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::union (line 1482) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_in_re (line 2123) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_range (line 1747) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::plus (line 1652) ... 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_concat (line 87) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::star (line 1630) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_allchar (line 70) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_concat_list (line 103) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str (line 1774) ... 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::start_char (line 1855) ... 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_opt (line 267) ... 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_list (line 175) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_inter (line 157) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_derivative (line 2083) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::set_derivative (line 2005) ... 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_star (line 193) ... 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::re_plus (line 252) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_power (line 300) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 113) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_at (line 602) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 137) ... 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::parse_smt_literal (line 333) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_concat (line 569) ... 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::str_le (line 675) ... 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_is_digit (line 873) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_from_code (line 909) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_contains (line 740) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_union (line 120) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_from_int (line 969) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_indexof (line 768) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_len (line 585) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_replace (line 802) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_lt (line 650) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_substr (line 626) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_prefixof (line 698) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_suffixof (line 719) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_to_int (line 935) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_to_code (line 887) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_replace_all (line 839) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 101 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.69s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9a1ede677aabaeb683064ece13d75697b0541c3c1c602cb1ce6439829bab57a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a1ede677aabaeb683064ece13d75697b0541c3c1c602cb1ce6439829bab57a0", kill_on_drop: false }`
[INFO] [stdout] 9a1ede677aabaeb683064ece13d75697b0541c3c1c602cb1ce6439829bab57a0