[INFO] fetching crate aws-smt-strings 0.5.0...
[INFO] testing aws-smt-strings-0.5.0 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7
[INFO] extracting crate aws-smt-strings 0.5.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate aws-smt-strings 0.5.0
[INFO] finished tweaking crates.io crate aws-smt-strings 0.5.0
[INFO] tweaked toml for crates.io crate aws-smt-strings 0.5.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate aws-smt-strings 0.5.0 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate aws-smt-strings 0.5.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 74f9a2e5a4c6ccce6b82083760339552b7d9d35d44281b172f9e9e095ac0d736
[INFO] running `Command { std: "docker" "start" "-a" "74f9a2e5a4c6ccce6b82083760339552b7d9d35d44281b172f9e9e095ac0d736", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "74f9a2e5a4c6ccce6b82083760339552b7d9d35d44281b172f9e9e095ac0d736", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "74f9a2e5a4c6ccce6b82083760339552b7d9d35d44281b172f9e9e095ac0d736", kill_on_drop: false }`
[INFO] [stdout] 74f9a2e5a4c6ccce6b82083760339552b7d9d35d44281b172f9e9e095ac0d736
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 46767352a802573fbe355fd8bcc3530c51b6d669bbd63ea0d2d2a01de3e1a1c9
[INFO] running `Command { std: "docker" "start" "-a" "46767352a802573fbe355fd8bcc3530c51b6d669bbd63ea0d2d2a01de3e1a1c9", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.65s
[INFO] running `Command { std: "docker" "inspect" "46767352a802573fbe355fd8bcc3530c51b6d669bbd63ea0d2d2a01de3e1a1c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "46767352a802573fbe355fd8bcc3530c51b6d669bbd63ea0d2d2a01de3e1a1c9", kill_on_drop: false }`
[INFO] [stdout] 46767352a802573fbe355fd8bcc3530c51b6d669bbd63ea0d2d2a01de3e1a1c9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 236efccdfb174dadedd478c3a02789a2dc1eceab801490c05c5646058b6bf98f
[INFO] running `Command { std: "docker" "start" "-a" "236efccdfb174dadedd478c3a02789a2dc1eceab801490c05c5646058b6bf98f", kill_on_drop: false }`
[INFO] [stderr]    Compiling aws-smt-strings v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.25s
[INFO] running `Command { std: "docker" "inspect" "236efccdfb174dadedd478c3a02789a2dc1eceab801490c05c5646058b6bf98f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "236efccdfb174dadedd478c3a02789a2dc1eceab801490c05c5646058b6bf98f", kill_on_drop: false }`
[INFO] [stdout] 236efccdfb174dadedd478c3a02789a2dc1eceab801490c05c5646058b6bf98f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0ecb2e7fd2c1a80112083d3d245dd1fbf371014ac8c904a05851238311569dae
[INFO] running `Command { std: "docker" "start" "-a" "0ecb2e7fd2c1a80112083d3d245dd1fbf371014ac8c904a05851238311569dae", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aws_smt_strings-44f966928248ee17)
[INFO] [stdout] 
[INFO] [stdout] running 62 tests
[INFO] [stdout] test character_sets::test::test_cover ... ok
[INFO] [stdout] test automata::test::test_builder ... ok
[INFO] [stdout] test automata::test::test_minimizer ... ok
[INFO] [stdout] test automata::test::test_remove_unreachable ... 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 loop_ranges::test::test_add ... ok
[INFO] [stdout] test loop_ranges::test::test_mul ... ok
[INFO] [stdout] test loop_ranges::test::test_mul_exact ... ok
[INFO] [stdout] test character_sets::test::test_from_list ... ok
[INFO] [stdout] test loop_ranges::test::test_scale ... ok
[INFO] [stdout] test loop_ranges::test::test_shift ... ok
[INFO] [stdout] test fast_sets::test::test ... ok
[INFO] [stdout] test labeled_queues::test::test ... ok
[INFO] [stdout] test character_sets::test::test_inter ... ok
[INFO] [stdout] test partitions::test::test ... ok
[INFO] [stdout] test loop_ranges::test::basic ... ok
[INFO] [stdout] test regular_expressions::tests::hash_atoms ... 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_char_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile5 ... ok
[INFO] [stdout] test regular_expressions::tests::test_all_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile6 ... ok
[INFO] [stdout] test regular_expressions::tests::test_concat ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile4 ... 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_derivative_iter ... ok
[INFO] [stdout] test regular_expressions::tests::test_base_patterns ... ok
[INFO] [stdout] test regular_expressions::tests::test_compile2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check ... ok
[INFO] [stdout] test regular_expressions::tests::test_deriv ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check2 ... 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_empty_check_bounded ... ok
[INFO] [stdout] test regular_expressions::tests::test_empty_check_bounded_2 ... ok
[INFO] [stdout] test regular_expressions::tests::test_inter ... ok
[INFO] [stdout] test regular_expressions::tests::test_from_str ... ok
[INFO] [stdout] test smt_strings::tests::test_at ... ok
[INFO] [stdout] test regular_expressions::tests::test_loop ... 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 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 smt_strings::tests::test_lexorder ... ok
[INFO] [stdout] test regular_expressions::tests::test_sub_terms ... 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_substrings ... ok
[INFO] [stdout] test store::test_store::build_a_store ... ok
[INFO] [stdout] test smt_strings::tests::test_substr ... ok
[INFO] [stdout] test character_sets::test::test_merge ... ok
[INFO] [stdout] test regular_expressions::tests::test_union ... ok
[INFO] [stdout] test regular_expressions::tests::bigger_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 62 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests aws_smt_strings
[INFO] [stdout] 
[INFO] [stdout] running 102 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::empty_complement (line 694) ... 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 (line 678) ... 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::interval_cover (line 881) ... 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::push (line 553) ... 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::start (line 628) ... 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::get (line 581) ... 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::contains (line 124) ... 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::valid_class_id (line 733) ... 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::interval (line 610) ... 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::is_singleton (line 207) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager (line 1024) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::size (line 192) ... 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_after (line 175) ... 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::pick (line 239) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::class_derivative (line 1941) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char (line 1579) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_derivative (line 2048) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::complement (line 1221) ... ok
[INFO] [stdout] test src/character_sets.rs - character_sets::CharSet::union (line 303) ... 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::concat (line 1244) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::diff (line 1522) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::concat_list (line 1302) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::char_set (line 1195) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::compile (line 2301) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::empty (line 1115) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::exp (line 1695) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::inter (line 1434) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::full (line 1134) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::range (line 1605) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::is_empty_re_bounded (line 2173) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::sigma_plus (line 1172) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::get_string (line 2231) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::plus (line 1648) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::is_empty_re (line 2142) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::opt (line 1670) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::mk_loop (line 1335) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_range (line 1743) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::star (line 1626) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::epsilon (line 1151) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::start_char (line 1851) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::try_compile (line 2335) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::smt_loop (line 1718) ... 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_concat (line 87) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_derivative (line 2079) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::set_derivative (line 2001) ... 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_loop (line 316) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str (line 1770) ... ok
[INFO] [stdout] test src/smt_regular_expressions.rs - smt_regular_expressions::re_diff (line 224) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::str_in_re (line 2119) ... ok
[INFO] [stdout] test src/regular_expressions.rs - regular_expressions::ReManager::union (line 1478) ... 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_star (line 193) ... 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_list (line 103) ... 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::str_in_re (line 334) ... 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_range (line 284) ... 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::re_opt (line 267) ... 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 (line 362) ... 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_plus (line 252) ... 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::str_replace_re_all (line 393) ... 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_is_digit (line 873) ... 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_indexof (line 768) ... 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_prefixof (line 698) ... 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_concat (line 569) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_len (line 585) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 137) ... 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_from_code (line 909) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::str_le (line 675) ... ok
[INFO] [stdout] test src/smt_strings.rs - smt_strings::SmtString (line 113) ... 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_substr (line 626) ... 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 (line 802) ... 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_suffixof (line 719) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 102 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.50s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0ecb2e7fd2c1a80112083d3d245dd1fbf371014ac8c904a05851238311569dae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ecb2e7fd2c1a80112083d3d245dd1fbf371014ac8c904a05851238311569dae", kill_on_drop: false }`
[INFO] [stdout] 0ecb2e7fd2c1a80112083d3d245dd1fbf371014ac8c904a05851238311569dae