Oct 11 17:54:51.544 INFO testing lambda_calculus-2.2.0 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 17:54:51.544 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 17:54:51.544 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/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 17:54:51.976 INFO blam! 780b7a8ad1f7bc31e913a82c9eefcfd6d5e9d99e40dd0d0801e36180d26b9dc6
Oct 11 17:54:51.984 INFO running `"docker" "start" "-a" "780b7a8ad1f7bc31e913a82c9eefcfd6d5e9d99e40dd0d0801e36180d26b9dc6"`
Oct 11 17:54:53.068 INFO kablam! usermod: no changes
Oct 11 17:54:53.109 INFO kablam!    Compiling lambda_calculus v2.2.0 (/source)
Oct 11 17:54:55.227 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.13s
Oct 11 17:54:55.227 INFO kablam! su: No module specific data is present
Oct 11 17:54:55.485 INFO running `"docker" "rm" "-f" "780b7a8ad1f7bc31e913a82c9eefcfd6d5e9d99e40dd0d0801e36180d26b9dc6"`
Oct 11 17:54:55.600 INFO blam! 780b7a8ad1f7bc31e913a82c9eefcfd6d5e9d99e40dd0d0801e36180d26b9dc6
Oct 11 17:54:55.602 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 17:54:55.603 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/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 17:54:55.853 INFO blam! 0d26a0c35aec0aa6fb06f924668c65dcacbbdafb1f857f3682354e01f1fee37f
Oct 11 17:54:55.853 INFO running `"docker" "start" "-a" "0d26a0c35aec0aa6fb06f924668c65dcacbbdafb1f857f3682354e01f1fee37f"`
Oct 11 17:54:56.436 INFO kablam! usermod: no changes
Oct 11 17:54:56.478 INFO kablam!    Compiling lambda_calculus v2.2.0 (/source)
Oct 11 17:54:57.584 INFO kablam! warning: unused `#[macro_use]` import
Oct 11 17:54:57.585 INFO kablam!  --> tests/num.rs:3:1
Oct 11 17:54:57.586 INFO kablam!   |
Oct 11 17:54:57.586 INFO kablam! 3 | #[macro_use]
Oct 11 17:54:57.586 INFO kablam!   | ^^^^^^^^^^^^
Oct 11 17:54:57.587 INFO kablam!   |
Oct 11 17:54:57.587 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 11 17:54:57.587 INFO kablam! 
Oct 11 17:54:58.440 INFO kablam! warning: unused `#[macro_use]` import
Oct 11 17:54:58.440 INFO kablam!  --> tests/reduction.rs:1:1
Oct 11 17:54:58.440 INFO kablam!   |
Oct 11 17:54:58.440 INFO kablam! 1 | #[macro_use]
Oct 11 17:54:58.440 INFO kablam!   | ^^^^^^^^^^^^
Oct 11 17:54:58.440 INFO kablam!   |
Oct 11 17:54:58.440 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 11 17:54:58.440 INFO kablam! 
Oct 11 17:54:58.546 INFO kablam! warning: unused `#[macro_use]` import
Oct 11 17:54:58.546 INFO kablam!  --> tests/signed.rs:3:1
Oct 11 17:54:58.546 INFO kablam!   |
Oct 11 17:54:58.546 INFO kablam! 3 | #[macro_use]
Oct 11 17:54:58.546 INFO kablam!   | ^^^^^^^^^^^^
Oct 11 17:54:58.568 INFO kablam!   |
Oct 11 17:54:58.568 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 11 17:54:58.568 INFO kablam! 
Oct 11 17:55:01.746 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.28s
Oct 11 17:55:01.750 INFO kablam! su: No module specific data is present
Oct 11 17:55:02.165 INFO running `"docker" "rm" "-f" "0d26a0c35aec0aa6fb06f924668c65dcacbbdafb1f857f3682354e01f1fee37f"`
Oct 11 17:55:02.338 INFO blam! 0d26a0c35aec0aa6fb06f924668c65dcacbbdafb1f857f3682354e01f1fee37f
Oct 11 17:55:02.338 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 17:55:02.340 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-0/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 17:55:02.695 INFO blam! 96b2e2c0d9639791cb2c7d6586945c3f553dde2a903b3abf28cb545d865026fd
Oct 11 17:55:02.698 INFO running `"docker" "start" "-a" "96b2e2c0d9639791cb2c7d6586945c3f553dde2a903b3abf28cb545d865026fd"`
Oct 11 17:55:03.463 INFO kablam! usermod: no changes
Oct 11 17:55:03.491 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Oct 11 17:55:03.504 INFO kablam!      Running /target/debug/deps/lambda_calculus-91188834e03eb0dc
Oct 11 17:55:03.509 INFO blam! 
Oct 11 17:55:03.509 INFO blam! running 13 tests
Oct 11 17:55:03.516 INFO blam! test parser::tests::alternative_lambda_parsing ... ok
Oct 11 17:55:03.517 INFO blam! test parser::tests::succ_ast ... ok
Oct 11 17:55:03.517 INFO kablam!      Running /target/debug/deps/lists-9003e6e10f6f67ec
Oct 11 17:55:03.517 INFO blam! test parser::tests::parse_quine ... ok
Oct 11 17:55:03.518 INFO blam! test parser::tests::parse_blc ... ok
Oct 11 17:55:03.518 INFO blam! test parser::tests::parse_y ... ok
Oct 11 17:55:03.518 INFO blam! test parser::tests::tokenization_error ... ok
Oct 11 17:55:03.519 INFO blam! test parser::tests::tokenization_success ... ok
Oct 11 17:55:03.519 INFO blam! test parser::tests::tokenization_success_classic ... ok
Oct 11 17:55:03.519 INFO blam! test term::tests::abs_macro ... ok
Oct 11 17:55:03.519 INFO blam! test term::tests::app_macro ... ok
Oct 11 17:55:03.520 INFO blam! test term::tests::open_term_display ... ok
Oct 11 17:55:03.520 INFO blam! test term::tests::is_supercombinator ... ok
Oct 11 17:55:03.520 INFO blam! test term::tests::display_modes ... ok
Oct 11 17:55:03.521 INFO blam! 
Oct 11 17:55:03.521 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.521 INFO blam! 
Oct 11 17:55:03.523 INFO blam! 
Oct 11 17:55:03.523 INFO blam! running 2 tests
Oct 11 17:55:03.528 INFO blam! test list_head ... ok
Oct 11 17:55:03.529 INFO blam! test list_tail ... ok
Oct 11 17:55:03.529 INFO blam! 
Oct 11 17:55:03.529 INFO kablam!      Running /target/debug/deps/num-7766c2a48144dea8
Oct 11 17:55:03.530 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.530 INFO blam! 
Oct 11 17:55:03.539 INFO blam! 
Oct 11 17:55:03.539 INFO blam! running 22 tests
Oct 11 17:55:03.548 INFO blam! test church_add ... ok
Oct 11 17:55:03.548 INFO blam! test church_mul ... ok
Oct 11 17:55:03.548 INFO blam! test church_pow ... ok
Oct 11 17:55:03.553 INFO blam! test church_rem ... ok
Oct 11 17:55:03.553 INFO blam! test church_div ... ok
Oct 11 17:55:03.554 INFO blam! test church_sub ... ok
Oct 11 17:55:03.556 INFO blam! test num_succ ... ok
Oct 11 17:55:03.563 INFO blam! test church_fac ... ok
Oct 11 17:55:03.563 INFO blam! test church_quot ... ok
Oct 11 17:55:03.563 INFO blam! test num_pred ... ok
Oct 11 17:55:03.566 INFO blam! test church_min ... ok
Oct 11 17:55:03.566 INFO blam! test church_max ... ok
Oct 11 17:55:03.566 INFO blam! test church_shl ... ok
Oct 11 17:55:03.566 INFO blam! test parigot_add ... ok
Oct 11 17:55:03.569 INFO blam! test stumpfu_add ... ok
Oct 11 17:55:03.569 INFO blam! test scott_mul ... ok
Oct 11 17:55:03.577 INFO blam! test stumpfu_mul ... ok
Oct 11 17:55:03.577 INFO blam! test parigot_mul ... ok
Oct 11 17:55:03.577 INFO blam! test parigot_sub ... ok
Oct 11 17:55:03.577 INFO blam! test scott_add ... ok
Oct 11 17:55:03.578 INFO blam! test scott_pow ... ok
Oct 11 17:55:03.584 INFO blam! test church_shr ... ok
Oct 11 17:55:03.584 INFO kablam!      Running /target/debug/deps/option-83176a30aa3e2b54
Oct 11 17:55:03.584 INFO blam! 
Oct 11 17:55:03.584 INFO blam! test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.584 INFO blam! 
Oct 11 17:55:03.585 INFO blam! 
Oct 11 17:55:03.585 INFO blam! running 8 tests
Oct 11 17:55:03.586 INFO blam! test option_some ... ok
Oct 11 17:55:03.586 INFO blam! test option_unwrap_or ... ok
Oct 11 17:55:03.586 INFO blam! test option_none ... ok
Oct 11 17:55:03.586 INFO blam! test option_map_or ... ok
Oct 11 17:55:03.586 INFO blam! test option_map ... ok
Oct 11 17:55:03.587 INFO blam! test option_is_some ... ok
Oct 11 17:55:03.587 INFO kablam!      Running /target/debug/deps/pair_list-451e250af667c81c
Oct 11 17:55:03.587 INFO blam! test option_is_none ... ok
Oct 11 17:55:03.587 INFO blam! test option_and_then ... ok
Oct 11 17:55:03.587 INFO blam! 
Oct 11 17:55:03.587 INFO blam! test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.587 INFO blam! 
Oct 11 17:55:03.588 INFO blam! 
Oct 11 17:55:03.588 INFO blam! running 10 tests
Oct 11 17:55:03.589 INFO blam! test pair_list_replicate ... ok
Oct 11 17:55:03.591 INFO blam! test pair_list_list ... ok
Oct 11 17:55:03.591 INFO blam! test pair_list_length ... ok
Oct 11 17:55:03.596 INFO blam! test pair_list_head ... ok
Oct 11 17:55:03.596 INFO blam! test pair_list_drop_while ... ok
Oct 11 17:55:03.596 INFO blam! test pair_list_drop ... ok
Oct 11 17:55:03.596 INFO blam! test pair_list_append ... ok
Oct 11 17:55:03.597 INFO blam! test pair_list_tail ... ok
Oct 11 17:55:03.597 INFO blam! test pair_list_index ... ok
Oct 11 17:55:03.597 INFO blam! test pair_list_reverse ... ok
Oct 11 17:55:03.597 INFO blam! 
Oct 11 17:55:03.597 INFO blam! test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.597 INFO blam! 
Oct 11 17:55:03.600 INFO blam! 
Oct 11 17:55:03.600 INFO kablam!      Running /target/debug/deps/reduction-b11bf80f088816cb
Oct 11 17:55:03.600 INFO blam! running 5 tests
Oct 11 17:55:03.600 INFO blam! test reduction_huge ... ignored
Oct 11 17:55:03.600 INFO blam! test reduction_nor ... ok
Oct 11 17:55:03.600 INFO blam! test reduction_cbv ... ok
Oct 11 17:55:03.600 INFO blam! test reduction_cbn ... ok
Oct 11 17:55:03.600 INFO blam! test reduction_app ... ok
Oct 11 17:55:03.600 INFO blam! 
Oct 11 17:55:03.600 INFO blam! test result: ok. 4 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.600 INFO blam! 
Oct 11 17:55:03.604 INFO blam! 
Oct 11 17:55:03.604 INFO kablam!      Running /target/debug/deps/signed-012871735743ad3b
Oct 11 17:55:03.604 INFO blam! running 6 tests
Oct 11 17:55:03.610 INFO blam! test signed_neg ... ok
Oct 11 17:55:03.618 INFO blam! test signed_modulus ... ok
Oct 11 17:55:03.622 INFO blam! test signed_simplify ... ok
Oct 11 17:55:03.623 INFO blam! test signed_mul ... ok
Oct 11 17:55:03.653 INFO blam! test signed_sub ... ok
Oct 11 17:55:03.711 INFO blam! test signed_add ... ok
Oct 11 17:55:03.712 INFO kablam!    Doc-tests lambda_calculus
Oct 11 17:55:03.712 INFO blam! 
Oct 11 17:55:03.712 INFO blam! test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:55:03.712 INFO blam! 
Oct 11 17:55:04.480 INFO blam! 
Oct 11 17:55:04.480 INFO blam! running 177 tests
Oct 11 17:55:06.174 INFO blam! test src/combinators.rs - combinators::C (line 101) ... ok
Oct 11 17:55:07.084 INFO blam! test src/combinators.rs - combinators::T (line 242) ... ok
Oct 11 17:55:07.152 INFO blam! test src/combinators.rs - combinators::S (line 50) ... ok
Oct 11 17:55:07.540 INFO blam! test src/combinators.rs - combinators::R (line 221) ... ok
Oct 11 17:55:07.821 INFO blam! test src/combinators.rs - combinators::I (line 22) ... ok
Oct 11 17:55:08.012 INFO blam! test src/combinators.rs - combinators::K (line 36) ... ok
Oct 11 17:55:08.236 INFO blam! test src/combinators.rs - combinators::O (line 153) ... ok
Oct 11 17:55:09.212 INFO blam! test src/combinators.rs - combinators::B (line 83) ... ok
Oct 11 17:55:11.096 INFO blam! test src/combinators.rs - combinators::W (line 119) ... ok
Oct 11 17:55:11.576 INFO blam! test src/combinators.rs - combinators::i (line 68) ... ok
Oct 11 17:55:11.632 INFO blam! test src/data/boolean.rs - data::boolean::if_else (line 167) ... ok
Oct 11 17:55:12.691 INFO blam! test src/combinators.rs - combinators::o (line 137) ... ok
Oct 11 17:55:12.952 INFO blam! test src/combinators.rs - combinators::Y (line 169) ... ok
Oct 11 17:55:13.176 INFO blam! test src/combinators.rs - combinators::Z (line 198) ... ok
Oct 11 17:55:13.972 INFO blam! test src/data/boolean.rs - data::boolean::imply (line 183) ... ok
Oct 11 17:55:14.016 INFO blam! test src/data/boolean.rs - data::boolean::and (line 21) ... ok
Oct 11 17:55:14.708 INFO blam! test src/data/boolean.rs - data::boolean::nor (line 95) ... ok
Oct 11 17:55:14.966 INFO blam! test src/data/boolean.rs - data::boolean::nand (line 142) ... ok
Oct 11 17:55:15.676 INFO blam! test src/data/boolean.rs - data::boolean::not (line 57) ... ok
Oct 11 17:55:16.332 INFO blam! test src/data/boolean.rs - data::boolean::xor (line 73) ... ok
Oct 11 17:55:16.368 INFO blam! test src/data/boolean.rs - data::boolean::or (line 39) ... ok
Oct 11 17:55:17.232 INFO blam! test src/data/boolean.rs - data::boolean::xnor (line 120) ... ok
Oct 11 17:55:17.250 INFO blam! test src/data/list/church.rs - data::list::church::head (line 77) ... ok
Oct 11 17:55:17.720 INFO blam! test src/data/list/church.rs - data::list::church::cons (line 33) ... ok
Oct 11 17:55:18.024 INFO blam! test src/data/list/church.rs - data::list::church::tail (line 98) ... ok
Oct 11 17:55:18.076 INFO blam! test src/data/list/church.rs - data::list::church::is_nil (line 18) ... ok
Oct 11 17:55:18.626 INFO blam! test src/data/list/pair.rs - data::list::pair::append (line 225) ... ok
Oct 11 17:55:19.146 INFO blam! test src/data/list/pair.rs - data::list::pair::cons (line 36) ... ok
Oct 11 17:55:19.513 INFO blam! test src/data/list/pair.rs - data::list::pair::filter (line 385) ... ok
Oct 11 17:55:20.300 INFO blam! test src/data/list/pair.rs - data::list::pair::foldl (line 308) ... ok
Oct 11 17:55:20.317 INFO blam! test src/data/list/pair.rs - data::list::pair::drop (line 686) ... ok
Oct 11 17:55:20.747 INFO blam! test src/data/list/pair.rs - data::list::pair::drop_while (line 726) ... ok
Oct 11 17:55:20.748 INFO blam! test src/data/list/pair.rs - data::list::pair::head (line 66) ... ok
Oct 11 17:55:20.891 INFO blam! test src/data/list/pair.rs - data::list::pair::foldr (line 348) ... ok
Oct 11 17:55:22.132 INFO blam! test src/data/list/pair.rs - data::list::pair::index (line 134) ... ok
Oct 11 17:55:22.881 INFO blam! test src/data/list/pair.rs - data::list::pair::is_nil (line 20) ... ok
Oct 11 17:55:23.476 INFO blam! test src/data/list/pair.rs - data::list::pair::init (line 463) ... ok
Oct 11 17:55:23.690 INFO blam! test src/data/list/pair.rs - data::list::pair::replicate (line 765) ... ok
Oct 11 17:55:23.888 INFO blam! test src/data/list/pair.rs - data::list::pair::length (line 101) ... ok
Oct 11 17:55:24.684 INFO blam! test src/data/list/pair.rs - data::list::pair::list (line 201) ... ok
Oct 11 17:55:25.135 INFO blam! test src/data/list/pair.rs - data::list::pair::last (line 428) ... ok
Oct 11 17:55:26.696 INFO blam! test src/data/list/pair.rs - data::list::pair::map (line 264) ... ok
Oct 11 17:55:27.272 INFO blam! test src/data/list/pair.rs - data::list::pair::reverse (line 162) ... ok
Oct 11 17:55:27.828 INFO blam! test src/data/list/pair.rs - data::list::pair::tail (line 82) ... ok
Oct 11 17:55:29.104 INFO blam! test src/data/list/parigot.rs - data::list::parigot::cons (line 32) ... ok
Oct 11 17:55:29.105 INFO blam! test src/data/list/pair.rs - data::list::pair::take_while (line 643) ... ok
Oct 11 17:55:29.600 INFO blam! test src/data/list/pair.rs - data::list::pair::take (line 599) ... ok
Oct 11 17:55:30.186 INFO blam! test src/data/list/pair.rs - data::list::pair::zip (line 504) ... ok
Oct 11 17:55:31.057 INFO blam! test src/data/list/pair.rs - data::list::pair::zip_with (line 551) ... ok
Oct 11 17:55:32.088 INFO blam! test src/data/list/parigot.rs - data::list::parigot::head (line 77) ... ok
Oct 11 17:55:33.042 INFO blam! test src/data/list/parigot.rs - data::list::parigot::tail (line 97) ... ok
Oct 11 17:55:33.444 INFO blam! test src/data/list/parigot.rs - data::list::parigot::is_nil (line 17) ... ok
Oct 11 17:55:33.720 INFO blam! test src/data/list/scott.rs - data::list::scott::cons (line 32) ... ok
Oct 11 17:55:34.132 INFO blam! test src/data/list/scott.rs - data::list::scott::head (line 67) ... ok
Oct 11 17:55:34.236 INFO blam! test src/data/num/binary.rs - data::num::binary::is_zero (line 38) ... ok
Oct 11 17:55:34.500 INFO blam! test src/data/list/scott.rs - data::list::scott::is_nil (line 17) ... ok
Oct 11 17:55:34.924 INFO blam! test src/data/list/scott.rs - data::list::scott::tail (line 87) ... ok
Oct 11 17:55:35.000 INFO blam! test src/data/num/binary.rs - data::num::binary::lsb (line 129) ... ok
Oct 11 17:55:35.329 INFO blam! test src/data/num/binary.rs - data::num::binary::one (line 54) ... ok
Oct 11 17:55:35.728 INFO blam! test src/data/num/binary.rs - data::num::binary::pred (line 107) ... ok
Oct 11 17:55:35.822 INFO blam! test src/data/num/binary.rs - data::num::binary::shl0 (line 147) ... ok
Oct 11 17:55:36.624 INFO blam! test src/data/num/binary.rs - data::num::binary::strip (line 189) ... ok
Oct 11 17:55:36.667 INFO blam! test src/data/num/binary.rs - data::num::binary::shl1 (line 164) ... ok
Oct 11 17:55:37.037 INFO blam! test src/data/num/binary.rs - data::num::binary::zero (line 24) ... ok
Oct 11 17:55:37.167 INFO blam! test src/data/num/church.rs - data::num::church::add (line 97) ... ok
Oct 11 17:55:37.352 INFO blam! test src/data/num/binary.rs - data::num::binary::succ (line 77) ... ok
Oct 11 17:55:38.156 INFO blam! test src/data/num/church.rs - data::num::church::div (line 339) ... ok
Oct 11 17:55:39.000 INFO blam! test src/data/num/church.rs - data::num::church::eq (line 221) ... ok
Oct 11 17:55:39.344 INFO blam! test src/data/num/church.rs - data::num::church::fac (line 455) ... ok
Oct 11 17:55:40.438 INFO blam! test src/data/num/church.rs - data::num::church::gt (line 312) ... ok
Oct 11 17:55:40.924 INFO blam! test src/data/num/church.rs - data::num::church::is_even (line 592) ... ok
Oct 11 17:55:41.331 INFO blam! test src/data/num/church.rs - data::num::church::geq (line 289) ... ok
Oct 11 17:55:41.600 INFO blam! test src/data/num/church.rs - data::num::church::is_zero (line 29) ... ok
Oct 11 17:55:41.727 INFO blam! test src/data/num/church.rs - data::num::church::is_odd (line 611) ... ok
Oct 11 17:55:42.458 INFO blam! test src/data/num/church.rs - data::num::church::max (line 507) ... ok
Oct 11 17:55:42.788 INFO blam! test src/data/num/church.rs - data::num::church::lt (line 169) ... ok
Oct 11 17:55:42.897 INFO blam! test src/data/num/church.rs - data::num::church::leq (line 195) ... ok
Oct 11 17:55:44.157 INFO blam! test src/data/num/church.rs - data::num::church::min (line 484) ... ok
Oct 11 17:55:44.256 INFO blam! test src/data/num/church.rs - data::num::church::one (line 45) ... ok
Oct 11 17:55:44.427 INFO blam! test src/data/num/church.rs - data::num::church::neq (line 252) ... ok
Oct 11 17:55:44.796 INFO blam! test src/data/num/church.rs - data::num::church::mul (line 130) ... ok
Oct 11 17:55:45.104 INFO blam! test src/data/num/church.rs - data::num::church::pow (line 146) ... ok
Oct 11 17:55:46.556 INFO blam! test src/data/num/church.rs - data::num::church::pred (line 76) ... ok
Oct 11 17:55:46.717 INFO blam! test src/data/num/church.rs - data::num::church::rem (line 421) ... ok
Oct 11 17:55:46.849 INFO blam! test src/data/num/church.rs - data::num::church::quot (line 385) ... ok
Oct 11 17:55:48.664 INFO blam! test src/data/num/church.rs - data::num::church::to_parigot (line 646) ... ok
Oct 11 17:55:49.187 INFO blam! test src/data/num/church.rs - data::num::church::sub (line 113) ... ok
Oct 11 17:55:49.204 INFO blam! test src/data/num/church.rs - data::num::church::shl (line 531) ... ok
Oct 11 17:55:49.216 INFO blam! test src/data/num/church.rs - data::num::church::shr (line 561) ... ok
Oct 11 17:55:49.433 INFO blam! test src/data/num/church.rs - data::num::church::succ (line 60) ... ok
Oct 11 17:55:50.138 INFO blam! test src/data/num/church.rs - data::num::church::to_stumpfu (line 663) ... ok
Oct 11 17:55:52.293 INFO blam! test src/data/num/church.rs - data::num::church::zero (line 15) ... ok
Oct 11 17:55:53.048 INFO blam! test src/data/num/church.rs - data::num::church::to_scott (line 629) ... ok
Oct 11 17:55:53.680 INFO blam! test src/data/num/parigot.rs - data::num::parigot::pred (line 71) ... ok
Oct 11 17:55:54.996 INFO blam! test src/data/num/parigot.rs - data::num::parigot::is_zero (line 26) ... ok
Oct 11 17:55:55.047 INFO blam! test src/data/num/parigot.rs - data::num::parigot::add (line 87) ... ok
Oct 11 17:55:55.088 INFO blam! test src/data/num/parigot.rs - data::num::parigot::mul (line 120) ... ok
Oct 11 17:55:55.368 INFO blam! test src/data/num/parigot.rs - data::num::parigot::one (line 42) ... ok
Oct 11 17:55:56.644 INFO blam! test src/data/num/parigot.rs - data::num::parigot::sub (line 103) ... ok
Oct 11 17:55:58.498 INFO blam! test src/data/num/parigot.rs - data::num::parigot::succ (line 55) ... ok
Oct 11 17:55:59.153 INFO blam! test src/data/num/scott.rs - data::num::scott::pow (line 166) ... ok
Oct 11 17:55:59.568 INFO blam! test src/data/num/scott.rs - data::num::scott::mul (line 135) ... ok
Oct 11 17:55:59.609 INFO blam! test src/data/num/parigot.rs - data::num::parigot::zero (line 12) ... ok
Oct 11 17:55:59.613 INFO blam! test src/data/num/scott.rs - data::num::scott::add (line 89) ... ok
Oct 11 17:56:01.004 INFO blam! test src/data/num/scott.rs - data::num::scott::one (line 44) ... ok
Oct 11 17:56:01.004 INFO blam! test src/data/num/scott.rs - data::num::scott::is_zero (line 27) ... ok
Oct 11 17:56:02.768 INFO blam! test src/data/num/scott.rs - data::num::scott::pred (line 73) ... ok
Oct 11 17:56:04.372 INFO blam! test src/data/num/signed.rs - data::num::signed::add (line 149) ... ok
Oct 11 17:56:05.216 INFO blam! test src/data/num/scott.rs - data::num::scott::to_church (line 198) ... ok
Oct 11 17:56:05.364 INFO blam! test src/data/num/scott.rs - data::num::scott::succ (line 57) ... ok
Oct 11 17:56:05.812 INFO blam! test src/data/num/scott.rs - data::num::scott::zero (line 13) ... ok
Oct 11 17:56:06.357 INFO blam! test src/data/num/signed.rs - data::num::signed::modulus (line 115) ... ok
Oct 11 17:56:07.152 INFO blam! test src/data/num/signed.rs - data::num::signed::neg (line 42) ... ok
Oct 11 17:56:07.643 INFO blam! test src/data/num/signed.rs - data::num::signed::mul (line 237) ... ok
Oct 11 17:56:08.530 INFO blam! test src/data/num/signed.rs - data::num::signed::simplify (line 60) ... ok
Oct 11 17:56:08.808 INFO blam! test src/data/num/signed.rs - data::num::signed::sub (line 192) ... ok
Oct 11 17:56:09.884 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::add (line 93) ... ok
Oct 11 17:56:10.294 INFO blam! test src/data/num/signed.rs - data::num::signed::to_signed (line 19) ... ok
Oct 11 17:56:10.805 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::is_zero (line 28) ... ok
Oct 11 17:56:11.263 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::mul (line 113) ... ok
Oct 11 17:56:11.433 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::one (line 44) ... ok
Oct 11 17:56:12.095 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::pred (line 77) ... ok
Oct 11 17:56:12.126 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::succ (line 57) ... ok
Oct 11 17:56:12.750 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_church (line 137) ... ok
Oct 11 17:56:12.917 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_scott (line 159) ... ok
Oct 11 17:56:13.468 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::to_parigot (line 188) ... ok
Oct 11 17:56:13.861 INFO blam! test src/data/num/stumpfu.rs - data::num::stumpfu::zero (line 14) ... ok
Oct 11 17:56:14.456 INFO blam! test src/data/option.rs - data::option::and_then (line 131) ... ok
Oct 11 17:56:14.548 INFO blam! test src/data/option.rs - data::option::is_none (line 34) ... ok
Oct 11 17:56:16.241 INFO blam! test src/data/option.rs - data::option::is_some (line 51) ... ok
Oct 11 17:56:16.660 INFO blam! test src/data/option.rs - data::option::map (line 68) ... ok
Oct 11 17:56:17.880 INFO blam! test src/data/option.rs - data::option::map_or (line 92) ... ok
Oct 11 17:56:18.472 INFO blam! test src/data/option.rs - data::option::some (line 18) ... ok
Oct 11 17:56:18.956 INFO blam! test src/data/option.rs - data::option::unwrap_or (line 112) ... ok
Oct 11 17:56:19.589 INFO blam! test src/data/pair.rs - data::pair::fst (line 30) ... ok
Oct 11 17:56:20.352 INFO blam! test src/data/pair.rs - data::pair::curry (line 87) ... ok
Oct 11 17:56:20.868 INFO blam! test src/data/pair.rs - data::pair::pair (line 12) ... ok
Oct 11 17:56:21.677 INFO blam! test src/data/pair.rs - data::pair::swap (line 108) ... ok
Oct 11 17:56:22.184 INFO blam! test src/data/pair.rs - data::pair::snd (line 46) ... ok
Oct 11 17:56:23.396 INFO blam! test src/data/pair.rs - data::pair::uncurry (line 63) ... ok
Oct 11 17:56:23.508 INFO blam! test src/data/result.rs - data::result::and_then (line 202) ... ok
Oct 11 17:56:23.848 INFO blam! test src/data/result.rs - data::result::err (line 32) ... ok
Oct 11 17:56:24.336 INFO blam! test src/data/result.rs - data::result::is_err (line 69) ... ok
Oct 11 17:56:25.627 INFO blam! test src/data/result.rs - data::result::is_ok (line 49) ... ok
Oct 11 17:56:26.317 INFO blam! test src/data/result.rs - data::result::map (line 150) ... ok
Oct 11 17:56:27.209 INFO blam! test src/data/result.rs - data::result::ok (line 15) ... ok
Oct 11 17:56:27.300 INFO blam! test src/data/result.rs - data::result::map_err (line 176) ... ok
Oct 11 17:56:28.062 INFO blam! test src/data/result.rs - data::result::unwrap_or (line 130) ... ok
Oct 11 17:56:28.257 INFO blam! test src/data/result.rs - data::result::option_ok (line 88) ... ok
Oct 11 17:56:28.566 INFO blam! test src/data/result.rs - data::result::option_err (line 109) ... ok
Oct 11 17:56:29.270 INFO blam! test src/data/tuple.rs - pi (line 40) ... ok
Oct 11 17:56:29.944 INFO blam! test src/data/tuple.rs - tuple (line 8) ... ok
Oct 11 17:56:30.240 INFO blam! test src/parser.rs - parser::parse (line 215) ... ok
Oct 11 17:56:30.301 INFO blam! test src/reduction.rs - reduction::Term::apply (line 59) ... ok
Oct 11 17:56:31.734 INFO blam! test src/term.rs - abs (line 438) ... ok
Oct 11 17:56:31.839 INFO blam! test src/reduction.rs - reduction::Term::reduce (line 136) ... ok
Oct 11 17:56:31.845 INFO blam! test src/reduction.rs - reduction::beta (line 42) ... ok
Oct 11 17:56:32.436 INFO blam! test src/term.rs - app (line 416) ... ok
Oct 11 17:56:32.812 INFO blam! test src/term.rs - term::Term::lhs_mut (line 233) ... ok
Oct 11 17:56:33.043 INFO blam! test src/term.rs - term::Notation (line 27) ... ok
Oct 11 17:56:33.665 INFO blam! test src/term.rs - term::Term::is_supercombinator (line 291) ... ok
Oct 11 17:56:33.679 INFO blam! test src/term.rs - term::Term::lhs (line 203) ... ok
Oct 11 17:56:35.172 INFO blam! test src/term.rs - term::Term::unabs_mut (line 143) ... ok
Oct 11 17:56:35.172 INFO blam! test src/term.rs - term::Term::rhs (line 245) ... ok
Oct 11 17:56:35.653 INFO blam! test src/term.rs - term::Term::rhs_mut (line 275) ... ok
Oct 11 17:56:35.757 INFO blam! test src/term.rs - term::Term::unapp (line 158) ... ok
Oct 11 17:56:36.297 INFO blam! test src/term.rs - term::Term::lhs_ref (line 218) ... ok
Oct 11 17:56:36.466 INFO blam! test src/term.rs - term::Term::unabs (line 113) ... ok
Oct 11 17:56:36.476 INFO blam! test src/term.rs - term::Term::rhs_ref (line 260) ... ok
Oct 11 17:56:36.972 INFO blam! test src/term.rs - term::Term::unabs_ref (line 128) ... ok
Oct 11 17:56:37.544 INFO blam! test src/term.rs - term::Term::unapp_ref (line 173) ... ok
Oct 11 17:56:37.875 INFO blam! test src/term.rs - term::Term::unapp_mut (line 188) ... ok
Oct 11 17:56:38.297 INFO blam! test src/term.rs - term::Term::unvar_mut (line 98) ... ok
Oct 11 17:56:38.424 INFO blam! test src/term.rs - term::Term::unvar (line 68) ... ok
Oct 11 17:56:38.718 INFO blam! test src/term.rs - term::abs (line 321) ... ok
Oct 11 17:56:38.893 INFO blam! test src/term.rs - term::Term::unvar_ref (line 83) ... ok
Oct 11 17:56:38.975 INFO blam! test src/term.rs - term::app (line 332) ... ok
Oct 11 17:56:38.976 INFO blam! 
Oct 11 17:56:38.976 INFO blam! test result: ok. 177 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:56:38.976 INFO blam! 
Oct 11 17:56:39.003 INFO kablam! su: No module specific data is present
Oct 11 17:56:39.469 INFO running `"docker" "rm" "-f" "96b2e2c0d9639791cb2c7d6586945c3f553dde2a903b3abf28cb545d865026fd"`
Oct 11 17:56:39.692 INFO blam! 96b2e2c0d9639791cb2c7d6586945c3f553dde2a903b3abf28cb545d865026fd