[INFO] fetching crate aws-smt-strings 0.3.0...
[INFO] testing aws-smt-strings-0.3.0 against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] extracting crate aws-smt-strings 0.3.0 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate aws-smt-strings 0.3.0 on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate aws-smt-strings 0.3.0
[INFO] finished tweaking crates.io crate aws-smt-strings 0.3.0
[INFO] tweaked toml for crates.io crate aws-smt-strings 0.3.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 909b375d0b319ccab1e1cfab54bfd5362131f994a6bd1c74d524450e91c3078e
[INFO] running `Command { std: "docker" "start" "-a" "909b375d0b319ccab1e1cfab54bfd5362131f994a6bd1c74d524450e91c3078e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "909b375d0b319ccab1e1cfab54bfd5362131f994a6bd1c74d524450e91c3078e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "909b375d0b319ccab1e1cfab54bfd5362131f994a6bd1c74d524450e91c3078e", kill_on_drop: false }`
[INFO] [stdout] 909b375d0b319ccab1e1cfab54bfd5362131f994a6bd1c74d524450e91c3078e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bc697e2a7bddf64735c16a8f3d77b2f5297a42f8f1a2aae59d9a4ea028c06653
[INFO] running `Command { std: "docker" "start" "-a" "bc697e2a7bddf64735c16a8f3d77b2f5297a42f8f1a2aae59d9a4ea028c06653", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.09s
[INFO] running `Command { std: "docker" "inspect" "bc697e2a7bddf64735c16a8f3d77b2f5297a42f8f1a2aae59d9a4ea028c06653", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bc697e2a7bddf64735c16a8f3d77b2f5297a42f8f1a2aae59d9a4ea028c06653", kill_on_drop: false }`
[INFO] [stdout] bc697e2a7bddf64735c16a8f3d77b2f5297a42f8f1a2aae59d9a4ea028c06653
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a709f7e7ee8f2cd2bc9b5825df122c37e2413b6e4881f4a405d1eb34edaa0b8d
[INFO] running `Command { std: "docker" "start" "-a" "a709f7e7ee8f2cd2bc9b5825df122c37e2413b6e4881f4a405d1eb34edaa0b8d", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.60s
[INFO] running `Command { std: "docker" "inspect" "a709f7e7ee8f2cd2bc9b5825df122c37e2413b6e4881f4a405d1eb34edaa0b8d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a709f7e7ee8f2cd2bc9b5825df122c37e2413b6e4881f4a405d1eb34edaa0b8d", kill_on_drop: false }`
[INFO] [stdout] a709f7e7ee8f2cd2bc9b5825df122c37e2413b6e4881f4a405d1eb34edaa0b8d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6a9a02e6ed6e01edde25fd1a5560641b3bc0288a638ebcca9d515de38a8b7cde
[INFO] running `Command { std: "docker" "start" "-a" "6a9a02e6ed6e01edde25fd1a5560641b3bc0288a638ebcca9d515de38a8b7cde", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aws_smt_strings-45f473925937f07c)
[INFO] [stdout] 
[INFO] [stdout] running 59 tests
[INFO] [stdout] test character_sets::test::test_cover ... ok
[INFO] [stdout] test automata::test::test_builder ... 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 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 labeled_queues::test::test ... ok
[INFO] [stdout] test loop_ranges::test::test_scale ... ok
[INFO] [stdout] test loop_ranges::test::test_shift ... 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_all_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile3 ... ok
[INFO] [stdout] test regular_expressions::tests::test_base_patterns ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile ... 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_compile4 ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile5 ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_from_str ... 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_compile6 ... ok
[INFO] [stdout] test smt_strings::tests::test_at ... ok
[INFO] [stdout] test smt_strings::tests::test_format ... ok
[INFO] [stdout] test regular_expressions::tests::test_inter ... ok
[INFO] [stdout] test smt_strings::tests::test_code ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv ... ok
[INFO] [stdout] test smt_strings::tests::test_indexof ... ok
[INFO] [stdout] test smt_strings::tests::test_int ... ok
[INFO] [stdout] test regular_expressions::tests::test_union ... ok
[INFO] [stdout] test regular_expressions::tests::test_loop ... ok
[INFO] [stdout] test smt_strings::tests::test_constructors ... ok
[INFO] [stdout] test smt_strings::tests::test_concat ... ok
[INFO] [stdout] test smt_strings::tests::test_is_digit ... 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_replace_all ... 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 regular_expressions::tests::test_bounded_compile ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check2 ... 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. 59 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[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::pick_in_class (line 791) ... 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::start (line 628) ... 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::num_classes (line 759) ... 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::valid_class_id (line 733) ... 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::good_char_set (line 979) ... 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::try_from_iter (line 463) ... 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::from_set (line 436) ... 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::try_from_list (line 519) ... 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_before (line 158) ... 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_after (line 175) ... 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::is_singleton (line 207) ... 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_alphabet (line 223) ... 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/character_sets.rs - character_sets::CharSet::size (line 192) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::compile (line 2267) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_set (line 1198) ... ok
[INFO] [stdout] test src/loop_ranges.rs - loop_ranges::LoopRange::right_mul_is_exact (line 315) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char (line 1582) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::class_derivative (line 1944) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::complement (line 1224) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager (line 1027) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat (line 1247) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::empty (line 1118) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat_list (line 1305) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::diff (line 1525) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::epsilon (line 1154) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::exp (line 1698) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_derivative (line 2051) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::full (line 1137) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::get_string (line 2197) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::mk_loop (line 1338) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::range (line 1608) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::plus (line 1651) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::is_empty_re (line 2145) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_loop (line 1721) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::star (line 1629) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::opt (line 1673) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::sigma_plus (line 1175) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::set_derivative (line 2004) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str (line 1773) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::inter (line 1437) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_in_re (line 2122) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::start_char (line 1854) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_derivative (line 2082) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_range (line 1746) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::union (line 1481) ... 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_comp (line 208) ... 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 2301) ... 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_power (line 300) ... 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_inter (line 157) ... 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_range (line 284) ... 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_diff (line 224) ... 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::str_replace_re (line 362) ... 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_in_re (line 334) ... 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 113) ... 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_inter_list (line 175) ... 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::re_union_list (line 139) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_contains (line 740) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_indexof (line 768) ... 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_is_digit (line 873) ... 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::str_to_re (line 24) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_at (line 602) ... 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_from_int (line 969) ... 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_le (line 675) ... 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_lt (line 650) ... 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_suffixof (line 719) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_replace_all (line 839) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_to_int (line 935) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 101 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.15s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "6a9a02e6ed6e01edde25fd1a5560641b3bc0288a638ebcca9d515de38a8b7cde", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6a9a02e6ed6e01edde25fd1a5560641b3bc0288a638ebcca9d515de38a8b7cde", kill_on_drop: false }`
[INFO] [stdout] 6a9a02e6ed6e01edde25fd1a5560641b3bc0288a638ebcca9d515de38a8b7cde
