Nov 17 20:57:47.770 INFO testing term_rewriting-0.4.0 against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 17 20:57:47.772 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-4/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 20:57:48.276 INFO [stdout] cbf6e701cf575d142bf13f6cceb78ce5bc89e6394e8e58114a6249a2a2df0788
Nov 17 20:57:48.278 INFO running `"docker" "start" "-a" "cbf6e701cf575d142bf13f6cceb78ce5bc89e6394e8e58114a6249a2a2df0788"`
Nov 17 20:57:50.257 INFO [stderr] usermod: no changes
Nov 17 20:57:50.369 INFO [stderr]    Compiling term_rewriting v0.4.0 (/source)
Nov 17 20:57:58.587 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.29s
Nov 17 20:57:58.591 INFO [stderr] su: No module specific data is present
Nov 17 20:57:59.539 INFO running `"docker" "inspect" "cbf6e701cf575d142bf13f6cceb78ce5bc89e6394e8e58114a6249a2a2df0788"`
Nov 17 20:57:59.955 INFO running `"docker" "rm" "-f" "cbf6e701cf575d142bf13f6cceb78ce5bc89e6394e8e58114a6249a2a2df0788"`
Nov 17 20:58:00.303 INFO [stdout] cbf6e701cf575d142bf13f6cceb78ce5bc89e6394e8e58114a6249a2a2df0788
Nov 17 20:58:00.309 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-4/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 20:58:00.788 INFO [stdout] 38505b90078de66f6e8aa229b230115e3fe845c7474f79dea59325b2c4dc00bf
Nov 17 20:58:00.790 INFO running `"docker" "start" "-a" "38505b90078de66f6e8aa229b230115e3fe845c7474f79dea59325b2c4dc00bf"`
Nov 17 20:58:02.847 INFO [stderr] usermod: no changes
Nov 17 20:58:02.959 INFO [stderr]    Compiling term_rewriting v0.4.0 (/source)
Nov 17 20:58:11.868 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.99s
Nov 17 20:58:11.872 INFO [stderr] su: No module specific data is present
Nov 17 20:58:12.888 INFO running `"docker" "inspect" "38505b90078de66f6e8aa229b230115e3fe845c7474f79dea59325b2c4dc00bf"`
Nov 17 20:58:13.143 INFO running `"docker" "rm" "-f" "38505b90078de66f6e8aa229b230115e3fe845c7474f79dea59325b2c4dc00bf"`
Nov 17 20:58:13.471 INFO [stdout] 38505b90078de66f6e8aa229b230115e3fe845c7474f79dea59325b2c4dc00bf
Nov 17 20:58:13.474 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-4/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 17 20:58:14.004 INFO [stdout] 114783cf6c6f6578eb066d135bb54959f5ed54347a195c991723e2f1c271f026
Nov 17 20:58:14.006 INFO running `"docker" "start" "-a" "114783cf6c6f6578eb066d135bb54959f5ed54347a195c991723e2f1c271f026"`
Nov 17 20:58:15.459 INFO [stderr] usermod: no changes
Nov 17 20:58:15.579 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Nov 17 20:58:15.579 INFO [stderr]      Running /target/debug/deps/term_rewriting-1a6dd70e09693d85
Nov 17 20:58:15.587 INFO [stdout] 
Nov 17 20:58:15.587 INFO [stdout] running 20 tests
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::app_test_1 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::program_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::rparen_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::rule_kw_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::rule_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::semicolon_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::statement_test_1 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::statement_test_2 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::term_test_2 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::term_test_1 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::term_test_3 ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::top_term_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::underscore_test ... ok
Nov 17 20:58:15.587 INFO [stdout] test parser::tests::var_test ... ok
Nov 17 20:58:15.590 INFO [stdout] test parser::tests::parser_incomplete ... ok
Nov 17 20:58:15.596 INFO [stdout] test parser::tests::pipe_test ... ok
Nov 17 20:58:15.596 INFO [stderr]      Running /target/debug/deps/trace-f0bafa89ec097d49
Nov 17 20:58:15.596 INFO [stdout] test parser::tests::app_test_2 ... ok
Nov 17 20:58:15.596 INFO [stdout] test parser::tests::app_test_3 ... ok
Nov 17 20:58:15.596 INFO [stdout] test parser::tests::lparen_test ... ok
Nov 17 20:58:15.596 INFO [stdout] test parser::tests::parser_debug ... ok
Nov 17 20:58:15.596 INFO [stdout] 
Nov 17 20:58:15.596 INFO [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 20:58:15.596 INFO [stdout] 
Nov 17 20:58:15.603 INFO [stdout] 
Nov 17 20:58:15.603 INFO [stdout] running 2 tests
Nov 17 20:58:15.608 INFO [stdout] test trace_step ... ok
Nov 17 20:58:15.608 INFO [stdout] test trace_rewrite ... ok
Nov 17 20:58:15.608 INFO [stdout] 
Nov 17 20:58:15.608 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 20:58:15.608 INFO [stdout] 
Nov 17 20:58:15.608 INFO [stderr]      Running /target/debug/deps/types-bc3be6fa18f79478
Nov 17 20:58:15.619 INFO [stdout] 
Nov 17 20:58:15.619 INFO [stdout] running 17 tests
Nov 17 20:58:15.619 INFO [stdout] test display_variable ... ok
Nov 17 20:58:15.619 INFO [stdout] test pretty_term_list ... ok
Nov 17 20:58:15.619 INFO [stdout] test pretty_term_nonspecial ... ok
Nov 17 20:58:15.619 INFO [stdout] test parse_display_roundtrip_rule ... ok
Nov 17 20:58:15.619 INFO [stdout] test pretty_term_application ... ok
Nov 17 20:58:15.619 INFO [stdout] test pretty_trs ... ok
Nov 17 20:58:15.623 INFO [stdout] test pretty_term_number ... ok
Nov 17 20:58:15.623 INFO [stdout] test parse_display_roundtrip_term ... ok
Nov 17 20:58:15.627 INFO [stdout] test parse_display_roundtrip_trs ... ok
Nov 17 20:58:15.627 INFO [stdout] test rule_new_invalid_lhs_var ... ok
Nov 17 20:58:15.627 INFO [stdout] test rule_new_valid_lhs_var ... ok
Nov 17 20:58:15.627 INFO [stdout] test rule_new_invalid_rhs_var ... ok
Nov 17 20:58:15.627 INFO [stdout] test rule_new_valid ... ok
Nov 17 20:58:15.627 INFO [stdout] test term_substitute_test ... ok
Nov 17 20:58:15.631 INFO [stdout] test signature_parse ... ok
Nov 17 20:58:15.639 INFO [stdout] test unify_test ... ok
Nov 17 20:58:15.639 INFO [stdout] test rewrite_test ... ok
Nov 17 20:58:15.639 INFO [stdout] 
Nov 17 20:58:15.639 INFO [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 20:58:15.639 INFO [stdout] 
Nov 17 20:58:15.643 INFO [stderr]    Doc-tests term_rewriting
Nov 17 20:58:17.230 INFO [stdout] 
Nov 17 20:58:17.230 INFO [stdout] running 122 tests
Nov 17 20:58:25.614 INFO [stdout] test src/types.rs - types::Atom::Operator (line 156) ... ok
Nov 17 20:58:28.179 INFO [stdout] test src/lib.rs -  (line 12) ... ok
Nov 17 20:58:29.635 INFO [stdout] test src/types.rs - types::Atom::Variable (line 141) ... ok
Nov 17 20:58:29.879 INFO [stdout] test src/types.rs - types::Context::Application (line 951) ... ok
Nov 17 20:58:30.071 INFO [stdout] test src/types.rs - types::Context (line 890) ... ok
Nov 17 20:58:31.216 INFO [stdout] test src/trace.rs - trace (line 8) ... ok
Nov 17 20:58:31.780 INFO [stdout] test src/types.rs - types::Atom::display (line 171) ... ok
Nov 17 20:58:33.051 INFO [stdout] test src/parser.rs - parser::parse (line 72) ... ok
Nov 17 20:58:36.387 INFO [stdout] test src/types.rs - types::Context::Hole (line 915) ... ok
Nov 17 20:58:42.771 INFO [stdout] test src/types.rs - types::Context::Variable (line 931) ... ok
Nov 17 20:58:43.307 INFO [stdout] test src/types.rs - types::Context::args (line 1137) ... ok
Nov 17 20:58:44.307 INFO [stdout] test src/types.rs - types::Context::at (line 1225) ... ok
Nov 17 20:58:44.334 INFO [stdout] test src/types.rs - types::Context::display (line 971) ... ok
Nov 17 20:58:44.358 INFO [stdout] test src/types.rs - types::Context::atoms (line 1017) ... ok
Nov 17 20:58:45.627 INFO [stdout] test src/types.rs - types::Context::head (line 1118) ... ok
Nov 17 20:58:47.255 INFO [stdout] test src/types.rs - types::Context::holes (line 1091) ... ok
Nov 17 20:58:49.549 INFO [stdout] test src/types.rs - types::Context::operators (line 1063) ... ok
Nov 17 20:58:56.175 INFO [stdout] test src/types.rs - types::Context::replace (line 1260) ... ok
Nov 17 20:58:57.303 INFO [stdout] test src/types.rs - types::Context::pretty (line 999) ... ok
Nov 17 20:58:58.371 INFO [stdout] test src/types.rs - types::Context::size (line 1205) ... ok
Nov 17 20:58:58.607 INFO [stdout] test src/types.rs - types::Context::subcontexts (line 1164) ... ok
Nov 17 20:59:00.168 INFO [stdout] test src/types.rs - types::Context::to_term (line 1305) ... ok
Nov 17 20:59:01.627 INFO [stdout] test src/types.rs - types::Operator::arity (line 80) ... ok
Nov 17 20:59:02.543 INFO [stdout] test src/types.rs - types::Context::variables (line 1038) ... ok
Nov 17 20:59:03.247 INFO [stdout] test src/types.rs - types::Operator::display (line 110) ... ok
Nov 17 20:59:08.740 INFO [stdout] test src/types.rs - types::Operator::name (line 94) ... ok
Nov 17 20:59:09.798 INFO [stdout] test src/types.rs - types::Rule (line 2009) ... ok
Nov 17 20:59:13.827 INFO [stdout] test src/types.rs - types::Rule::clauses (line 2158) ... ok
Nov 17 20:59:14.451 INFO [stdout] test src/types.rs - types::Rule::at (line 2445) ... ok
Nov 17 20:59:14.451 INFO [stdout] test src/types.rs - types::Rule::contains (line 2310) ... ok
Nov 17 20:59:14.575 INFO [stdout] test src/types.rs - types::Rule::add (line 2238) ... ok
Nov 17 20:59:15.171 INFO [stdout] test src/types.rs - types::Rule::alpha (line 2578) ... ok
Nov 17 20:59:15.799 INFO [stdout] test src/types.rs - types::Rule::discard (line 2282) ... ok
Nov 17 20:59:21.535 INFO [stdout] test src/types.rs - types::Rule::is_empty (line 2113) ... ok
Nov 17 20:59:23.195 INFO [stdout] test src/types.rs - types::Rule::display (line 2045) ... ok
Nov 17 20:59:27.455 INFO [stdout] test src/types.rs - types::Rule::operators (line 2370) ... ok
Nov 17 20:59:28.123 INFO [stdout] test src/types.rs - types::Rule::new (line 2207) ... ok
Nov 17 20:59:28.565 INFO [stdout] test src/types.rs - types::Rule::len (line 2098) ... ok
Nov 17 20:59:28.599 INFO [stdout] test src/types.rs - types::Rule::merge (line 2261) ... ok
Nov 17 20:59:29.247 INFO [stdout] test src/types.rs - types::Rule::pretty (line 2063) ... ok
Nov 17 20:59:30.763 INFO [stdout] test src/types.rs - types::Rule::pmatch (line 2506) ... ok
Nov 17 20:59:34.507 INFO [stdout] test src/types.rs - types::Rule::replace (line 2472) ... ok
Nov 17 20:59:34.763 INFO [stdout] test src/types.rs - types::Rule::rhs (line 2134) ... ok
Nov 17 20:59:37.399 INFO [stdout] test src/types.rs - types::Rule::unify (line 2539) ... ok
Nov 17 20:59:40.355 INFO [stdout] test src/types.rs - types::Rule::subterms (line 2397) ... ok
Nov 17 20:59:40.923 INFO [stdout] test src/types.rs - types::RuleContext (line 2647) ... ok
Nov 17 20:59:41.543 INFO [stdout] test src/types.rs - types::Rule::substitute (line 2612) ... ok
Nov 17 20:59:42.028 INFO [stdout] test src/types.rs - types::Rule::size (line 2083) ... ok
Nov 17 20:59:44.075 INFO [stdout] test src/types.rs - types::Rule::variables (line 2347) ... ok
Nov 17 20:59:47.001 INFO [stdout] test src/types.rs - types::RuleContext::display (line 2725) ... ok
Nov 17 20:59:48.507 INFO [stdout] test src/types.rs - types::RuleContext::holes (line 2811) ... ok
Nov 17 20:59:48.871 INFO [stdout] test src/types.rs - types::RuleContext::at (line 2886) ... ok
Nov 17 20:59:50.939 INFO [stdout] test src/types.rs - types::RuleContext::pretty (line 2743) ... ok
Nov 17 20:59:54.279 INFO [stdout] test src/types.rs - types::RuleContext::new (line 2679) ... ok
Nov 17 20:59:56.823 INFO [stdout] test src/types.rs - types::RuleContext::operators (line 2861) ... ok
Nov 17 20:59:57.583 INFO [stdout] test src/types.rs - types::RuleContext::replace (line 2912) ... ok
Nov 17 20:59:59.823 INFO [stdout] test src/types.rs - types::RuleContext::subcontexts (line 2764) ... ok
Nov 17 21:00:00.598 INFO [stdout] test src/types.rs - types::RuleContext::variables (line 2838) ... ok
Nov 17 21:00:00.883 INFO [stdout] test src/types.rs - types::Signature (line 214) ... ok
Nov 17 21:00:01.471 INFO [stdout] test src/types.rs - types::RuleContext::to_rule (line 2953) ... ok
Nov 17 21:00:05.855 INFO [stdout] test src/types.rs - types::Signature::atoms (line 349) ... ok
Nov 17 21:00:06.703 INFO [stdout] test src/types.rs - types::Signature::merge (line 427) ... ok
Nov 17 21:00:08.967 INFO [stdout] test src/types.rs - types::Signature::new_var (line 399) ... ok
Nov 17 21:00:09.159 INFO [stdout] test src/types.rs - types::Signature::new (line 251) ... ok
Nov 17 21:00:10.219 INFO [stdout] test src/types.rs - types::Signature::new_op (line 370) ... ok
Nov 17 21:00:11.487 INFO [stdout] test src/types.rs - types::Signature::operators (line 287) ... ok
Nov 17 21:00:12.555 INFO [stdout] test src/types.rs - types::SignatureChange (line 680) ... ok
Nov 17 21:00:13.611 INFO [stdout] test src/types.rs - types::Signature::variables (line 317) ... ok
Nov 17 21:00:16.719 INFO [stdout] test src/types.rs - types::SignatureChange::reify_rule (line 815) ... ok
Nov 17 21:00:17.036 INFO [stdout] test src/types.rs - types::SignatureChange::reify_trs (line 845) ... ok
Nov 17 21:00:17.443 INFO [stdout] test src/types.rs - types::SignatureChange::reify_context (line 763) ... ok
Nov 17 21:00:20.184 INFO [stdout] test src/types.rs - types::SignatureChange::reify_term (line 715) ... ok
Nov 17 21:00:20.191 INFO [stdout] test src/types.rs - types::TRS (line 2981) ... ok
Nov 17 21:00:22.681 INFO [stdout] test src/types.rs - types::TRS::alphas (line 3451) ... ok
Nov 17 21:00:24.705 INFO [stdout] test src/types.rs - types::TRS::clauses (line 3310) ... ok
Nov 17 21:00:26.829 INFO [stdout] test src/types.rs - types::TRS::display (line 3246) ... ok
Nov 17 21:00:27.499 INFO [stdout] test src/types.rs - types::TRS::get_idx (line 3575) ... ok
Nov 17 21:00:30.351 INFO [stdout] test src/types.rs - types::TRS::get (line 3543) ... ok
Nov 17 21:00:31.702 INFO [stdout] test src/types.rs - types::TRS::insert_clauses (line 3841) ... ok
Nov 17 21:00:32.967 INFO [stdout] test src/types.rs - types::TRS::get_clause (line 3601) ... ok
Nov 17 21:00:34.711 INFO [stdout] test src/types.rs - types::TRS::insert (line 3728) ... ok
Nov 17 21:00:36.320 INFO [stdout] test src/types.rs - types::TRS::insert_idx (line 3770) ... ok
Nov 17 21:00:37.861 INFO [stdout] test src/types.rs - types::TRS::inserts_idx (line 3806) ... ok
Nov 17 21:00:39.019 INFO [stdout] test src/types.rs - types::TRS::is_deterministic (line 3154) ... ok
Nov 17 21:00:39.055 INFO [stdout] test src/types.rs - types::TRS::is_empty (line 3201) ... ok
Nov 17 21:00:40.158 INFO [stdout] test src/types.rs - types::TRS::len (line 3182) ... ok
Nov 17 21:00:42.003 INFO [stdout] test src/types.rs - types::TRS::make_deterministic (line 3044) ... ok
Nov 17 21:00:42.371 INFO [stdout] test src/types.rs - types::TRS::make_nondeterministic (line 3107) ... ok
Nov 17 21:00:44.591 INFO [stdout] test src/types.rs - types::TRS::move_rule (line 3943) ... ok
Nov 17 21:00:44.805 INFO [stdout] test src/types.rs - types::TRS::new (line 3015) ... ok
Nov 17 21:00:45.511 INFO [stdout] test src/types.rs - types::TRS::pretty (line 3283) ... ok
Nov 17 21:00:46.283 INFO [stdout] test src/types.rs - types::TRS::operators (line 3335) ... ok
Nov 17 21:00:47.031 INFO [stdout] test src/types.rs - types::TRS::pmatches (line 3400) ... ok
Nov 17 21:00:48.643 INFO [stdout] test src/types.rs - types::TRS::push (line 3876) ... ok
Nov 17 21:00:49.598 INFO [stdout] test src/types.rs - types::TRS::pushes (line 3908) ... ok
Nov 17 21:00:50.977 INFO [stdout] test src/types.rs - types::TRS::remove (line 3632) ... ok
Nov 17 21:00:53.799 INFO [stdout] test src/types.rs - types::TRS::remove_clauses (line 3693) ... ok
Nov 17 21:00:54.923 INFO [stdout] test src/types.rs - types::TRS::replace (line 3978) ... ok
Nov 17 21:00:56.011 INFO [stdout] test src/types.rs - types::TRS::remove_idx (line 3664) ... ok
Nov 17 21:00:57.215 INFO [stdout] test src/types.rs - types::TRS::rewrite (line 3515) ... ok
Nov 17 21:00:58.088 INFO [stdout] test src/types.rs - types::TRS::unifies (line 3361) ... ok
Nov 17 21:00:58.239 INFO [stdout] test src/types.rs - types::TRS::size (line 3228) ... ok
Nov 17 21:00:59.724 INFO [stdout] test src/types.rs - types::Term::Application (line 1381) ... ok
Nov 17 21:00:59.950 INFO [stdout] test src/types.rs - types::Term::Variable (line 1361) ... ok
Nov 17 21:01:01.071 INFO [stdout] test src/types.rs - types::Term::alpha (line 1790) ... ok
Nov 17 21:01:01.582 INFO [stdout] test src/types.rs - types::Term::args (line 1545) ... ok
Nov 17 21:01:02.791 INFO [stdout] test src/types.rs - types::Term::at (line 1641) ... ok
Nov 17 21:01:03.323 INFO [stdout] test src/types.rs - types::Term::atoms (line 1458) ... ok
Nov 17 21:01:04.603 INFO [stdout] test src/types.rs - types::Term::head (line 1525) ... ok
Nov 17 21:01:04.615 INFO [stdout] test src/types.rs - types::Term::display (line 1413) ... ok
Nov 17 21:01:05.863 INFO [stdout] test src/types.rs - types::Term::pmatch (line 1886) ... ok
Nov 17 21:01:06.807 INFO [stdout] test src/types.rs - types::Term::operators (line 1501) ... ok
Nov 17 21:01:06.943 INFO [stdout] test src/types.rs - types::Term::pretty (line 1440) ... ok
Nov 17 21:01:07.211 INFO [stdout] test src/types.rs - types::Term::replace (line 1682) ... ok
Nov 17 21:01:08.116 INFO [stdout] test src/types.rs - types::Term::shape_equivalent (line 1829) ... ok
Nov 17 21:01:09.763 INFO [stdout] test src/types.rs - types::Term::size (line 1620) ... ok
Nov 17 21:01:10.111 INFO [stdout] test src/types.rs - types::Term::substitute (line 1728) ... ok
Nov 17 21:01:10.919 INFO [stdout] test src/types.rs - types::Term::subterms (line 1571) ... ok
Nov 17 21:01:11.039 INFO [stdout] test src/types.rs - types::Variable::name (line 33) ... ok
Nov 17 21:01:11.214 INFO [stdout] test src/types.rs - types::Variable::display (line 47) ... ok
Nov 17 21:01:11.245 INFO [stdout] test src/types.rs - types::Term::unify (line 1922) ... ok
Nov 17 21:01:11.332 INFO [stdout] test src/types.rs - types::Term::variables (line 1478) ... ok
Nov 17 21:01:11.332 INFO [stdout] 
Nov 17 21:01:11.332 INFO [stdout] test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 21:01:11.332 INFO [stdout] 
Nov 17 21:01:11.358 INFO [stderr] su: No module specific data is present
Nov 17 21:01:11.754 INFO running `"docker" "inspect" "114783cf6c6f6578eb066d135bb54959f5ed54347a195c991723e2f1c271f026"`
Nov 17 21:01:11.901 INFO running `"docker" "rm" "-f" "114783cf6c6f6578eb066d135bb54959f5ed54347a195c991723e2f1c271f026"`
Nov 17 21:01:12.121 INFO [stdout] 114783cf6c6f6578eb066d135bb54959f5ed54347a195c991723e2f1c271f026