Nov 02 13:50:38.016 INFO testing lambda_calculus-2.2.0 against beta-2018-10-30 for beta-1.31-1
Nov 02 13:50:38.018 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-7/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/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 13:50:38.447 INFO blam! 72741a3d7d7764f256125ece195d2340a6b05825770d324224e13a2bbcb2271f
Nov 02 13:50:38.454 INFO running `"docker" "start" "-a" "72741a3d7d7764f256125ece195d2340a6b05825770d324224e13a2bbcb2271f"`
Nov 02 13:50:39.435 INFO kablam! usermod: no changes
Nov 02 13:50:39.504 INFO kablam!    Compiling lambda_calculus v2.2.0 (/source)
Nov 02 13:50:41.868 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.38s
Nov 02 13:50:41.868 INFO kablam! su: No module specific data is present
Nov 02 13:50:42.322 INFO running `"docker" "rm" "-f" "72741a3d7d7764f256125ece195d2340a6b05825770d324224e13a2bbcb2271f"`
Nov 02 13:50:42.534 INFO blam! 72741a3d7d7764f256125ece195d2340a6b05825770d324224e13a2bbcb2271f
Nov 02 13:50:42.539 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-7/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/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 13:50:42.878 INFO blam! 07b1e55ef9fea35d8e95511ef7619d73f490f9a1eab83d17436d30a54deffd88
Nov 02 13:50:42.895 INFO running `"docker" "start" "-a" "07b1e55ef9fea35d8e95511ef7619d73f490f9a1eab83d17436d30a54deffd88"`
Nov 02 13:50:43.897 INFO kablam! usermod: no changes
Nov 02 13:50:43.941 INFO kablam!    Compiling lambda_calculus v2.2.0 (/source)
Nov 02 13:50:47.004 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 13:50:47.005 INFO kablam!  --> tests/reduction.rs:1:1
Nov 02 13:50:47.006 INFO kablam!   |
Nov 02 13:50:47.006 INFO kablam! 1 | #[macro_use]
Nov 02 13:50:47.007 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 13:50:47.007 INFO kablam!   |
Nov 02 13:50:47.008 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 13:50:47.009 INFO kablam! 
Nov 02 13:50:48.205 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 13:50:48.205 INFO kablam!  --> tests/signed.rs:3:1
Nov 02 13:50:48.205 INFO kablam!   |
Nov 02 13:50:48.205 INFO kablam! 3 | #[macro_use]
Nov 02 13:50:48.205 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 13:50:48.239 INFO kablam!   |
Nov 02 13:50:48.239 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 13:50:48.239 INFO kablam! 
Nov 02 13:50:48.391 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 13:50:48.391 INFO kablam!  --> tests/num.rs:3:1
Nov 02 13:50:48.391 INFO kablam!   |
Nov 02 13:50:48.391 INFO kablam! 3 | #[macro_use]
Nov 02 13:50:48.391 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 13:50:48.391 INFO kablam!   |
Nov 02 13:50:48.391 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 13:50:48.391 INFO kablam! 
Nov 02 13:50:53.131 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 9.21s
Nov 02 13:50:53.134 INFO kablam! su: No module specific data is present
Nov 02 13:50:53.635 INFO running `"docker" "rm" "-f" "07b1e55ef9fea35d8e95511ef7619d73f490f9a1eab83d17436d30a54deffd88"`
Nov 02 13:50:53.723 INFO blam! 07b1e55ef9fea35d8e95511ef7619d73f490f9a1eab83d17436d30a54deffd88
Nov 02 13:50:53.724 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-7/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/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 13:50:53.969 INFO blam! 3b8e409b0bccb2116e2365b44cbf48101597d86a118d127ca2b815345104c4be
Nov 02 13:50:53.969 INFO running `"docker" "start" "-a" "3b8e409b0bccb2116e2365b44cbf48101597d86a118d127ca2b815345104c4be"`
Nov 02 13:50:54.481 INFO kablam! usermod: no changes
Nov 02 13:50:54.520 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Nov 02 13:50:54.535 INFO kablam!      Running /target/debug/deps/lambda_calculus-e36e8edc6e587f10
Nov 02 13:50:54.540 INFO blam! 
Nov 02 13:50:54.540 INFO blam! running 13 tests
Nov 02 13:50:54.540 INFO blam! test parser::tests::parse_blc ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::parse_y ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::alternative_lambda_parsing ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::parse_quine ... ok
Nov 02 13:50:54.547 INFO blam! test term::tests::display_modes ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::succ_ast ... ok
Nov 02 13:50:54.547 INFO blam! test term::tests::open_term_display ... ok
Nov 02 13:50:54.547 INFO blam! test term::tests::is_supercombinator ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::tokenization_error ... ok
Nov 02 13:50:54.547 INFO blam! test term::tests::abs_macro ... ok
Nov 02 13:50:54.547 INFO blam! test term::tests::app_macro ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::tokenization_success ... ok
Nov 02 13:50:54.547 INFO blam! test parser::tests::tokenization_success_classic ... ok
Nov 02 13:50:54.547 INFO blam! 
Nov 02 13:50:54.547 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.547 INFO blam! 
Nov 02 13:50:54.551 INFO blam! 
Nov 02 13:50:54.551 INFO kablam!      Running /target/debug/deps/lists-82d30779a7704997
Nov 02 13:50:54.551 INFO blam! running 2 tests
Nov 02 13:50:54.551 INFO blam! test list_tail ... ok
Nov 02 13:50:54.555 INFO blam! test list_head ... ok
Nov 02 13:50:54.555 INFO blam! 
Nov 02 13:50:54.555 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.555 INFO blam! 
Nov 02 13:50:54.562 INFO kablam!      Running /target/debug/deps/num-edac564bd054083c
Nov 02 13:50:54.564 INFO blam! 
Nov 02 13:50:54.564 INFO blam! running 22 tests
Nov 02 13:50:54.567 INFO blam! test church_add ... ok
Nov 02 13:50:54.567 INFO blam! test church_fac ... ok
Nov 02 13:50:54.567 INFO blam! test church_shl ... ok
Nov 02 13:50:54.567 INFO blam! test church_max ... ok
Nov 02 13:50:54.575 INFO blam! test church_div ... ok
Nov 02 13:50:54.575 INFO blam! test num_pred ... ok
Nov 02 13:50:54.575 INFO blam! test church_rem ... ok
Nov 02 13:50:54.575 INFO blam! test church_pow ... ok
Nov 02 13:50:54.575 INFO blam! test church_mul ... ok
Nov 02 13:50:54.575 INFO blam! test parigot_add ... ok
Nov 02 13:50:54.575 INFO blam! test church_min ... ok
Nov 02 13:50:54.575 INFO blam! test num_succ ... ok
Nov 02 13:50:54.575 INFO blam! test church_quot ... ok
Nov 02 13:50:54.575 INFO blam! test parigot_mul ... ok
Nov 02 13:50:54.582 INFO blam! test church_sub ... ok
Nov 02 13:50:54.587 INFO blam! test parigot_sub ... ok
Nov 02 13:50:54.590 INFO blam! test scott_add ... ok
Nov 02 13:50:54.590 INFO blam! test scott_mul ... ok
Nov 02 13:50:54.595 INFO blam! test church_shr ... ok
Nov 02 13:50:54.603 INFO blam! test stumpfu_mul ... ok
Nov 02 13:50:54.603 INFO blam! test stumpfu_add ... ok
Nov 02 13:50:54.603 INFO blam! test scott_pow ... ok
Nov 02 13:50:54.603 INFO blam! 
Nov 02 13:50:54.603 INFO blam! test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.603 INFO blam! 
Nov 02 13:50:54.604 INFO kablam!      Running /target/debug/deps/option-3b89115970c465fe
Nov 02 13:50:54.608 INFO blam! 
Nov 02 13:50:54.608 INFO blam! running 8 tests
Nov 02 13:50:54.611 INFO blam! test option_is_none ... ok
Nov 02 13:50:54.611 INFO blam! test option_and_then ... ok
Nov 02 13:50:54.611 INFO blam! test option_map ... ok
Nov 02 13:50:54.611 INFO blam! test option_is_some ... ok
Nov 02 13:50:54.612 INFO blam! test option_unwrap_or ... ok
Nov 02 13:50:54.616 INFO kablam!      Running /target/debug/deps/pair_list-375bac406e57f18f
Nov 02 13:50:54.616 INFO blam! test option_some ... ok
Nov 02 13:50:54.616 INFO blam! test option_none ... ok
Nov 02 13:50:54.616 INFO blam! test option_map_or ... ok
Nov 02 13:50:54.616 INFO blam! 
Nov 02 13:50:54.616 INFO blam! test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.616 INFO blam! 
Nov 02 13:50:54.619 INFO blam! 
Nov 02 13:50:54.619 INFO blam! running 10 tests
Nov 02 13:50:54.627 INFO blam! test pair_list_drop_while ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_drop ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_append ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_length ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_list ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_head ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_index ... ok
Nov 02 13:50:54.627 INFO blam! test pair_list_replicate ... ok
Nov 02 13:50:54.628 INFO blam! test pair_list_reverse ... ok
Nov 02 13:50:54.628 INFO blam! test pair_list_tail ... ok
Nov 02 13:50:54.629 INFO blam! 
Nov 02 13:50:54.629 INFO blam! test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.629 INFO blam! 
Nov 02 13:50:54.629 INFO kablam!      Running /target/debug/deps/reduction-b27c64c2742fe4b6
Nov 02 13:50:54.633 INFO blam! 
Nov 02 13:50:54.633 INFO blam! running 5 tests
Nov 02 13:50:54.633 INFO blam! test reduction_huge ... ignored
Nov 02 13:50:54.633 INFO blam! test reduction_cbv ... ok
Nov 02 13:50:54.633 INFO blam! test reduction_cbn ... ok
Nov 02 13:50:54.633 INFO blam! test reduction_app ... ok
Nov 02 13:50:54.639 INFO blam! test reduction_nor ... ok
Nov 02 13:50:54.639 INFO blam! 
Nov 02 13:50:54.639 INFO blam! test result: ok. 4 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.639 INFO blam! 
Nov 02 13:50:54.641 INFO kablam!      Running /target/debug/deps/signed-f97f1b5a2f8fc5b6
Nov 02 13:50:54.642 INFO blam! 
Nov 02 13:50:54.642 INFO blam! running 6 tests
Nov 02 13:50:54.651 INFO blam! test signed_modulus ... ok
Nov 02 13:50:54.651 INFO blam! test signed_neg ... ok
Nov 02 13:50:54.679 INFO blam! test signed_mul ... ok
Nov 02 13:50:54.679 INFO blam! test signed_simplify ... ok
Nov 02 13:50:54.707 INFO blam! test signed_sub ... ok
Nov 02 13:50:54.723 INFO blam! test signed_add ... ok
Nov 02 13:50:54.723 INFO blam! 
Nov 02 13:50:54.723 INFO blam! test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:50:54.723 INFO blam! 
Nov 02 13:50:54.724 INFO kablam!    Doc-tests lambda_calculus
Nov 02 13:50:55.773 INFO blam! 
Nov 02 13:50:55.773 INFO blam! running 177 tests
Nov 02 13:51:01.920 INFO blam! test src/combinators.rs - combinators::R (line 221) ... ok
Nov 02 13:51:03.039 INFO blam! test src/combinators.rs - combinators::O (line 153) ... ok
Nov 02 13:51:03.040 INFO blam! test src/combinators.rs - combinators::C (line 101) ... ok
Nov 02 13:51:03.866 INFO blam! test src/combinators.rs - combinators::K (line 36) ... ok
Nov 02 13:51:03.866 INFO blam! test src/combinators.rs - combinators::B (line 83) ... ok
Nov 02 13:51:03.883 INFO blam! test src/combinators.rs - combinators::S (line 50) ... ok
Nov 02 13:51:04.559 INFO blam! test src/combinators.rs - combinators::T (line 242) ... ok
Nov 02 13:51:04.575 INFO blam! test src/combinators.rs - combinators::I (line 22) ... ok
Nov 02 13:51:08.498 INFO blam! test src/combinators.rs - combinators::W (line 119) ... ok
Nov 02 13:51:09.759 INFO blam! test src/combinators.rs - combinators::Y (line 169) ... ok
Nov 02 13:51:10.111 INFO blam! test src/data/boolean.rs - data::boolean::if_else (line 167) ... ok
Nov 02 13:51:10.563 INFO blam! test src/combinators.rs - combinators::o (line 137) ... ok
Nov 02 13:51:10.998 INFO blam! test src/data/boolean.rs - data::boolean::and (line 21) ... ok
Nov 02 13:51:11.083 INFO blam! test src/combinators.rs - combinators::Z (line 198) ... ok
Nov 02 13:51:11.985 INFO blam! test src/combinators.rs - combinators::i (line 68) ... ok
Nov 02 13:51:12.183 INFO blam! test src/data/boolean.rs - data::boolean::imply (line 183) ... ok
Nov 02 13:51:15.076 INFO blam! test src/data/boolean.rs - data::boolean::nand (line 142) ... ok
Nov 02 13:51:17.333 INFO blam! test src/data/boolean.rs - data::boolean::xnor (line 120) ... ok
Nov 02 13:51:17.691 INFO blam! test src/data/boolean.rs - data::boolean::nor (line 95) ... ok
Nov 02 13:51:18.523 INFO blam! test src/data/boolean.rs - data::boolean::not (line 57) ... ok
Nov 02 13:51:18.916 INFO blam! test src/data/boolean.rs - data::boolean::or (line 39) ... ok
Nov 02 13:51:21.232 INFO blam! test src/data/boolean.rs - data::boolean::xor (line 73) ... ok
Nov 02 13:51:22.588 INFO blam! test src/data/list/church.rs - data::list::church::head (line 77) ... ok
Nov 02 13:51:22.931 INFO blam! test src/data/list/church.rs - data::list::church::cons (line 33) ... ok
Nov 02 13:51:25.679 INFO blam! test src/data/list/church.rs - data::list::church::is_nil (line 18) ... ok
Nov 02 13:51:28.395 INFO blam! test src/data/list/pair.rs - data::list::pair::append (line 225) ... ok
Nov 02 13:51:29.319 INFO blam! test src/data/list/church.rs - data::list::church::tail (line 98) ... ok
Nov 02 13:51:29.455 INFO blam! test src/data/list/pair.rs - data::list::pair::cons (line 36) ... ok
Nov 02 13:51:29.539 INFO blam! test src/data/list/pair.rs - data::list::pair::drop (line 686) ... ok
Nov 02 13:51:29.603 INFO blam! test src/data/list/pair.rs - data::list::pair::drop_while (line 726) ... ok
Nov 02 13:51:32.683 INFO blam! test src/data/list/pair.rs - data::list::pair::foldl (line 308) ... ok
Nov 02 13:51:32.831 INFO blam! test src/data/list/pair.rs - data::list::pair::foldr (line 348) ... ok
Nov 02 13:51:33.289 INFO blam! test src/data/list/pair.rs - data::list::pair::filter (line 385) ... ok
Nov 02 13:51:39.207 INFO blam! test src/data/list/pair.rs - data::list::pair::head (line 66) ... ok
Nov 02 13:51:39.767 INFO blam! test src/data/list/pair.rs - data::list::pair::index (line 134) ... ok
Nov 02 13:51:40.511 INFO blam! test src/data/list/pair.rs - data::list::pair::last (line 428) ... ok
Nov 02 13:51:41.047 INFO blam! test src/data/list/pair.rs - data::list::pair::is_nil (line 20) ... ok
Nov 02 13:51:41.419 INFO blam! test src/data/list/pair.rs - data::list::pair::init (line 463) ... ok
Nov 02 13:51:43.883 INFO blam! test src/data/list/pair.rs - data::list::pair::list (line 201) ... ok
Nov 02 13:51:43.892 INFO blam! test src/data/list/pair.rs - data::list::pair::length (line 101) ... ok
Nov 02 13:51:44.927 INFO blam! test src/data/list/pair.rs - data::list::pair::map (line 264) ... ok
Nov 02 13:51:50.291 INFO blam! test src/data/list/pair.rs - data::list::pair::replicate (line 765) ... ok
Nov 02 13:51:50.763 INFO blam! test src/data/list/pair.rs - data::list::pair::reverse (line 162) ... ok
Nov 02 13:51:51.323 INFO blam! test src/data/list/pair.rs - data::list::pair::tail (line 82) ... ok
Nov 02 13:51:51.847 INFO blam! test src/data/list/pair.rs - data::list::pair::take (line 599) ... ok
Nov 02 13:51:52.243 INFO blam! test src/data/list/pair.rs - data::list::pair::take_while (line 643) ... ok
Nov 02 13:51:54.571 INFO blam! test src/data/list/pair.rs - data::list::pair::zip (line 504) ... ok
Nov 02 13:51:54.983 INFO blam! test src/data/list/pair.rs - data::list::pair::zip_with (line 551) ... ok
Nov 02 13:51:56.211 INFO blam! test src/data/list/parigot.rs - data::list::parigot::cons (line 32) ... ok
Nov 02 13:52:01.455 INFO blam! test src/data/list/parigot.rs - data::list::parigot::is_nil (line 17) ... ok
Nov 02 13:52:01.539 INFO blam! test src/data/list/parigot.rs - data::list::parigot::head (line 77) ... ok
Nov 02 13:52:02.168 INFO blam! test src/data/list/parigot.rs - data::list::parigot::tail (line 97) ... ok
Nov 02 13:52:02.928 INFO blam! test src/data/list/scott.rs - data::list::scott::head (line 67) ... ok
Nov 02 13:52:02.975 INFO blam! test src/data/list/scott.rs - data::list::scott::cons (line 32) ... ok
Nov 02 13:52:04.691 INFO blam! test src/data/list/scott.rs - data::list::scott::is_nil (line 17) ... ok
Nov 02 13:52:05.749 INFO blam! test src/data/list/scott.rs - data::list::scott::tail (line 87) ... ok
Nov 02 13:52:06.879 INFO blam! test src/data/num/binary.rs - data::num::binary::is_zero (line 38) ... ok
Nov 02 13:52:11.075 INFO blam! test src/data/num/binary.rs - data::num::binary::shl1 (line 164) ... ok
Nov 02 13:52:11.223 INFO blam! test src/data/num/binary.rs - data::num::binary::shl0 (line 147) ... ok
Nov 02 13:52:11.451 INFO blam! test src/data/num/binary.rs - data::num::binary::pred (line 107) ... ok
Nov 02 13:52:11.787 INFO blam! test src/data/num/binary.rs - data::num::binary::lsb (line 129) ... ok
Nov 02 13:52:11.871 INFO blam! test src/data/num/binary.rs - data::num::binary::one (line 54) ... ok
Nov 02 13:52:12.722 INFO blam! test src/data/num/binary.rs - data::num::binary::strip (line 189) ... ok
Nov 02 13:52:12.739 INFO blam! test src/data/num/binary.rs - data::num::binary::succ (line 77) ... ok
Nov 02 13:52:15.847 INFO blam! test src/data/num/binary.rs - data::num::binary::zero (line 24) ... ok
Nov 02 13:52:19.467 INFO blam! test src/data/num/church.rs - data::num::church::add (line 97) ... ok
Nov 02 13:52:20.875 INFO blam! test src/data/num/church.rs - data::num::church::div (line 339) ... ok
Nov 02 13:52:21.043 INFO blam! test src/data/num/church.rs - data::num::church::geq (line 289) ... ok
Nov 02 13:52:21.155 INFO blam! test src/data/num/church.rs - data::num::church::fac (line 455) ... ok
Nov 02 13:52:21.163 INFO blam! test src/data/num/church.rs - data::num::church::eq (line 221) ... ok
Nov 02 13:52:21.247 INFO blam! test src/data/num/church.rs - data::num::church::is_even (line 592) ... ok
Nov 02 13:52:21.747 INFO blam! test src/data/num/church.rs - data::num::church::gt (line 312) ... ok
Nov 02 13:52:22.887 INFO blam! test src/data/num/church.rs - data::num::church::is_odd (line 611) ... ok
Nov 02 13:52:25.907 INFO blam! test src/data/num/church.rs - data::num::church::is_zero (line 29) ... ok
Nov 02 13:52:28.786 INFO blam! test src/data/num/church.rs - data::num::church::mul (line 130) ... ok
Nov 02 13:52:29.188 INFO blam! test src/data/num/church.rs - data::num::church::leq (line 195) ... ok
Nov 02 13:52:29.218 INFO blam! test src/data/num/church.rs - data::num::church::lt (line 169) ... ok
Nov 02 13:52:29.611 INFO blam! test src/data/num/church.rs - data::num::church::neq (line 252) ... ok
Nov 02 13:52:30.347 INFO blam! test src/data/num/church.rs - data::num::church::min (line 484) ... ok
Nov 02 13:52:30.483 INFO blam! test src/data/num/church.rs - data::num::church::max (line 507) ... ok
Nov 02 13:52:31.265 INFO blam! test src/data/num/church.rs - data::num::church::one (line 45) ... ok
Nov 02 13:52:35.583 INFO blam! test src/data/num/church.rs - data::num::church::pow (line 146) ... ok
Nov 02 13:52:38.655 INFO blam! test src/data/num/church.rs - data::num::church::pred (line 76) ... ok
Nov 02 13:52:39.151 INFO blam! test src/data/num/church.rs - data::num::church::rem (line 421) ... ok
Nov 02 13:52:39.635 INFO blam! test src/data/num/church.rs - data::num::church::quot (line 385) ... ok
Nov 02 13:52:40.054 INFO blam! test src/data/num/church.rs - data::num::church::shl (line 531) ... ok
Nov 02 13:52:40.599 INFO blam! test src/data/num/church.rs - data::num::church::shr (line 561) ... ok
Nov 02 13:52:41.083 INFO blam! test src/data/num/church.rs - data::num::church::sub (line 113) ... ok
Nov 02 13:52:41.243 INFO blam! test src/data/num/church.rs - data::num::church::succ (line 60) ... ok
Nov 02 13:52:45.809 INFO blam! test src/data/num/church.rs - data::num::church::to_parigot (line 646) ... ok
Nov 02 13:52:48.992 INFO blam! test src/data/num/church.rs - data::num::church::to_stumpfu (line 663) ... ok
Nov 02 13:52:49.355 INFO blam! test src/data/num/church.rs - data::num::church::to_scott (line 629) ... ok
Nov 02 13:52:49.719 INFO blam! test src/data/num/church.rs - data::num::church::zero (line 15) ... ok
Nov 02 13:52:50.271 INFO blam! test src/data/num/parigot.rs - data::num::parigot::add (line 87) ... ok
Nov 02 13:52:50.803 INFO blam! test src/data/num/parigot.rs - data::num::parigot::is_zero (line 26) ... ok
Nov 02 13:52:50.943 INFO blam! test src/data/num/parigot.rs - data::num::parigot::mul (line 120) ... ok
Nov 02 13:52:51.387 INFO blam! test src/data/num/parigot.rs - data::num::parigot::one (line 42) ... ok
Nov 02 13:52:56.055 INFO blam! test src/data/num/parigot.rs - data::num::parigot::pred (line 71) ... ok
Nov 02 13:52:59.315 INFO blam! test src/data/num/parigot.rs - data::num::parigot::sub (line 103) ... ok
Nov 02 13:52:59.739 INFO blam! test src/data/num/parigot.rs - data::num::parigot::succ (line 55) ... ok
Nov 02 13:53:00.155 INFO blam! test src/data/num/parigot.rs - data::num::parigot::zero (line 12) ... ok
Nov 02 13:53:00.819 INFO blam! test src/data/num/scott.rs - data::num::scott::add (line 89) ... ok
Nov 02 13:53:01.053 INFO blam! test src/data/num/scott.rs - data::num::scott::is_zero (line 27) ... ok
Nov 02 13:53:01.226 INFO blam! test src/data/num/scott.rs - data::num::scott::one (line 44) ... ok
Nov 02 13:53:01.271 INFO blam! test src/data/num/scott.rs - data::num::scott::mul (line 135) ... ok
Nov 02 13:53:04.983 INFO blam! test src/data/num/scott.rs - data::num::scott::pow (line 166) ... ok
Nov 02 13:53:06.661 INFO blam! test src/data/num/scott.rs - data::num::scott::succ (line 57) ... ok
Nov 02 13:53:08.301 INFO blam! test src/data/num/scott.rs - data::num::scott::zero (line 13) ... ok
Nov 02 13:53:08.395 INFO blam! test src/data/num/scott.rs - data::num::scott::pred (line 73) ... ok
Nov 02 13:53:08.919 INFO blam! test src/data/num/signed.rs - data::num::signed::modulus (line 115) ... ok
Nov 02 13:53:09.163 INFO blam! test src/data/num/scott.rs - data::num::scott::to_church (line 198) ... ok
Nov 02 13:53:10.899 INFO blam! test src/data/num/signed.rs - data::num::signed::add (line 149) ... ok
Nov 02 13:53:11.099 INFO blam! test src/data/num/signed.rs - data::num::signed::mul (line 237) ... ok
Nov 02 13:53:12.627 INFO blam! test src/data/num/signed.rs - data::num::signed::neg (line 42) ... ok
Nov 02 13:53:13.886 INFO blam! test src/data/num/signed.rs - data::num::signed::simplify (line 60) ... ok
Nov 02 13:53:14.497 INFO blam! test src/data/num/signed.rs - data::num::signed::to_signed (line 19) ... ok
Nov 02 13:53:15.634 INFO blam! test src/data/num/signed.rs - data::num::signed::sub (line 192) ... ok
Nov 02 13:53:16.903 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::is_zero (line 28) ... ok
Nov 02 13:53:17.234 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::add (line 93) ... ok
Nov 02 13:53:17.479 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::mul (line 113) ... ok
Nov 02 13:53:18.631 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::one (line 44) ... ok
Nov 02 13:53:19.081 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::succ (line 57) ... ok
Nov 02 13:53:19.081 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::pred (line 77) ... ok
Nov 02 13:53:20.963 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_church (line 137) ... ok
Nov 02 13:53:21.275 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_parigot (line 188) ... ok
Nov 02 13:53:21.923 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_scott (line 159) ... ok
Nov 02 13:53:22.343 INFO blam! test src/data/option.rs - data::option::and_then (line 131) ... ok
Nov 02 13:53:22.395 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::zero (line 14) ... ok
Nov 02 13:53:22.839 INFO blam! test src/data/option.rs - data::option::is_none (line 34) ... ok
Nov 02 13:53:24.195 INFO blam! test src/data/option.rs - data::option::map (line 68) ... ok
Nov 02 13:53:24.375 INFO blam! test src/data/option.rs - data::option::is_some (line 51) ... ok
Nov 02 13:53:24.914 INFO blam! test src/data/option.rs - data::option::unwrap_or (line 112) ... ok
Nov 02 13:53:25.225 INFO blam! test src/data/option.rs - data::option::map_or (line 92) ... ok
Nov 02 13:53:27.447 INFO blam! test src/data/option.rs - data::option::some (line 18) ... ok
Nov 02 13:53:28.034 INFO blam! test src/data/pair.rs - data::pair::pair (line 12) ... ok
Nov 02 13:53:28.207 INFO blam! test src/data/pair.rs - data::pair::curry (line 87) ... ok
Nov 02 13:53:28.337 INFO blam! test src/data/pair.rs - data::pair::fst (line 30) ... ok
Nov 02 13:53:29.390 INFO blam! test src/data/pair.rs - data::pair::snd (line 46) ... ok
Nov 02 13:53:29.779 INFO blam! test src/data/pair.rs - data::pair::swap (line 108) ... ok
Nov 02 13:53:29.903 INFO blam! test src/data/pair.rs - data::pair::uncurry (line 63) ... ok
Nov 02 13:53:30.141 INFO blam! test src/data/result.rs - data::result::and_then (line 202) ... ok
Nov 02 13:53:31.427 INFO blam! test src/data/result.rs - data::result::err (line 32) ... ok
Nov 02 13:53:31.891 INFO blam! test src/data/result.rs - data::result::map (line 150) ... ok
Nov 02 13:53:32.033 INFO blam! test src/data/result.rs - data::result::is_ok (line 49) ... ok
Nov 02 13:53:32.292 INFO blam! test src/data/result.rs - data::result::is_err (line 69) ... ok
Nov 02 13:53:34.172 INFO blam! test src/data/result.rs - data::result::ok (line 15) ... ok
Nov 02 13:53:34.759 INFO blam! test src/data/result.rs - data::result::map_err (line 176) ... ok
Nov 02 13:53:35.519 INFO blam! test src/data/result.rs - data::result::option_ok (line 88) ... ok
Nov 02 13:53:35.639 INFO blam! test src/data/result.rs - data::result::option_err (line 109) ... ok
Nov 02 13:53:36.411 INFO blam! test src/data/result.rs - data::result::unwrap_or (line 130) ... ok
Nov 02 13:53:37.591 INFO blam! test src/data/tuple.rs - tuple (line 8) ... ok
Nov 02 13:53:37.807 INFO blam! test src/data/tuple.rs - pi (line 40) ... ok
Nov 02 13:53:39.151 INFO blam! test src/parser.rs - parser::parse (line 215) ... ok
Nov 02 13:53:39.343 INFO blam! test src/reduction.rs - reduction::Term::apply (line 59) ... ok
Nov 02 13:53:40.168 INFO blam! test src/reduction.rs - reduction::Term::reduce (line 136) ... ok
Nov 02 13:53:42.622 INFO blam! test src/reduction.rs - reduction::beta (line 42) ... ok
Nov 02 13:53:42.971 INFO blam! test src/term.rs - abs (line 438) ... ok
Nov 02 13:53:45.599 INFO blam! test src/term.rs - app (line 416) ... ok
Nov 02 13:53:46.971 INFO blam! test src/term.rs - term::Notation (line 27) ... ok
Nov 02 13:53:47.219 INFO blam! test src/term.rs - term::Term::is_supercombinator (line 291) ... ok
Nov 02 13:53:47.760 INFO blam! test src/term.rs - term::Term::lhs (line 203) ... ok
Nov 02 13:53:47.891 INFO blam! test src/term.rs - term::Term::lhs_ref (line 218) ... ok
Nov 02 13:53:48.239 INFO blam! test src/term.rs - term::Term::lhs_mut (line 233) ... ok
Nov 02 13:53:50.163 INFO blam! test src/term.rs - term::Term::rhs (line 245) ... ok
Nov 02 13:53:51.755 INFO blam! test src/term.rs - term::Term::rhs_mut (line 275) ... ok
Nov 02 13:53:54.217 INFO blam! test src/term.rs - term::Term::unabs (line 113) ... ok
Nov 02 13:53:54.685 INFO blam! test src/term.rs - term::Term::rhs_ref (line 260) ... ok
Nov 02 13:53:55.719 INFO blam! test src/term.rs - term::Term::unabs_mut (line 143) ... ok
Nov 02 13:53:56.251 INFO blam! test src/term.rs - term::Term::unapp_mut (line 188) ... ok
Nov 02 13:53:56.252 INFO blam! test src/term.rs - term::Term::unapp (line 158) ... ok
Nov 02 13:53:56.269 INFO blam! test src/term.rs - term::Term::unabs_ref (line 128) ... ok
Nov 02 13:53:57.127 INFO blam! test src/term.rs - term::Term::unapp_ref (line 173) ... ok
Nov 02 13:53:58.855 INFO blam! test src/term.rs - term::Term::unvar (line 68) ... ok
Nov 02 13:53:59.674 INFO blam! test src/term.rs - term::Term::unvar_mut (line 98) ... ok
Nov 02 13:54:00.243 INFO blam! test src/term.rs - term::Term::unvar_ref (line 83) ... ok
Nov 02 13:54:00.391 INFO blam! test src/term.rs - term::abs (line 321) ... ok
Nov 02 13:54:00.547 INFO blam! test src/term.rs - term::app (line 332) ... ok
Nov 02 13:54:00.547 INFO blam! 
Nov 02 13:54:00.547 INFO blam! test result: ok. 177 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 13:54:00.547 INFO blam! 
Nov 02 13:54:00.564 INFO kablam! su: No module specific data is present
Nov 02 13:54:01.235 INFO running `"docker" "rm" "-f" "3b8e409b0bccb2116e2365b44cbf48101597d86a118d127ca2b815345104c4be"`
Nov 02 13:54:01.515 INFO blam! 3b8e409b0bccb2116e2365b44cbf48101597d86a118d127ca2b815345104c4be
