Oct 11 10:16:24.932 INFO testing term_rewriting-0.4.0 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 10:16:24.932 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 10:16:24.933 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 10:16:25.378 INFO blam! 92333b00d98b7d82805992c79fa0cf02ed657774aaaac5e3eeee8d8358b8441e
Oct 11 10:16:25.379 INFO running `"docker" "start" "-a" "92333b00d98b7d82805992c79fa0cf02ed657774aaaac5e3eeee8d8358b8441e"`
Oct 11 10:16:27.281 INFO kablam! usermod: no changes
Oct 11 10:16:27.429 INFO kablam!    Compiling memchr v2.1.0
Oct 11 10:16:29.956 INFO kablam!    Compiling nom v4.1.0
Oct 11 10:16:33.077 INFO kablam!    Compiling term_rewriting v0.4.0 (/source)
Oct 11 10:16:41.160 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 13.85s
Oct 11 10:16:41.164 INFO kablam! su: No module specific data is present
Oct 11 10:16:42.183 INFO running `"docker" "rm" "-f" "92333b00d98b7d82805992c79fa0cf02ed657774aaaac5e3eeee8d8358b8441e"`
Oct 11 10:16:42.488 INFO blam! 92333b00d98b7d82805992c79fa0cf02ed657774aaaac5e3eeee8d8358b8441e
Oct 11 10:16:42.490 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 10:16:42.490 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 10:16:42.926 INFO blam! 88cd72992fea78b112c601419667e0c1ce983231813b7711b9a3ab2083400b12
Oct 11 10:16:42.927 INFO running `"docker" "start" "-a" "88cd72992fea78b112c601419667e0c1ce983231813b7711b9a3ab2083400b12"`
Oct 11 10:16:44.669 INFO kablam! usermod: no changes
Oct 11 10:16:44.784 INFO kablam!    Compiling term_rewriting v0.4.0 (/source)
Oct 11 10:16:52.556 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 7.84s
Oct 11 10:16:52.557 INFO kablam! su: No module specific data is present
Oct 11 10:16:53.664 INFO running `"docker" "rm" "-f" "88cd72992fea78b112c601419667e0c1ce983231813b7711b9a3ab2083400b12"`
Oct 11 10:16:53.900 INFO blam! 88cd72992fea78b112c601419667e0c1ce983231813b7711b9a3ab2083400b12
Oct 11 10:16:53.912 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 10:16:53.912 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 10:16:54.388 INFO blam! 9663caae77d5f87b351e7ba679b9be6aed476c128bb18f1c9b74b6b2efc52efa
Oct 11 10:16:54.393 INFO running `"docker" "start" "-a" "9663caae77d5f87b351e7ba679b9be6aed476c128bb18f1c9b74b6b2efc52efa"`
Oct 11 10:16:55.836 INFO kablam! usermod: no changes
Oct 11 10:16:55.893 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Oct 11 10:16:55.908 INFO blam! 
Oct 11 10:16:55.909 INFO kablam!      Running /target/debug/deps/term_rewriting-c6f062ff351fcc65
Oct 11 10:16:55.909 INFO blam! running 20 tests
Oct 11 10:16:55.978 INFO blam! test parser::tests::app_test_1 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::app_test_2 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::app_test_3 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::lparen_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::parser_debug ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::parser_incomplete ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::rule_kw_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::rule_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::rparen_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::pipe_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::term_test_1 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::term_test_2 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::term_test_3 ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::program_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::top_term_test ... ok
Oct 11 10:16:55.978 INFO blam! test parser::tests::underscore_test ... ok
Oct 11 10:16:55.981 INFO blam! test parser::tests::statement_test_2 ... ok
Oct 11 10:16:55.981 INFO blam! test parser::tests::var_test ... ok
Oct 11 10:16:55.981 INFO blam! test parser::tests::semicolon_test ... ok
Oct 11 10:16:55.983 INFO blam! test parser::tests::statement_test_1 ... ok
Oct 11 10:16:55.983 INFO blam! 
Oct 11 10:16:55.983 INFO blam! test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 10:16:55.983 INFO blam! 
Oct 11 10:16:55.984 INFO kablam!      Running /target/debug/deps/trace-d296944924d78e34
Oct 11 10:16:55.988 INFO blam! 
Oct 11 10:16:55.988 INFO blam! running 2 tests
Oct 11 10:16:55.996 INFO blam! test trace_rewrite ... ok
Oct 11 10:16:55.997 INFO blam! test trace_step ... ok
Oct 11 10:16:55.997 INFO blam! 
Oct 11 10:16:55.997 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 10:16:55.997 INFO blam! 
Oct 11 10:16:56.004 INFO blam! 
Oct 11 10:16:56.004 INFO kablam!      Running /target/debug/deps/types-25207bdc217380fa
Oct 11 10:16:56.004 INFO blam! running 17 tests
Oct 11 10:16:56.004 INFO blam! test pretty_term_application ... ok
Oct 11 10:16:56.004 INFO blam! test parse_display_roundtrip_rule ... ok
Oct 11 10:16:56.004 INFO blam! test parse_display_roundtrip_term ... ok
Oct 11 10:16:56.004 INFO blam! test display_variable ... ok
Oct 11 10:16:56.012 INFO blam! test parse_display_roundtrip_trs ... ok
Oct 11 10:16:56.012 INFO blam! test pretty_term_nonspecial ... ok
Oct 11 10:16:56.012 INFO blam! test pretty_trs ... ok
Oct 11 10:16:56.012 INFO blam! test pretty_term_number ... ok
Oct 11 10:16:56.013 INFO blam! test rule_new_invalid_rhs_var ... ok
Oct 11 10:16:56.013 INFO blam! test rule_new_invalid_lhs_var ... ok
Oct 11 10:16:56.015 INFO blam! test rule_new_valid ... ok
Oct 11 10:16:56.015 INFO blam! test pretty_term_list ... ok
Oct 11 10:16:56.015 INFO blam! test signature_parse ... ok
Oct 11 10:16:56.015 INFO blam! test rule_new_valid_lhs_var ... ok
Oct 11 10:16:56.015 INFO blam! test rewrite_test ... ok
Oct 11 10:16:56.016 INFO blam! test term_substitute_test ... ok
Oct 11 10:16:56.021 INFO blam! test unify_test ... ok
Oct 11 10:16:56.021 INFO blam! 
Oct 11 10:16:56.021 INFO blam! test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 10:16:56.021 INFO blam! 
Oct 11 10:16:56.036 INFO kablam!    Doc-tests term_rewriting
Oct 11 10:16:57.493 INFO blam! 
Oct 11 10:16:57.493 INFO blam! running 122 tests
Oct 11 10:17:06.973 INFO blam! test src/types.rs - types::Context (line 890) ... ok
Oct 11 10:17:07.946 INFO blam! test src/parser.rs - parser::parse (line 72) ... ok
Oct 11 10:17:08.300 INFO blam! test src/types.rs - types::Atom::display (line 171) ... ok
Oct 11 10:17:09.000 INFO blam! test src/types.rs - types::Atom::Variable (line 141) ... ok
Oct 11 10:17:09.172 INFO blam! test src/types.rs - types::Atom::Operator (line 156) ... ok
Oct 11 10:17:10.640 INFO blam! test src/types.rs - types::Context::Application (line 951) ... ok
Oct 11 10:17:11.174 INFO blam! test src/trace.rs - trace (line 8) ... ok
Oct 11 10:17:11.644 INFO blam! test src/lib.rs -  (line 12) ... ok
Oct 11 10:17:17.372 INFO blam! test src/types.rs - types::Context::Hole (line 915) ... ok
Oct 11 10:17:20.952 INFO blam! test src/types.rs - types::Context::Variable (line 931) ... ok
Oct 11 10:17:20.984 INFO blam! test src/types.rs - types::Context::at (line 1225) ... ok
Oct 11 10:17:21.012 INFO blam! test src/types.rs - types::Context::atoms (line 1017) ... ok
Oct 11 10:17:21.636 INFO blam! test src/types.rs - types::Context::display (line 971) ... ok
Oct 11 10:17:22.844 INFO blam! test src/types.rs - types::Context::args (line 1137) ... ok
Oct 11 10:17:24.212 INFO blam! test src/types.rs - types::Context::holes (line 1091) ... ok
Oct 11 10:17:24.577 INFO blam! test src/types.rs - types::Context::head (line 1118) ... ok
Oct 11 10:17:31.716 INFO blam! test src/types.rs - types::Context::operators (line 1063) ... ok
Oct 11 10:17:33.602 INFO blam! test src/types.rs - types::Context::size (line 1205) ... ok
Oct 11 10:17:33.602 INFO blam! test src/types.rs - types::Context::replace (line 1260) ... ok
Oct 11 10:17:33.896 INFO blam! test src/types.rs - types::Context::pretty (line 999) ... ok
Oct 11 10:17:34.232 INFO blam! test src/types.rs - types::Context::subcontexts (line 1164) ... ok
Oct 11 10:17:36.824 INFO blam! test src/types.rs - types::Operator::arity (line 80) ... ok
Oct 11 10:17:36.828 INFO blam! test src/types.rs - types::Context::to_term (line 1305) ... ok
Oct 11 10:17:36.856 INFO blam! test src/types.rs - types::Context::variables (line 1038) ... ok
Oct 11 10:17:43.888 INFO blam! test src/types.rs - types::Rule::at (line 2445) ... ok
Oct 11 10:17:44.037 INFO blam! test src/types.rs - types::Rule::alpha (line 2578) ... ok
Oct 11 10:17:44.670 INFO blam! test src/types.rs - types::Operator::display (line 110) ... ok
Oct 11 10:17:44.788 INFO blam! test src/types.rs - types::Operator::name (line 94) ... ok
Oct 11 10:17:45.392 INFO blam! test src/types.rs - types::Rule (line 2009) ... ok
Oct 11 10:17:45.504 INFO blam! test src/types.rs - types::Rule::add (line 2238) ... ok
Oct 11 10:17:46.952 INFO blam! test src/types.rs - types::Rule::clauses (line 2158) ... ok
Oct 11 10:17:47.592 INFO blam! test src/types.rs - types::Rule::contains (line 2310) ... ok
Oct 11 10:17:50.244 INFO blam! test src/types.rs - types::Rule::is_empty (line 2113) ... ok
Oct 11 10:17:51.324 INFO blam! test src/types.rs - types::Rule::display (line 2045) ... ok
Oct 11 10:17:54.448 INFO blam! test src/types.rs - types::Rule::discard (line 2282) ... ok
Oct 11 10:17:54.784 INFO blam! test src/types.rs - types::Rule::operators (line 2370) ... ok
Oct 11 10:17:55.864 INFO blam! test src/types.rs - types::Rule::new (line 2207) ... ok
Oct 11 10:17:56.192 INFO blam! test src/types.rs - types::Rule::len (line 2098) ... ok
Oct 11 10:17:57.020 INFO blam! test src/types.rs - types::Rule::merge (line 2261) ... ok
Oct 11 10:17:57.733 INFO blam! test src/types.rs - types::Rule::pmatch (line 2506) ... ok
Oct 11 10:18:01.584 INFO blam! test src/types.rs - types::Rule::replace (line 2472) ... ok
Oct 11 10:18:02.071 INFO blam! test src/types.rs - types::Rule::pretty (line 2063) ... ok
Oct 11 10:18:04.793 INFO blam! test src/types.rs - types::Rule::size (line 2083) ... ok
Oct 11 10:18:05.045 INFO blam! test src/types.rs - types::Rule::rhs (line 2134) ... ok
Oct 11 10:18:06.567 INFO blam! test src/types.rs - types::Rule::substitute (line 2612) ... ok
Oct 11 10:18:08.545 INFO blam! test src/types.rs - types::Rule::subterms (line 2397) ... ok
Oct 11 10:18:08.593 INFO blam! test src/types.rs - types::Rule::unify (line 2539) ... ok
Oct 11 10:18:10.628 INFO blam! test src/types.rs - types::Rule::variables (line 2347) ... ok
Oct 11 10:18:13.108 INFO blam! test src/types.rs - types::RuleContext::at (line 2886) ... ok
Oct 11 10:18:13.228 INFO blam! test src/types.rs - types::RuleContext (line 2647) ... ok
Oct 11 10:18:14.728 INFO blam! test src/types.rs - types::RuleContext::display (line 2725) ... ok
Oct 11 10:18:15.616 INFO blam! test src/types.rs - types::RuleContext::pretty (line 2743) ... ok
Oct 11 10:18:16.040 INFO blam! test src/types.rs - types::RuleContext::holes (line 2811) ... ok
Oct 11 10:18:18.293 INFO blam! test src/types.rs - types::RuleContext::new (line 2679) ... ok
Oct 11 10:18:20.248 INFO blam! test src/types.rs - types::RuleContext::operators (line 2861) ... ok
Oct 11 10:18:21.800 INFO blam! test src/types.rs - types::RuleContext::replace (line 2912) ... ok
Oct 11 10:18:24.608 INFO blam! test src/types.rs - types::RuleContext::to_rule (line 2953) ... ok
Oct 11 10:18:26.668 INFO blam! test src/types.rs - types::RuleContext::subcontexts (line 2764) ... ok
Oct 11 10:18:27.444 INFO blam! test src/types.rs - types::Signature::atoms (line 349) ... ok
Oct 11 10:18:28.400 INFO blam! test src/types.rs - types::RuleContext::variables (line 2838) ... ok
Oct 11 10:18:30.308 INFO blam! test src/types.rs - types::Signature (line 214) ... ok
Oct 11 10:18:32.840 INFO blam! test src/types.rs - types::Signature::merge (line 427) ... ok
Oct 11 10:18:33.932 INFO blam! test src/types.rs - types::Signature::new_op (line 370) ... ok
Oct 11 10:18:33.970 INFO blam! test src/types.rs - types::Signature::new_var (line 399) ... ok
Oct 11 10:18:34.377 INFO blam! test src/types.rs - types::Signature::new (line 251) ... ok
Oct 11 10:18:37.395 INFO blam! test src/types.rs - types::Signature::operators (line 287) ... ok
Oct 11 10:18:41.032 INFO blam! test src/types.rs - types::SignatureChange (line 680) ... ok
Oct 11 10:18:41.447 INFO blam! test src/types.rs - types::Signature::variables (line 317) ... ok
Oct 11 10:18:42.524 INFO blam! test src/types.rs - types::SignatureChange::reify_context (line 763) ... ok
Oct 11 10:18:45.640 INFO blam! test src/types.rs - types::SignatureChange::reify_term (line 715) ... ok
Oct 11 10:18:45.812 INFO blam! test src/types.rs - types::SignatureChange::reify_rule (line 815) ... ok
Oct 11 10:18:46.352 INFO blam! test src/types.rs - types::TRS (line 2981) ... ok
Oct 11 10:18:47.852 INFO blam! test src/types.rs - types::SignatureChange::reify_trs (line 845) ... ok
Oct 11 10:18:48.125 INFO blam! test src/types.rs - types::TRS::alphas (line 3451) ... ok
Oct 11 10:18:49.537 INFO blam! test src/types.rs - types::TRS::display (line 3246) ... ok
Oct 11 10:18:52.020 INFO blam! test src/types.rs - types::TRS::clauses (line 3310) ... ok
Oct 11 10:18:53.424 INFO blam! test src/types.rs - types::TRS::get (line 3543) ... ok
Oct 11 10:18:53.932 INFO blam! test src/types.rs - types::TRS::insert_clauses (line 3841) ... ok
Oct 11 10:18:54.120 INFO blam! test src/types.rs - types::TRS::get_idx (line 3575) ... ok
Oct 11 10:18:54.276 INFO blam! test src/types.rs - types::TRS::get_clause (line 3601) ... ok
Oct 11 10:18:55.121 INFO blam! test src/types.rs - types::TRS::insert (line 3728) ... ok
Oct 11 10:18:56.604 INFO blam! test src/types.rs - types::TRS::insert_idx (line 3770) ... ok
Oct 11 10:18:58.776 INFO blam! test src/types.rs - types::TRS::inserts_idx (line 3806) ... ok
Oct 11 10:18:59.201 INFO blam! test src/types.rs - types::TRS::is_deterministic (line 3154) ... ok
Oct 11 10:19:02.096 INFO blam! test src/types.rs - types::TRS::make_deterministic (line 3044) ... ok
Oct 11 10:19:02.409 INFO blam! test src/types.rs - types::TRS::move_rule (line 3943) ... ok
Oct 11 10:19:02.534 INFO blam! test src/types.rs - types::TRS::len (line 3182) ... ok
Oct 11 10:19:03.028 INFO blam! test src/types.rs - types::TRS::make_nondeterministic (line 3107) ... ok
Oct 11 10:19:03.238 INFO blam! test src/types.rs - types::TRS::is_empty (line 3201) ... ok
Oct 11 10:19:04.641 INFO blam! test src/types.rs - types::TRS::new (line 3015) ... ok
Oct 11 10:19:05.780 INFO blam! test src/types.rs - types::TRS::operators (line 3335) ... ok
Oct 11 10:19:06.000 INFO blam! test src/types.rs - types::TRS::pmatches (line 3400) ... ok
Oct 11 10:19:08.476 INFO blam! test src/types.rs - types::TRS::pretty (line 3283) ... ok
Oct 11 10:19:08.817 INFO blam! test src/types.rs - types::TRS::pushes (line 3908) ... ok
Oct 11 10:19:09.420 INFO blam! test src/types.rs - types::TRS::remove_clauses (line 3693) ... ok
Oct 11 10:19:09.463 INFO blam! test src/types.rs - types::TRS::push (line 3876) ... ok
Oct 11 10:19:10.017 INFO blam! test src/types.rs - types::TRS::remove (line 3632) ... ok
Oct 11 10:19:10.789 INFO blam! test src/types.rs - types::TRS::rewrite (line 3515) ... ok
Oct 11 10:19:12.584 INFO blam! test src/types.rs - types::TRS::replace (line 3978) ... ok
Oct 11 10:19:12.741 INFO blam! test src/types.rs - types::TRS::remove_idx (line 3664) ... ok
Oct 11 10:19:14.915 INFO blam! test src/types.rs - types::TRS::size (line 3228) ... ok
Oct 11 10:19:16.043 INFO blam! test src/types.rs - types::TRS::unifies (line 3361) ... ok
Oct 11 10:19:16.464 INFO blam! test src/types.rs - types::Term::Application (line 1381) ... ok
Oct 11 10:19:17.261 INFO blam! test src/types.rs - types::Term::alpha (line 1790) ... ok
Oct 11 10:19:17.473 INFO blam! test src/types.rs - types::Term::Variable (line 1361) ... ok
Oct 11 10:19:18.108 INFO blam! test src/types.rs - types::Term::args (line 1545) ... ok
Oct 11 10:19:19.627 INFO blam! test src/types.rs - types::Term::at (line 1641) ... ok
Oct 11 10:19:19.670 INFO blam! test src/types.rs - types::Term::atoms (line 1458) ... ok
Oct 11 10:19:21.117 INFO blam! test src/types.rs - types::Term::display (line 1413) ... ok
Oct 11 10:19:22.028 INFO blam! test src/types.rs - types::Term::head (line 1525) ... ok
Oct 11 10:19:23.255 INFO blam! test src/types.rs - types::Term::pretty (line 1440) ... ok
Oct 11 10:19:23.550 INFO blam! test src/types.rs - types::Term::operators (line 1501) ... ok
Oct 11 10:19:24.988 INFO blam! test src/types.rs - types::Term::pmatch (line 1886) ... ok
Oct 11 10:19:25.312 INFO blam! test src/types.rs - types::Term::replace (line 1682) ... ok
Oct 11 10:19:25.436 INFO blam! test src/types.rs - types::Term::size (line 1620) ... ok
Oct 11 10:19:26.317 INFO blam! test src/types.rs - types::Term::shape_equivalent (line 1829) ... ok
Oct 11 10:19:28.002 INFO blam! test src/types.rs - types::Term::substitute (line 1728) ... ok
Oct 11 10:19:28.884 INFO blam! test src/types.rs - types::Term::unify (line 1922) ... ok
Oct 11 10:19:29.340 INFO blam! test src/types.rs - types::Term::subterms (line 1571) ... ok
Oct 11 10:19:29.676 INFO blam! test src/types.rs - types::Variable::name (line 33) ... ok
Oct 11 10:19:29.709 INFO blam! test src/types.rs - types::Term::variables (line 1478) ... ok
Oct 11 10:19:29.875 INFO blam! test src/types.rs - types::Variable::display (line 47) ... ok
Oct 11 10:19:29.875 INFO blam! 
Oct 11 10:19:29.875 INFO blam! test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 10:19:29.875 INFO blam! 
Oct 11 10:19:29.894 INFO kablam! su: No module specific data is present
Oct 11 10:19:30.594 INFO running `"docker" "rm" "-f" "9663caae77d5f87b351e7ba679b9be6aed476c128bb18f1c9b74b6b2efc52efa"`
Oct 11 10:19:30.942 INFO blam! 9663caae77d5f87b351e7ba679b9be6aed476c128bb18f1c9b74b6b2efc52efa