Nov 02 02:54:58.794 INFO testing term_rewriting-0.4.0 against beta-2018-10-30 for beta-1.31-1
Nov 02 02:54:58.796 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 02:54:59.258 INFO blam! 4212373f22a87d63d75ff59c2ac8d7b6824b00d896c1128b75cc9497fe2b48f8
Nov 02 02:54:59.262 INFO running `"docker" "start" "-a" "4212373f22a87d63d75ff59c2ac8d7b6824b00d896c1128b75cc9497fe2b48f8"`
Nov 02 02:55:00.760 INFO kablam! usermod: no changes
Nov 02 02:55:00.913 INFO kablam!    Compiling term_rewriting v0.4.0 (/source)
Nov 02 02:55:09.147 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 8.34s
Nov 02 02:55:09.147 INFO kablam! su: No module specific data is present
Nov 02 02:55:10.394 INFO running `"docker" "rm" "-f" "4212373f22a87d63d75ff59c2ac8d7b6824b00d896c1128b75cc9497fe2b48f8"`
Nov 02 02:55:10.695 INFO blam! 4212373f22a87d63d75ff59c2ac8d7b6824b00d896c1128b75cc9497fe2b48f8
Nov 02 02:55:10.716 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 02:55:11.113 INFO blam! 6cef6d2019cad3e48d5f8365388a3571b9a5bdd4dea438fa390c954877efa2f2
Nov 02 02:55:11.114 INFO running `"docker" "start" "-a" "6cef6d2019cad3e48d5f8365388a3571b9a5bdd4dea438fa390c954877efa2f2"`
Nov 02 02:55:12.222 INFO kablam! usermod: no changes
Nov 02 02:55:12.303 INFO kablam!    Compiling term_rewriting v0.4.0 (/source)
Nov 02 02:55:20.526 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 8.28s
Nov 02 02:55:20.531 INFO kablam! su: No module specific data is present
Nov 02 02:55:22.165 INFO running `"docker" "rm" "-f" "6cef6d2019cad3e48d5f8365388a3571b9a5bdd4dea438fa390c954877efa2f2"`
Nov 02 02:55:22.607 INFO blam! 6cef6d2019cad3e48d5f8365388a3571b9a5bdd4dea438fa390c954877efa2f2
Nov 02 02:55:22.611 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 02:55:23.015 INFO blam! 9e8e45af3e0a82b0ea840cec88706b679967faf9c4f669436a10af01ffa1eb4b
Nov 02 02:55:23.027 INFO running `"docker" "start" "-a" "9e8e45af3e0a82b0ea840cec88706b679967faf9c4f669436a10af01ffa1eb4b"`
Nov 02 02:55:24.391 INFO kablam! usermod: no changes
Nov 02 02:55:24.493 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Nov 02 02:55:24.511 INFO kablam!      Running /target/debug/deps/term_rewriting-9fcd1587d8916a68
Nov 02 02:55:24.511 INFO blam! 
Nov 02 02:55:24.511 INFO blam! running 20 tests
Nov 02 02:55:24.511 INFO blam! test parser::tests::pipe_test ... ok
Nov 02 02:55:24.511 INFO blam! test parser::tests::parser_incomplete ... ok
Nov 02 02:55:24.511 INFO blam! test parser::tests::parser_debug ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::rparen_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::lparen_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::app_test_3 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::app_test_2 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::app_test_1 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::rule_kw_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::term_test_1 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::statement_test_2 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::rule_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::program_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::semicolon_test ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::term_test_2 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::statement_test_1 ... ok
Nov 02 02:55:24.530 INFO blam! test parser::tests::var_test ... ok
Nov 02 02:55:24.531 INFO blam! test parser::tests::underscore_test ... ok
Nov 02 02:55:24.531 INFO blam! test parser::tests::term_test_3 ... ok
Nov 02 02:55:24.531 INFO blam! test parser::tests::top_term_test ... ok
Nov 02 02:55:24.531 INFO blam! 
Nov 02 02:55:24.531 INFO blam! test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 02:55:24.531 INFO blam! 
Nov 02 02:55:24.531 INFO blam! 
Nov 02 02:55:24.531 INFO blam! running 2 tests
Nov 02 02:55:24.531 INFO kablam!      Running /target/debug/deps/trace-a9c30322646891ab
Nov 02 02:55:24.579 INFO blam! test trace_rewrite ... ok
Nov 02 02:55:24.579 INFO blam! test trace_step ... ok
Nov 02 02:55:24.579 INFO blam! 
Nov 02 02:55:24.579 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 02:55:24.579 INFO blam! 
Nov 02 02:55:24.579 INFO kablam!      Running /target/debug/deps/types-ae607f60e2998749
Nov 02 02:55:24.586 INFO blam! 
Nov 02 02:55:24.586 INFO blam! running 17 tests
Nov 02 02:55:24.586 INFO blam! test pretty_term_nonspecial ... ok
Nov 02 02:55:24.586 INFO blam! test pretty_term_list ... ok
Nov 02 02:55:24.586 INFO blam! test display_variable ... ok
Nov 02 02:55:24.586 INFO blam! test pretty_term_application ... ok
Nov 02 02:55:24.586 INFO blam! test parse_display_roundtrip_rule ... ok
Nov 02 02:55:24.586 INFO blam! test pretty_trs ... ok
Nov 02 02:55:24.586 INFO blam! test pretty_term_number ... ok
Nov 02 02:55:24.586 INFO blam! test parse_display_roundtrip_term ... ok
Nov 02 02:55:24.586 INFO blam! test parse_display_roundtrip_trs ... ok
Nov 02 02:55:24.586 INFO blam! test unify_test ... ok
Nov 02 02:55:24.591 INFO blam! test rule_new_valid_lhs_var ... ok
Nov 02 02:55:24.591 INFO blam! test term_substitute_test ... ok
Nov 02 02:55:24.591 INFO blam! test signature_parse ... ok
Nov 02 02:55:24.591 INFO blam! test rule_new_invalid_lhs_var ... ok
Nov 02 02:55:24.591 INFO blam! test rewrite_test ... ok
Nov 02 02:55:24.591 INFO blam! test rule_new_valid ... ok
Nov 02 02:55:24.591 INFO blam! test rule_new_invalid_rhs_var ... ok
Nov 02 02:55:24.591 INFO blam! 
Nov 02 02:55:24.591 INFO blam! test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 02:55:24.591 INFO blam! 
Nov 02 02:55:24.599 INFO kablam!    Doc-tests term_rewriting
Nov 02 02:55:26.323 INFO blam! 
Nov 02 02:55:26.323 INFO blam! running 122 tests
Nov 02 02:55:39.897 INFO blam! test src/parser.rs - parser::parse (line 72) ... ok
Nov 02 02:55:41.031 INFO blam! test src/types.rs - types::Context (line 890) ... ok
Nov 02 02:55:41.263 INFO blam! test src/types.rs - types::Atom::display (line 171) ... ok
Nov 02 02:55:41.436 INFO blam! test src/lib.rs -  (line 12) ... ok
Nov 02 02:55:41.799 INFO blam! test src/types.rs - types::Atom::Operator (line 156) ... ok
Nov 02 02:55:42.187 INFO blam! test src/types.rs - types::Atom::Variable (line 141) ... ok
Nov 02 02:55:42.683 INFO blam! test src/trace.rs - trace (line 8) ... ok
Nov 02 02:55:43.143 INFO blam! test src/types.rs - types::Context::Application (line 951) ... ok
Nov 02 02:55:52.203 INFO blam! test src/types.rs - types::Context::at (line 1225) ... ok
Nov 02 02:55:52.371 INFO blam! test src/types.rs - types::Context::Variable (line 931) ... ok
Nov 02 02:55:54.340 INFO blam! test src/types.rs - types::Context::atoms (line 1017) ... ok
Nov 02 02:55:55.511 INFO blam! test src/types.rs - types::Context::Hole (line 915) ... ok
Nov 02 02:55:56.285 INFO blam! test src/types.rs - types::Context::args (line 1137) ... ok
Nov 02 02:55:58.107 INFO blam! test src/types.rs - types::Context::display (line 971) ... ok
Nov 02 02:55:58.239 INFO blam! test src/types.rs - types::Context::head (line 1118) ... ok
Nov 02 02:55:59.391 INFO blam! test src/types.rs - types::Context::holes (line 1091) ... ok
Nov 02 02:56:04.759 INFO blam! test src/types.rs - types::Context::operators (line 1063) ... ok
Nov 02 02:56:07.571 INFO blam! test src/types.rs - types::Context::pretty (line 999) ... ok
Nov 02 02:56:07.763 INFO blam! test src/types.rs - types::Context::replace (line 1260) ... ok
Nov 02 02:56:11.071 INFO blam! test src/types.rs - types::Context::size (line 1205) ... ok
Nov 02 02:56:12.579 INFO blam! test src/types.rs - types::Context::to_term (line 1305) ... ok
Nov 02 02:56:13.135 INFO blam! test src/types.rs - types::Context::subcontexts (line 1164) ... ok
Nov 02 02:56:13.839 INFO blam! test src/types.rs - types::Context::variables (line 1038) ... ok
Nov 02 02:56:13.896 INFO blam! test src/types.rs - types::Operator::arity (line 80) ... ok
Nov 02 02:56:19.707 INFO blam! test src/types.rs - types::Operator::display (line 110) ... ok
Nov 02 02:56:25.139 INFO blam! test src/types.rs - types::Rule (line 2009) ... ok
Nov 02 02:56:25.247 INFO blam! test src/types.rs - types::Operator::name (line 94) ... ok
Nov 02 02:56:27.882 INFO blam! test src/types.rs - types::Rule::add (line 2238) ... ok
Nov 02 02:56:29.771 INFO blam! test src/types.rs - types::Rule::contains (line 2310) ... ok
Nov 02 02:56:30.143 INFO blam! test src/types.rs - types::Rule::alpha (line 2578) ... ok
Nov 02 02:56:30.559 INFO blam! test src/types.rs - types::Rule::at (line 2445) ... ok
Nov 02 02:56:31.699 INFO blam! test src/types.rs - types::Rule::discard (line 2282) ... ok
Nov 02 02:56:31.767 INFO blam! test src/types.rs - types::Rule::clauses (line 2158) ... ok
Nov 02 02:56:39.191 INFO blam! test src/types.rs - types::Rule::display (line 2045) ... ok
Nov 02 02:56:40.211 INFO blam! test src/types.rs - types::Rule::is_empty (line 2113) ... ok
Nov 02 02:56:41.807 INFO blam! test src/types.rs - types::Rule::new (line 2207) ... ok
Nov 02 02:56:45.535 INFO blam! test src/types.rs - types::Rule::len (line 2098) ... ok
Nov 02 02:56:45.931 INFO blam! test src/types.rs - types::Rule::pretty (line 2063) ... ok
Nov 02 02:56:46.475 INFO blam! test src/types.rs - types::Rule::operators (line 2370) ... ok
Nov 02 02:56:46.731 INFO blam! test src/types.rs - types::Rule::merge (line 2261) ... ok
Nov 02 02:56:46.875 INFO blam! test src/types.rs - types::Rule::pmatch (line 2506) ... ok
Nov 02 02:56:54.635 INFO blam! test src/types.rs - types::Rule::replace (line 2472) ... ok
Nov 02 02:56:55.395 INFO blam! test src/types.rs - types::Rule::rhs (line 2134) ... ok
Nov 02 02:56:57.679 INFO blam! test src/types.rs - types::Rule::size (line 2083) ... ok
Nov 02 02:56:58.415 INFO blam! test src/types.rs - types::Rule::substitute (line 2612) ... ok
Nov 02 02:56:58.795 INFO blam! test src/types.rs - types::Rule::subterms (line 2397) ... ok
Nov 02 02:57:01.439 INFO blam! test src/types.rs - types::Rule::unify (line 2539) ... ok
Nov 02 02:57:02.205 INFO blam! test src/types.rs - types::RuleContext (line 2647) ... ok
Nov 02 02:57:02.899 INFO blam! test src/types.rs - types::Rule::variables (line 2347) ... ok
Nov 02 02:57:10.047 INFO blam! test src/types.rs - types::RuleContext::at (line 2886) ... ok
Nov 02 02:57:10.795 INFO blam! test src/types.rs - types::RuleContext::display (line 2725) ... ok
Nov 02 02:57:12.599 INFO blam! test src/types.rs - types::RuleContext::pretty (line 2743) ... ok
Nov 02 02:57:14.395 INFO blam! test src/types.rs - types::RuleContext::new (line 2679) ... ok
Nov 02 02:57:14.543 INFO blam! test src/types.rs - types::RuleContext::holes (line 2811) ... ok
Nov 02 02:57:15.246 INFO blam! test src/types.rs - types::RuleContext::operators (line 2861) ... ok
Nov 02 02:57:16.095 INFO blam! test src/types.rs - types::RuleContext::subcontexts (line 2764) ... ok
Nov 02 02:57:16.343 INFO blam! test src/types.rs - types::RuleContext::replace (line 2912) ... ok
Nov 02 02:57:22.859 INFO blam! test src/types.rs - types::RuleContext::variables (line 2838) ... ok
Nov 02 02:57:23.423 INFO blam! test src/types.rs - types::RuleContext::to_rule (line 2953) ... ok
Nov 02 02:57:26.743 INFO blam! test src/types.rs - types::Signature (line 214) ... ok
Nov 02 02:57:27.798 INFO blam! test src/types.rs - types::Signature::atoms (line 349) ... ok
Nov 02 02:57:28.754 INFO blam! test src/types.rs - types::Signature::merge (line 427) ... ok
Nov 02 02:57:28.772 INFO blam! test src/types.rs - types::Signature::new_var (line 399) ... ok
Nov 02 02:57:29.099 INFO blam! test src/types.rs - types::Signature::new (line 251) ... ok
Nov 02 02:57:29.617 INFO blam! test src/types.rs - types::Signature::new_op (line 370) ... ok
Nov 02 02:57:35.071 INFO blam! test src/types.rs - types::Signature::variables (line 317) ... ok
Nov 02 02:57:36.663 INFO blam! test src/types.rs - types::Signature::operators (line 287) ... ok
Nov 02 02:57:42.471 INFO blam! test src/types.rs - types::SignatureChange (line 680) ... ok
Nov 02 02:57:42.570 INFO blam! test src/types.rs - types::SignatureChange::reify_rule (line 815) ... ok
Nov 02 02:57:42.823 INFO blam! test src/types.rs - types::TRS (line 2981) ... ok
Nov 02 02:57:43.411 INFO blam! test src/types.rs - types::SignatureChange::reify_term (line 715) ... ok
Nov 02 02:57:43.691 INFO blam! test src/types.rs - types::SignatureChange::reify_trs (line 845) ... ok
Nov 02 02:57:43.707 INFO blam! test src/types.rs - types::SignatureChange::reify_context (line 763) ... ok
Nov 02 02:57:49.507 INFO blam! test src/types.rs - types::TRS::alphas (line 3451) ... ok
Nov 02 02:57:51.291 INFO blam! test src/types.rs - types::TRS::clauses (line 3310) ... ok
Nov 02 02:57:54.413 INFO blam! test src/types.rs - types::TRS::insert_clauses (line 3841) ... ok
Nov 02 02:57:55.375 INFO blam! test src/types.rs - types::TRS::insert (line 3728) ... ok
Nov 02 02:57:55.496 INFO blam! test src/types.rs - types::TRS::display (line 3246) ... ok
Nov 02 02:57:56.427 INFO blam! test src/types.rs - types::TRS::get_idx (line 3575) ... ok
Nov 02 02:57:57.347 INFO blam! test src/types.rs - types::TRS::get_clause (line 3601) ... ok
Nov 02 02:57:58.031 INFO blam! test src/types.rs - types::TRS::get (line 3543) ... ok
Nov 02 02:57:59.707 INFO blam! test src/types.rs - types::TRS::inserts_idx (line 3806) ... ok
Nov 02 02:58:02.047 INFO blam! test src/types.rs - types::TRS::insert_idx (line 3770) ... ok
Nov 02 02:58:03.979 INFO blam! test src/types.rs - types::TRS::make_deterministic (line 3044) ... ok
Nov 02 02:58:04.019 INFO blam! test src/types.rs - types::TRS::is_deterministic (line 3154) ... ok
Nov 02 02:58:04.119 INFO blam! test src/types.rs - types::TRS::len (line 3182) ... ok
Nov 02 02:58:04.390 INFO blam! test src/types.rs - types::TRS::make_nondeterministic (line 3107) ... ok
Nov 02 02:58:06.599 INFO blam! test src/types.rs - types::TRS::is_empty (line 3201) ... ok
Nov 02 02:58:07.535 INFO blam! test src/types.rs - types::TRS::new (line 3015) ... ok
Nov 02 02:58:09.415 INFO blam! test src/types.rs - types::TRS::move_rule (line 3943) ... ok
Nov 02 02:58:12.863 INFO blam! test src/types.rs - types::TRS::pretty (line 3283) ... ok
Nov 02 02:58:13.835 INFO blam! test src/types.rs - types::TRS::operators (line 3335) ... ok
Nov 02 02:58:14.291 INFO blam! test src/types.rs - types::TRS::pushes (line 3908) ... ok
Nov 02 02:58:18.720 INFO blam! test src/types.rs - types::TRS::push (line 3876) ... ok
Nov 02 02:58:19.774 INFO blam! test src/types.rs - types::TRS::pmatches (line 3400) ... ok
Nov 02 02:58:20.499 INFO blam! test src/types.rs - types::TRS::remove_clauses (line 3693) ... ok
Nov 02 02:58:20.640 INFO blam! test src/types.rs - types::TRS::remove (line 3632) ... ok
Nov 02 02:58:23.419 INFO blam! test src/types.rs - types::TRS::remove_idx (line 3664) ... ok
Nov 02 02:58:26.094 INFO blam! test src/types.rs - types::TRS::rewrite (line 3515) ... ok
Nov 02 02:58:27.063 INFO blam! test src/types.rs - types::TRS::replace (line 3978) ... ok
Nov 02 02:58:27.395 INFO blam! test src/types.rs - types::TRS::size (line 3228) ... ok
Nov 02 02:58:27.557 INFO blam! test src/types.rs - types::TRS::unifies (line 3361) ... ok
Nov 02 02:58:29.011 INFO blam! test src/types.rs - types::Term::alpha (line 1790) ... ok
Nov 02 02:58:32.343 INFO blam! test src/types.rs - types::Term::Variable (line 1361) ... ok
Nov 02 02:58:33.278 INFO blam! test src/types.rs - types::Term::Application (line 1381) ... ok
Nov 02 02:58:34.115 INFO blam! test src/types.rs - types::Term::args (line 1545) ... ok
Nov 02 02:58:36.562 INFO blam! test src/types.rs - types::Term::head (line 1525) ... ok
Nov 02 02:58:37.039 INFO blam! test src/types.rs - types::Term::atoms (line 1458) ... ok
Nov 02 02:58:37.039 INFO blam! test src/types.rs - types::Term::at (line 1641) ... ok
Nov 02 02:58:37.442 INFO blam! test src/types.rs - types::Term::display (line 1413) ... ok
Nov 02 02:58:41.923 INFO blam! test src/types.rs - types::Term::pmatch (line 1886) ... ok
Nov 02 02:58:41.936 INFO blam! test src/types.rs - types::Term::pretty (line 1440) ... ok
Nov 02 02:58:42.293 INFO blam! test src/types.rs - types::Term::operators (line 1501) ... ok
Nov 02 02:58:44.223 INFO blam! test src/types.rs - types::Term::replace (line 1682) ... ok
Nov 02 02:58:45.375 INFO blam! test src/types.rs - types::Term::size (line 1620) ... ok
Nov 02 02:58:46.367 INFO blam! test src/types.rs - types::Term::shape_equivalent (line 1829) ... ok
Nov 02 02:58:47.120 INFO blam! test src/types.rs - types::Term::substitute (line 1728) ... ok
Nov 02 02:58:48.452 INFO blam! test src/types.rs - types::Term::subterms (line 1571) ... ok
Nov 02 02:58:50.275 INFO blam! test src/types.rs - types::Variable::display (line 47) ... ok
Nov 02 02:58:50.591 INFO blam! test src/types.rs - types::Term::unify (line 1922) ... ok
Nov 02 02:58:50.704 INFO blam! test src/types.rs - types::Term::variables (line 1478) ... ok
Nov 02 02:58:50.915 INFO blam! test src/types.rs - types::Variable::name (line 33) ... ok
Nov 02 02:58:50.915 INFO blam! 
Nov 02 02:58:50.915 INFO blam! test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 02:58:50.915 INFO blam! 
Nov 02 02:58:50.951 INFO kablam! su: No module specific data is present
Nov 02 02:58:51.489 INFO running `"docker" "rm" "-f" "9e8e45af3e0a82b0ea840cec88706b679967faf9c4f669436a10af01ffa1eb4b"`
Nov 02 02:58:51.903 INFO blam! 9e8e45af3e0a82b0ea840cec88706b679967faf9c4f669436a10af01ffa1eb4b
