Dec 06 20:32:05.688 INFO testing term_rewriting-0.4.0 against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 06 20:32:05.688 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-2/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 20:32:06.206 INFO [stdout] eda50f98d49efea32c5137146a84d7654a745aecbcd322e06f2135b7741ffbd5
Dec 06 20:32:06.208 INFO running `"docker" "start" "-a" "eda50f98d49efea32c5137146a84d7654a745aecbcd322e06f2135b7741ffbd5"`
Dec 06 20:32:08.966 INFO [stderr] usermod: no changes
Dec 06 20:32:09.138 INFO [stderr]    Compiling term_rewriting v0.4.0 (/source)
Dec 06 20:32:17.829 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.83s
Dec 06 20:32:17.833 INFO [stderr] su: No module specific data is present
Dec 06 20:32:18.920 INFO running `"docker" "inspect" "eda50f98d49efea32c5137146a84d7654a745aecbcd322e06f2135b7741ffbd5"`
Dec 06 20:32:19.282 INFO running `"docker" "rm" "-f" "eda50f98d49efea32c5137146a84d7654a745aecbcd322e06f2135b7741ffbd5"`
Dec 06 20:32:19.649 INFO [stdout] eda50f98d49efea32c5137146a84d7654a745aecbcd322e06f2135b7741ffbd5
Dec 06 20:32:19.656 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-2/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 20:32:20.220 INFO [stdout] b35d0ded569fa2295350ee2402ecb7b2af53e8ab9a32908444888bf196f2944f
Dec 06 20:32:20.224 INFO running `"docker" "start" "-a" "b35d0ded569fa2295350ee2402ecb7b2af53e8ab9a32908444888bf196f2944f"`
Dec 06 20:32:21.812 INFO [stderr] usermod: no changes
Dec 06 20:32:21.956 INFO [stderr]    Compiling term_rewriting v0.4.0 (/source)
Dec 06 20:32:30.298 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.46s
Dec 06 20:32:30.306 INFO [stderr] su: No module specific data is present
Dec 06 20:32:31.142 INFO running `"docker" "inspect" "b35d0ded569fa2295350ee2402ecb7b2af53e8ab9a32908444888bf196f2944f"`
Dec 06 20:32:31.468 INFO running `"docker" "rm" "-f" "b35d0ded569fa2295350ee2402ecb7b2af53e8ab9a32908444888bf196f2944f"`
Dec 06 20:32:31.816 INFO [stdout] b35d0ded569fa2295350ee2402ecb7b2af53e8ab9a32908444888bf196f2944f
Dec 06 20:32:31.824 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-2/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 06 20:32:32.444 INFO [stdout] 556221ba722c28074cabf99f5329f5b04dcfc9654686f1da8f9f49bffa7ba813
Dec 06 20:32:32.447 INFO running `"docker" "start" "-a" "556221ba722c28074cabf99f5329f5b04dcfc9654686f1da8f9f49bffa7ba813"`
Dec 06 20:32:33.506 INFO [stderr] usermod: no changes
Dec 06 20:32:33.606 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Dec 06 20:32:33.608 INFO [stderr]      Running /target/debug/deps/term_rewriting-da7b470c62df2e2d
Dec 06 20:32:33.616 INFO [stdout] 
Dec 06 20:32:33.616 INFO [stdout] running 20 tests
Dec 06 20:32:33.633 INFO [stdout] test parser::tests::pipe_test ... ok
Dec 06 20:32:33.633 INFO [stdout] test parser::tests::lparen_test ... ok
Dec 06 20:32:33.633 INFO [stdout] test parser::tests::app_test_2 ... ok
Dec 06 20:32:33.633 INFO [stdout] test parser::tests::app_test_3 ... ok
Dec 06 20:32:33.633 INFO [stdout] test parser::tests::parser_debug ... ok
Dec 06 20:32:33.634 INFO [stdout] test parser::tests::app_test_1 ... ok
Dec 06 20:32:33.634 INFO [stdout] test parser::tests::parser_incomplete ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::rule_kw_test ... ok
Dec 06 20:32:33.640 INFO [stderr]      Running /target/debug/deps/trace-d5348c9c3778cdff
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::rparen_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::term_test_1 ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::term_test_3 ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::statement_test_2 ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::term_test_2 ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::statement_test_1 ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::var_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::underscore_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::top_term_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::rule_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::semicolon_test ... ok
Dec 06 20:32:33.640 INFO [stdout] test parser::tests::program_test ... ok
Dec 06 20:32:33.640 INFO [stdout] 
Dec 06 20:32:33.640 INFO [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 20:32:33.640 INFO [stdout] 
Dec 06 20:32:33.641 INFO [stdout] 
Dec 06 20:32:33.641 INFO [stdout] running 2 tests
Dec 06 20:32:33.654 INFO [stdout] test trace_step ... ok
Dec 06 20:32:33.654 INFO [stderr]      Running /target/debug/deps/types-903e7bfa706c2666
Dec 06 20:32:33.654 INFO [stdout] test trace_rewrite ... ok
Dec 06 20:32:33.654 INFO [stdout] 
Dec 06 20:32:33.654 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 20:32:33.654 INFO [stdout] 
Dec 06 20:32:33.665 INFO [stdout] 
Dec 06 20:32:33.665 INFO [stdout] running 17 tests
Dec 06 20:32:33.665 INFO [stdout] test display_variable ... ok
Dec 06 20:32:33.666 INFO [stdout] test parse_display_roundtrip_term ... ok
Dec 06 20:32:33.666 INFO [stdout] test parse_display_roundtrip_rule ... ok
Dec 06 20:32:33.666 INFO [stdout] test pretty_term_number ... ok
Dec 06 20:32:33.666 INFO [stdout] test rule_new_invalid_lhs_var ... ok
Dec 06 20:32:33.666 INFO [stdout] test pretty_term_nonspecial ... ok
Dec 06 20:32:33.667 INFO [stdout] test rewrite_test ... ok
Dec 06 20:32:33.667 INFO [stdout] test pretty_term_application ... ok
Dec 06 20:32:33.667 INFO [stdout] test pretty_term_list ... ok
Dec 06 20:32:33.667 INFO [stdout] test pretty_trs ... ok
Dec 06 20:32:33.667 INFO [stdout] test parse_display_roundtrip_trs ... ok
Dec 06 20:32:33.673 INFO [stdout] test rule_new_invalid_rhs_var ... ok
Dec 06 20:32:33.673 INFO [stdout] test rule_new_valid ... ok
Dec 06 20:32:33.673 INFO [stdout] test rule_new_valid_lhs_var ... ok
Dec 06 20:32:33.677 INFO [stdout] test term_substitute_test ... ok
Dec 06 20:32:33.677 INFO [stderr]    Doc-tests term_rewriting
Dec 06 20:32:33.677 INFO [stdout] test signature_parse ... ok
Dec 06 20:32:33.677 INFO [stdout] test unify_test ... ok
Dec 06 20:32:33.677 INFO [stdout] 
Dec 06 20:32:33.677 INFO [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 20:32:33.677 INFO [stdout] 
Dec 06 20:32:35.548 INFO [stdout] 
Dec 06 20:32:35.548 INFO [stdout] running 122 tests
Dec 06 20:32:45.876 INFO [stdout] test src/types.rs - types::Atom::Variable (line 141) ... ok
Dec 06 20:32:46.084 INFO [stdout] test src/types.rs - types::Atom::display (line 171) ... ok
Dec 06 20:32:46.908 INFO [stdout] test src/types.rs - types::Context (line 890) ... ok
Dec 06 20:32:48.360 INFO [stdout] test src/lib.rs -  (line 12) ... ok
Dec 06 20:32:48.892 INFO [stdout] test src/parser.rs - parser::parse (line 72) ... ok
Dec 06 20:32:49.340 INFO [stdout] test src/types.rs - types::Atom::Operator (line 156) ... ok
Dec 06 20:32:49.712 INFO [stdout] test src/types.rs - types::Context::Application (line 951) ... ok
Dec 06 20:32:52.312 INFO [stdout] test src/trace.rs - trace (line 8) ... ok
Dec 06 20:32:57.052 INFO [stdout] test src/types.rs - types::Context::Variable (line 931) ... ok
Dec 06 20:32:58.222 INFO [stdout] test src/types.rs - types::Context::head (line 1118) ... ok
Dec 06 20:33:00.116 INFO [stdout] test src/types.rs - types::Context::Hole (line 915) ... ok
Dec 06 20:33:00.896 INFO [stdout] test src/types.rs - types::Context::args (line 1137) ... ok
Dec 06 20:33:01.616 INFO [stdout] test src/types.rs - types::Context::at (line 1225) ... ok
Dec 06 20:33:02.768 INFO [stdout] test src/types.rs - types::Context::display (line 971) ... ok
Dec 06 20:33:03.548 INFO [stdout] test src/types.rs - types::Context::atoms (line 1017) ... ok
Dec 06 20:33:07.240 INFO [stdout] test src/types.rs - types::Context::holes (line 1091) ... ok
Dec 06 20:33:07.948 INFO [stdout] test src/types.rs - types::Context::operators (line 1063) ... ok
Dec 06 20:33:11.768 INFO [stdout] test src/types.rs - types::Context::pretty (line 999) ... ok
Dec 06 20:33:13.436 INFO [stdout] test src/types.rs - types::Context::size (line 1205) ... ok
Dec 06 20:33:13.545 INFO [stdout] test src/types.rs - types::Context::replace (line 1260) ... ok
Dec 06 20:33:13.584 INFO [stdout] test src/types.rs - types::Context::variables (line 1038) ... ok
Dec 06 20:33:14.272 INFO [stdout] test src/types.rs - types::Context::subcontexts (line 1164) ... ok
Dec 06 20:33:15.324 INFO [stdout] test src/types.rs - types::Context::to_term (line 1305) ... ok
Dec 06 20:33:18.520 INFO [stdout] test src/types.rs - types::Operator::display (line 110) ... ok
Dec 06 20:33:18.752 INFO [stdout] test src/types.rs - types::Operator::arity (line 80) ... ok
Dec 06 20:33:23.896 INFO [stdout] test src/types.rs - types::Operator::name (line 94) ... ok
Dec 06 20:33:24.432 INFO [stdout] test src/types.rs - types::Rule::alpha (line 2578) ... ok
Dec 06 20:33:24.438 INFO [stdout] test src/types.rs - types::Rule::add (line 2238) ... ok
Dec 06 20:33:27.614 INFO [stdout] test src/types.rs - types::Rule (line 2009) ... ok
Dec 06 20:33:28.732 INFO [stdout] test src/types.rs - types::Rule::at (line 2445) ... ok
Dec 06 20:33:29.973 INFO [stdout] test src/types.rs - types::Rule::clauses (line 2158) ... ok
Dec 06 20:33:30.756 INFO [stdout] test src/types.rs - types::Rule::discard (line 2282) ... ok
Dec 06 20:33:32.208 INFO [stdout] test src/types.rs - types::Rule::contains (line 2310) ... ok
Dec 06 20:33:33.304 INFO [stdout] test src/types.rs - types::Rule::display (line 2045) ... ok
Dec 06 20:33:35.052 INFO [stdout] test src/types.rs - types::Rule::is_empty (line 2113) ... ok
Dec 06 20:33:35.712 INFO [stdout] test src/types.rs - types::Rule::len (line 2098) ... ok
Dec 06 20:33:37.816 INFO [stdout] test src/types.rs - types::Rule::new (line 2207) ... ok
Dec 06 20:33:38.096 INFO [stdout] test src/types.rs - types::Rule::merge (line 2261) ... ok
Dec 06 20:33:39.764 INFO [stdout] test src/types.rs - types::Rule::operators (line 2370) ... ok
Dec 06 20:33:40.991 INFO [stdout] test src/types.rs - types::Rule::pmatch (line 2506) ... ok
Dec 06 20:33:42.524 INFO [stdout] test src/types.rs - types::Rule::replace (line 2472) ... ok
Dec 06 20:33:42.677 INFO [stdout] test src/types.rs - types::Rule::pretty (line 2063) ... ok
Dec 06 20:33:44.375 INFO [stdout] test src/types.rs - types::Rule::rhs (line 2134) ... ok
Dec 06 20:33:45.663 INFO [stdout] test src/types.rs - types::Rule::substitute (line 2612) ... ok
Dec 06 20:33:49.916 INFO [stdout] test src/types.rs - types::Rule::subterms (line 2397) ... ok
Dec 06 20:33:49.916 INFO [stdout] test src/types.rs - types::Rule::size (line 2083) ... ok
Dec 06 20:33:51.672 INFO [stdout] test src/types.rs - types::Rule::unify (line 2539) ... ok
Dec 06 20:33:53.496 INFO [stdout] test src/types.rs - types::Rule::variables (line 2347) ... ok
Dec 06 20:33:54.404 INFO [stdout] test src/types.rs - types::RuleContext::display (line 2725) ... ok
Dec 06 20:33:54.575 INFO [stdout] test src/types.rs - types::RuleContext::at (line 2886) ... ok
Dec 06 20:33:55.112 INFO [stdout] test src/types.rs - types::RuleContext (line 2647) ... ok
Dec 06 20:33:56.304 INFO [stdout] test src/types.rs - types::RuleContext::holes (line 2811) ... ok
Dec 06 20:34:00.064 INFO [stdout] test src/types.rs - types::RuleContext::operators (line 2861) ... ok
Dec 06 20:34:00.096 INFO [stdout] test src/types.rs - types::RuleContext::new (line 2679) ... ok
Dec 06 20:34:02.664 INFO [stdout] test src/types.rs - types::RuleContext::replace (line 2912) ... ok
Dec 06 20:34:04.656 INFO [stdout] test src/types.rs - types::RuleContext::to_rule (line 2953) ... ok
Dec 06 20:34:04.780 INFO [stdout] test src/types.rs - types::RuleContext::pretty (line 2743) ... ok
Dec 06 20:34:05.118 INFO [stdout] test src/types.rs - types::Signature (line 214) ... ok
Dec 06 20:34:05.732 INFO [stdout] test src/types.rs - types::RuleContext::subcontexts (line 2764) ... ok
Dec 06 20:34:06.164 INFO [stdout] test src/types.rs - types::RuleContext::variables (line 2838) ... ok
Dec 06 20:34:09.848 INFO [stdout] test src/types.rs - types::Signature::merge (line 427) ... ok
Dec 06 20:34:10.156 INFO [stdout] test src/types.rs - types::Signature::atoms (line 349) ... ok
Dec 06 20:34:12.739 INFO [stdout] test src/types.rs - types::Signature::new_var (line 399) ... ok
Dec 06 20:34:12.913 INFO [stdout] test src/types.rs - types::Signature::variables (line 317) ... ok
Dec 06 20:34:14.104 INFO [stdout] test src/types.rs - types::Signature::new (line 251) ... ok
Dec 06 20:34:14.320 INFO [stdout] test src/types.rs - types::Signature::new_op (line 370) ... ok
Dec 06 20:34:15.068 INFO [stdout] test src/types.rs - types::Signature::operators (line 287) ... ok
Dec 06 20:34:15.224 INFO [stdout] test src/types.rs - types::SignatureChange (line 680) ... ok
Dec 06 20:34:20.464 INFO [stdout] test src/types.rs - types::SignatureChange::reify_context (line 763) ... ok
Dec 06 20:34:21.004 INFO [stdout] test src/types.rs - types::SignatureChange::reify_rule (line 815) ... ok
Dec 06 20:34:24.836 INFO [stdout] test src/types.rs - types::TRS::display (line 3246) ... ok
Dec 06 20:34:25.331 INFO [stdout] test src/types.rs - types::SignatureChange::reify_trs (line 845) ... ok
Dec 06 20:34:25.464 INFO [stdout] test src/types.rs - types::SignatureChange::reify_term (line 715) ... ok
Dec 06 20:34:26.128 INFO [stdout] test src/types.rs - types::TRS (line 2981) ... ok
Dec 06 20:34:26.908 INFO [stdout] test src/types.rs - types::TRS::alphas (line 3451) ... ok
Dec 06 20:34:27.064 INFO [stdout] test src/types.rs - types::TRS::clauses (line 3310) ... ok
Dec 06 20:34:31.020 INFO [stdout] test src/types.rs - types::TRS::get (line 3543) ... ok
Dec 06 20:34:31.148 INFO [stdout] test src/types.rs - types::TRS::is_deterministic (line 3154) ... ok
Dec 06 20:34:31.996 INFO [stdout] test src/types.rs - types::TRS::get_clause (line 3601) ... ok
Dec 06 20:34:34.053 INFO [stdout] test src/types.rs - types::TRS::get_idx (line 3575) ... ok
Dec 06 20:34:34.244 INFO [stdout] test src/types.rs - types::TRS::insert (line 3728) ... ok
Dec 06 20:34:34.544 INFO [stdout] test src/types.rs - types::TRS::insert_clauses (line 3841) ... ok
Dec 06 20:34:34.920 INFO [stdout] test src/types.rs - types::TRS::insert_idx (line 3770) ... ok
Dec 06 20:34:37.340 INFO [stdout] test src/types.rs - types::TRS::inserts_idx (line 3806) ... ok
Dec 06 20:34:40.543 INFO [stdout] test src/types.rs - types::TRS::len (line 3182) ... ok
Dec 06 20:34:44.476 INFO [stdout] test src/types.rs - types::TRS::is_empty (line 3201) ... ok
Dec 06 20:34:45.069 INFO [stdout] test src/types.rs - types::TRS::make_deterministic (line 3044) ... ok
Dec 06 20:34:48.280 INFO [stdout] test src/types.rs - types::TRS::move_rule (line 3943) ... ok
Dec 06 20:34:49.560 INFO [stdout] test src/types.rs - types::TRS::new (line 3015) ... ok
Dec 06 20:34:49.856 INFO [stdout] test src/types.rs - types::TRS::operators (line 3335) ... ok
Dec 06 20:34:49.932 INFO [stdout] test src/types.rs - types::TRS::make_nondeterministic (line 3107) ... ok
Dec 06 20:34:52.468 INFO [stdout] test src/types.rs - types::TRS::pmatches (line 3400) ... ok
Dec 06 20:34:52.732 INFO [stdout] test src/types.rs - types::TRS::pretty (line 3283) ... ok
Dec 06 20:34:57.309 INFO [stdout] test src/types.rs - types::TRS::replace (line 3978) ... ok
Dec 06 20:34:57.872 INFO [stdout] test src/types.rs - types::TRS::pushes (line 3908) ... ok
Dec 06 20:34:58.156 INFO [stdout] test src/types.rs - types::TRS::push (line 3876) ... ok
Dec 06 20:34:58.540 INFO [stdout] test src/types.rs - types::TRS::remove_idx (line 3664) ... ok
Dec 06 20:35:00.984 INFO [stdout] test src/types.rs - types::TRS::remove_clauses (line 3693) ... ok
Dec 06 20:35:01.864 INFO [stdout] test src/types.rs - types::TRS::size (line 3228) ... ok
Dec 06 20:35:02.876 INFO [stdout] test src/types.rs - types::TRS::remove (line 3632) ... ok
Dec 06 20:35:03.672 INFO [stdout] test src/types.rs - types::TRS::rewrite (line 3515) ... ok
Dec 06 20:35:06.196 INFO [stdout] test src/types.rs - types::TRS::unifies (line 3361) ... ok
Dec 06 20:35:08.264 INFO [stdout] test src/types.rs - types::Term::alpha (line 1790) ... ok
Dec 06 20:35:09.080 INFO [stdout] test src/types.rs - types::Term::Application (line 1381) ... ok
Dec 06 20:35:10.268 INFO [stdout] test src/types.rs - types::Term::Variable (line 1361) ... ok
Dec 06 20:35:10.832 INFO [stdout] test src/types.rs - types::Term::args (line 1545) ... ok
Dec 06 20:35:11.744 INFO [stdout] test src/types.rs - types::Term::at (line 1641) ... ok
Dec 06 20:35:14.992 INFO [stdout] test src/types.rs - types::Term::atoms (line 1458) ... ok
Dec 06 20:35:16.744 INFO [stdout] test src/types.rs - types::Term::display (line 1413) ... ok
Dec 06 20:35:16.940 INFO [stdout] test src/types.rs - types::Term::head (line 1525) ... ok
Dec 06 20:35:19.100 INFO [stdout] test src/types.rs - types::Term::pmatch (line 1886) ... ok
Dec 06 20:35:20.392 INFO [stdout] test src/types.rs - types::Term::operators (line 1501) ... ok
Dec 06 20:35:22.146 INFO [stdout] test src/types.rs - types::Term::pretty (line 1440) ... ok
Dec 06 20:35:23.416 INFO [stdout] test src/types.rs - types::Term::shape_equivalent (line 1829) ... ok
Dec 06 20:35:23.468 INFO [stdout] test src/types.rs - types::Term::replace (line 1682) ... ok
Dec 06 20:35:25.216 INFO [stdout] test src/types.rs - types::Term::subterms (line 1571) ... ok
Dec 06 20:35:25.927 INFO [stdout] test src/types.rs - types::Term::size (line 1620) ... ok
Dec 06 20:35:27.188 INFO [stdout] test src/types.rs - types::Term::substitute (line 1728) ... ok
Dec 06 20:35:27.271 INFO [stdout] test src/types.rs - types::Term::unify (line 1922) ... ok
Dec 06 20:35:27.793 INFO [stdout] test src/types.rs - types::Term::variables (line 1478) ... ok
Dec 06 20:35:28.000 INFO [stdout] test src/types.rs - types::Variable::display (line 47) ... ok
Dec 06 20:35:28.892 INFO [stdout] test src/types.rs - types::Variable::name (line 33) ... ok
Dec 06 20:35:28.892 INFO [stdout] 
Dec 06 20:35:28.892 INFO [stdout] test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 06 20:35:28.892 INFO [stdout] 
Dec 06 20:35:28.918 INFO [stderr] su: No module specific data is present
Dec 06 20:35:29.544 INFO running `"docker" "inspect" "556221ba722c28074cabf99f5329f5b04dcfc9654686f1da8f9f49bffa7ba813"`
Dec 06 20:35:29.815 INFO running `"docker" "rm" "-f" "556221ba722c28074cabf99f5329f5b04dcfc9654686f1da8f9f49bffa7ba813"`
Dec 06 20:35:30.075 INFO [stdout] 556221ba722c28074cabf99f5329f5b04dcfc9654686f1da8f9f49bffa7ba813