Oct 11 17:54:44.039 INFO testing lamcal-0.4.0 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 17:54:44.039 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 17:54:44.041 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/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:44.378 INFO blam! cb4435ac2feb29c357b8b9cbcc2de3c1fe5bfc76879bff0c9ac2798fa8e04fde
Oct 11 17:54:44.385 INFO running `"docker" "start" "-a" "cb4435ac2feb29c357b8b9cbcc2de3c1fe5bfc76879bff0c9ac2798fa8e04fde"`
Oct 11 17:54:45.477 INFO kablam! usermod: no changes
Oct 11 17:54:45.636 INFO kablam!    Compiling lamcal v0.4.0 (/source)
Oct 11 17:54:48.588 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.07s
Oct 11 17:54:48.588 INFO kablam! su: No module specific data is present
Oct 11 17:54:49.139 INFO running `"docker" "rm" "-f" "cb4435ac2feb29c357b8b9cbcc2de3c1fe5bfc76879bff0c9ac2798fa8e04fde"`
Oct 11 17:54:49.476 INFO blam! cb4435ac2feb29c357b8b9cbcc2de3c1fe5bfc76879bff0c9ac2798fa8e04fde
Oct 11 17:54:49.478 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 17:54:49.478 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/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:49.794 INFO blam! 9b5187825fe12ab8df848de8c043213c3d85f52bbdd78e2ff74e137e935ee5bd
Oct 11 17:54:49.808 INFO running `"docker" "start" "-a" "9b5187825fe12ab8df848de8c043213c3d85f52bbdd78e2ff74e137e935ee5bd"`
Oct 11 17:54:50.536 INFO kablam! usermod: no changes
Oct 11 17:54:50.790 INFO kablam!    Compiling pest_derive v1.0.8
Oct 11 17:54:50.791 INFO kablam!    Compiling version-sync v0.5.0
Oct 11 17:54:50.791 INFO kablam!    Compiling proptest v0.8.7
Oct 11 17:55:02.247 INFO kablam!    Compiling handlebars v0.32.4
Oct 11 17:55:12.908 INFO kablam!    Compiling criterion v0.2.5
Oct 11 17:55:27.116 INFO kablam!    Compiling lamcal v0.4.0 (/source)
Oct 11 17:55:45.748 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 55.18s
Oct 11 17:55:45.771 INFO kablam! su: No module specific data is present
Oct 11 17:55:46.646 INFO running `"docker" "rm" "-f" "9b5187825fe12ab8df848de8c043213c3d85f52bbdd78e2ff74e137e935ee5bd"`
Oct 11 17:55:47.008 INFO blam! 9b5187825fe12ab8df848de8c043213c3d85f52bbdd78e2ff74e137e935ee5bd
Oct 11 17:55:47.010 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 17:55:47.012 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/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:47.493 INFO blam! 1c4136c2ff7e08f6cf0af31320738ba31abac46999a20e711c77206a9b1e6536
Oct 11 17:55:47.501 INFO running `"docker" "start" "-a" "1c4136c2ff7e08f6cf0af31320738ba31abac46999a20e711c77206a9b1e6536"`
Oct 11 17:55:48.773 INFO kablam! usermod: no changes
Oct 11 17:55:49.060 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.26s
Oct 11 17:55:49.080 INFO kablam!      Running /target/debug/deps/lamcal-5f8241e62b445a72
Oct 11 17:55:49.080 INFO blam! 
Oct 11 17:55:49.080 INFO blam! running 169 tests
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::into_one ... ok
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::into_three ... ok
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::u32_two ... ok
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::u16_two ... ok
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::u128_two ... ok
Oct 11 17:55:49.084 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::into_zero ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitand_stop::no_and_yes_returns_no ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitand_stop::yes_and_no_returns_no ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitand_stop::yes_and_yes_returns_yes ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitor_stop::no_and_no_returns_no ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitor_stop::no_and_yes_returns_yes ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitor_stop::yes_and_no_returns_yes ... ok
Oct 11 17:55:49.084 INFO blam! test inspect::tests::bitor_stop::yes_and_yes_returns_yes ... ok
Oct 11 17:55:49.087 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::u8_two ... ok
Oct 11 17:55:49.087 INFO blam! test inspect::tests::bitand_stop::no_and_no_returns_no ... ok
Oct 11 17:55:49.097 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::u64_two ... ok
Oct 11 17:55:49.132 INFO blam! test inspect::tests::trace::reduction_of_expression_1 ... ok
Oct 11 17:55:49.168 INFO blam! test church_encoded::numeral::tests::from_unsigned_integer::into_two ... ok
Oct 11 17:55:49.372 INFO blam! test parser::tests::parse::ignores_whitespace_between_bound_variable_and_dot ... ok
Oct 11 17:55:49.692 INFO blam! test parser::tests::parse::ignores_whitespace_between_dot_and_abstraction_body ... ok
Oct 11 17:55:49.868 INFO blam! test parser::tests::parse::ignores_whitespace_between_lambda_and_bound_variable ... ok
Oct 11 17:55:50.734 INFO blam! test parser::tests::parse::parse_abstraction_of_abstraction_with_application_in_body ... ok
Oct 11 17:55:50.908 INFO blam! test parser::tests::parse::ignores_whitespace_between_closing_paren_and_expr2 ... ok
Oct 11 17:55:51.036 INFO blam! test parser::tests::parse::ignores_whitespace_between_opening_paren_and_expression ... ok
Oct 11 17:55:51.036 INFO blam! test parser::tests::parse::ignores_whitespace_between_expression_and_closing_paren ... ok
Oct 11 17:55:51.072 INFO blam! test parser::tests::parse::parse_complex_example1 ... ok
Oct 11 17:55:51.488 INFO blam! test parser::tests::parse::parse_identity_combinator ... ok
Oct 11 17:55:51.665 INFO blam! test parser::tests::parse::parse_sequence_of_two_variables ... ok
Oct 11 17:55:51.702 INFO blam! test parser::tests::parse::parse_application_ignoring_leading_whitespace ... ok
Oct 11 17:55:51.752 INFO blam! test parser::tests::parse::parse_variable ... ok
Oct 11 17:55:51.952 INFO blam! test parser::tests::parse::parse_application_ignoring_trailing_whitespace ... ok
Oct 11 17:55:51.960 INFO blam! test parser::tests::parse_tokens::parse_empty_token_list ... ok
Oct 11 17:55:51.960 INFO blam! test parser::tests::token::display_format_a_body_separator_token ... ok
Oct 11 17:55:51.961 INFO blam! test parser::tests::token::display_format_a_lambda_token ... ok
Oct 11 17:55:51.961 INFO blam! test parser::tests::token::display_format_a_left_paren_token ... ok
Oct 11 17:55:51.961 INFO blam! test parser::tests::token::display_format_a_right_paren_token ... ok
Oct 11 17:55:52.096 INFO blam! test parser::tests::token::display_format_an_identifier_token ... ok
Oct 11 17:55:52.368 INFO blam! test parser::tests::parse::parse_sequence_of_three_variables ... ok
Oct 11 17:55:52.493 INFO blam! test parser::tests::parse::parse_variable_surrounded_by_whitespace ... ok
Oct 11 17:55:52.501 INFO blam! test parser::tests::tokenize::a_sequence_of_three_identifiers ... ok
Oct 11 17:55:52.797 INFO blam! test parser::tests::tokenize::a_sequence_of_two_identifiers ... ok
Oct 11 17:55:53.009 INFO blam! test parser::tests::tokenize::a_sequence_of_two_identifiers_with_parens ... ok
Oct 11 17:55:53.076 INFO blam! test parser::tests::tokenize::an_identifier_before_lambda_no_whitespace ... ok
Oct 11 17:55:53.588 INFO blam! test parser::tests::tokenize::an_abstraction_with_a_sequence_of_identifiers_in_the_body ... ok
Oct 11 17:55:53.588 INFO blam! test parser::tests::tokenize::empty_string ... ok
Oct 11 17:55:53.596 INFO blam! test parser::tests::tokenize::an_identifier_before_left_paren_no_whitespace ... ok
Oct 11 17:55:53.646 INFO blam! test parser::tests::tokenize::identifier ... ok
Oct 11 17:55:53.764 INFO blam! test parser::tests::tokenize::an_identifier_bound_to_an_abstraction ... ok
Oct 11 17:55:54.252 INFO blam! test parser::tests::tokenize::identifier_surrounded_by_whitespace ... ok
Oct 11 17:55:54.564 INFO blam! test parser::tests::tokenize::lambda_with_bound_identifier ... ok
Oct 11 17:55:54.564 INFO blam! test reduction::tests::alpha::does_not_rename_free_x_in_all_bodies ... ok
Oct 11 17:55:54.588 INFO blam! test reduction::tests::alpha::does_not_rename_free_x_in_body ... ok
Oct 11 17:55:54.590 INFO blam! test reduction::tests::alpha::renames_bound_x_in_second_level_lambda_abstraction ... ok
Oct 11 17:55:54.604 INFO blam! test reduction::tests::alpha::renames_bound_x_to_x2_when_x1_is_free_variable_in_body ... ok
Oct 11 17:55:54.656 INFO blam! test reduction::tests::alpha::renames_outer_bound_x_and_shadowing_inner_bound_x ... ok
Oct 11 17:55:54.876 INFO blam! test parser::tests::tokenize::identifier_starting_with_an_invalid_character ... ok
Oct 11 17:55:55.228 INFO blam! test reduction::tests::alpha_rename_enumerate::appends_digit_1_if_name_does_not_end_with_digit ... ok
Oct 11 17:55:55.548 INFO blam! test reduction::tests::alpha_rename_enumerate::increases_number_by_1_if_name_ends_with_number ... ok
Oct 11 17:55:55.649 INFO blam! test reduction::tests::alpha_rename_prime::appends_another_tick_symbol_if_name_ends_with_tick ... ok
Oct 11 17:55:55.652 INFO blam! test reduction::tests::apply::applying_abstraction_of_abstraction ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_abstraction_of_abstraction_with_same_bound_var ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_constant_returns_constant ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_identity_returns_rhs ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_replication_returns_application_of_rhs ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_simple_abstraction ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::apply::applying_variable_returns_the_variable ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::application_of_free_variable ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::application_of_free_variables_2 ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::complex_expr1 ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::complex_expr2 ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::complex_expr3 ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::complex_expr4 ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::constant_y ... ok
Oct 11 17:55:55.680 INFO blam! test reduction::tests::beta_applicative_order::identity_x ... ok
Oct 11 17:55:55.952 INFO blam! test reduction::tests::alpha_rename_prime::appends_tick_symbol ... ok
Oct 11 17:55:55.960 INFO blam! test reduction::tests::beta_call_by_name::application_of_free_variable ... ok
Oct 11 17:55:55.984 INFO blam! test reduction::tests::beta_call_by_name::application_of_free_variables_2 ... ok
Oct 11 17:55:55.984 INFO blam! test reduction::tests::beta_call_by_name::complex_expr1 ... ok
Oct 11 17:55:55.988 INFO blam! test reduction::tests::beta_call_by_name::complex_expr2 ... ok
Oct 11 17:55:56.014 INFO blam! test reduction::tests::beta_call_by_name::complex_expr3 ... ok
Oct 11 17:55:56.052 INFO blam! test reduction::tests::beta_call_by_name::constant_y ... ok
Oct 11 17:55:56.068 INFO blam! test reduction::tests::beta_call_by_name::identity_x ... ok
Oct 11 17:55:58.972 INFO blam! test parser::tests::tokenize::identifier_with_an_invalid_character_in_the_middle_or_end ... ok
Oct 11 17:55:58.972 INFO blam! test reduction::tests::beta_call_by_value::application_of_free_variable ... ok
Oct 11 17:55:58.972 INFO blam! test reduction::tests::beta_call_by_value::application_of_free_variables_2 ... ok
Oct 11 17:55:58.972 INFO blam! test reduction::tests::beta_call_by_value::complex_expr1 ... ok
Oct 11 17:55:58.976 INFO blam! test reduction::tests::beta_call_by_value::complex_expr2 ... ok
Oct 11 17:55:58.976 INFO blam! test reduction::tests::beta_call_by_value::complex_expr3 ... ok
Oct 11 17:55:58.988 INFO blam! test reduction::tests::beta_call_by_value::complex_expr4 ... ok
Oct 11 17:55:59.023 INFO blam! test reduction::tests::beta_call_by_value::complex_expr5 ... ok
Oct 11 17:55:59.024 INFO blam! test reduction::tests::beta_call_by_value::constant_y ... ok
Oct 11 17:55:59.032 INFO blam! test reduction::tests::beta_call_by_value::identity_x ... ok
Oct 11 17:56:03.280 INFO blam! test inspect::tests::limit::calling_inspect_when_the_limit_is_reached_it_returns_stop ... ok
Oct 11 17:56:03.288 INFO blam! test reduction::tests::beta_head_spine_order::application_of_free_variable ... ok
Oct 11 17:56:03.291 INFO blam! test reduction::tests::beta_head_spine_order::application_of_free_variables_2 ... ok
Oct 11 17:56:03.308 INFO blam! test reduction::tests::beta_head_spine_order::complex_expr1 ... ok
Oct 11 17:56:03.320 INFO blam! test reduction::tests::beta_head_spine_order::complex_expr2 ... ok
Oct 11 17:56:03.320 INFO blam! test reduction::tests::beta_head_spine_order::complex_expr3 ... ok
Oct 11 17:56:03.332 INFO blam! test reduction::tests::beta_head_spine_order::constant_y ... ok
Oct 11 17:56:03.334 INFO blam! test reduction::tests::beta_head_spine_order::identity_x ... ok
Oct 11 17:56:03.612 INFO blam! test inspect::tests::limit::calling_inspect_any_times_below_the_limit_returns_dont_stop ... ok
Oct 11 17:56:03.612 INFO blam! test reduction::tests::beta_hybrid_applicative_order::application_of_free_variable ... ok
Oct 11 17:56:03.624 INFO blam! test reduction::tests::beta_hybrid_applicative_order::application_of_free_variables_2 ... ok
Oct 11 17:56:03.632 INFO blam! test reduction::tests::beta_hybrid_applicative_order::complex_expr1 ... ok
Oct 11 17:56:03.636 INFO blam! test reduction::tests::beta_hybrid_applicative_order::complex_expr2 ... ok
Oct 11 17:56:03.640 INFO blam! test reduction::tests::beta_hybrid_applicative_order::complex_expr3 ... ok
Oct 11 17:56:03.644 INFO blam! test reduction::tests::beta_hybrid_applicative_order::constant_y ... ok
Oct 11 17:56:03.648 INFO blam! test reduction::tests::beta_hybrid_applicative_order::identity_x ... ok
Oct 11 17:56:04.396 INFO blam! test inspect::tests::trace::calling_inspect_with_any_term_always_returns_dont_stop ... ok
Oct 11 17:56:04.399 INFO blam! test reduction::tests::beta_hybrid_normal_order::application_of_free_variable ... ok
Oct 11 17:56:04.406 INFO blam! test reduction::tests::beta_hybrid_normal_order::application_of_free_variables_2 ... ok
Oct 11 17:56:04.412 INFO blam! test reduction::tests::beta_hybrid_normal_order::complex_expr1 ... ok
Oct 11 17:56:04.424 INFO blam! test reduction::tests::beta_hybrid_normal_order::complex_expr2 ... ok
Oct 11 17:56:04.425 INFO blam! test reduction::tests::beta_hybrid_normal_order::complex_expr3 ... ok
Oct 11 17:56:04.425 INFO blam! test reduction::tests::beta_hybrid_normal_order::complex_expr4 ... ok
Oct 11 17:56:04.436 INFO blam! test reduction::tests::beta_hybrid_normal_order::complex_expr5 ... ok
Oct 11 17:56:04.444 INFO blam! test reduction::tests::beta_hybrid_normal_order::constant_y ... ok
Oct 11 17:56:04.449 INFO blam! test reduction::tests::beta_hybrid_normal_order::identity_x ... ok
Oct 11 17:56:05.328 INFO blam! test inspect::tests::collect::calling_inspect_with_any_term_always_returns_dont_stop ... ok
Oct 11 17:56:05.336 INFO blam! test reduction::tests::beta_normal_order::application_of_free_variable ... ok
Oct 11 17:56:05.344 INFO blam! test reduction::tests::beta_normal_order::application_of_free_variables_2 ... ok
Oct 11 17:56:05.364 INFO blam! test reduction::tests::beta_normal_order::complex_expr1 ... ok
Oct 11 17:56:05.384 INFO blam! test reduction::tests::beta_normal_order::complex_expr2 ... ok
Oct 11 17:56:05.412 INFO blam! test reduction::tests::beta_normal_order::complex_expr3 ... ok
Oct 11 17:56:05.426 INFO blam! test reduction::tests::beta_normal_order::constant_y ... ok
Oct 11 17:56:05.427 INFO blam! test reduction::tests::beta_normal_order::identity_x ... ok
Oct 11 17:56:06.660 INFO blam! test parser::tests::parse::result_of_any_term_to_string_is_parsable_as_term ... ok
Oct 11 17:56:06.668 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_abstraction ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_application_in_abstraction_body ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_application_with_redex_on_left_hand_side ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_application_with_redex_on_right_hand_side ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_identity_application ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_redex_in_abstraction_body ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_normal_on_variable ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_abstraction ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_application_in_abstraction_body ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_application_with_redex_on_left_hand_side ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_application_with_redex_on_right_hand_side ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_identity_application ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_redex_in_abstraction_body ... ok
Oct 11 17:56:06.672 INFO blam! test reduction::tests::beta_reduction_properties::test_for_beta_redex_on_variable ... ok
Oct 11 17:56:06.672 INFO blam! test term::tests::app_macro::app_with_2_terms ... ok
Oct 11 17:56:06.672 INFO blam! test term::tests::app_macro::app_with_3_terms ... ok
Oct 11 17:56:07.016 INFO blam! test term::tests::term::display_string_of_a_variable ... ok
Oct 11 17:56:07.637 INFO blam! test term::tests::term::display_string_of_an_abstraction_with_variable_in_body ... ok
Oct 11 17:56:07.968 INFO blam! test term::tests::term::display_string_of_an_application ... ok
Oct 11 17:56:08.672 INFO blam! test term::tests::term::display_string_of_an_application_of_an_application_must_not_omit_parens ... ok
Oct 11 17:56:09.107 INFO blam! test term::tests::term::display_string_of_an_application_omitting_outermost_parens ... ok
Oct 11 17:56:09.634 INFO blam! test term::tests::term::display_string_of_an_application_omitting_parens_in_abtraction_body ... ok
Oct 11 17:56:09.634 INFO blam! test term::tests::term::free_vars_in_function_application_contains_one_from_lhs ... ok
Oct 11 17:56:09.636 INFO blam! test term::tests::term::free_vars_in_function_application_contains_one_from_rhs ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_function_application_of_lambda_and_var_contains_two ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_function_application_of_two_closed_lambdas_contains_none ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_function_application_of_two_lambdas_contains_three ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_function_application_of_vars_contains_two ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_lambda_abstraction_contains_none ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_lambda_abstraction_contains_one ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_lambda_abstraction_contains_two ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_lambda_abstraction_on_third_level_contains_one ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_lambda_abstraction_within_lambda_abstraction_contains_one ... ok
Oct 11 17:56:09.648 INFO blam! test term::tests::term::free_vars_in_variable ... ok
Oct 11 17:56:09.853 INFO blam! test term::tests::var_name::display_string_is_the_variable_name ... ok
Oct 11 17:56:10.373 INFO blam! test reduction::tests::beta_call_by_name::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:10.477 INFO blam! test reduction::tests::beta_applicative_order::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:10.735 INFO blam! test reduction::tests::beta_call_by_value::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:12.263 INFO blam! test reduction::tests::beta_head_spine_order::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:12.746 INFO blam! test reduction::tests::beta_hybrid_applicative_order::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:12.868 INFO blam! test reduction::tests::beta_normal_order::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:12.962 INFO blam! test reduction::tests::beta_hybrid_normal_order::reduce_any_expr_compared_to_recursive_impl ... ok
Oct 11 17:56:12.962 INFO blam! 
Oct 11 17:56:12.962 INFO blam! test result: ok. 169 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:56:12.962 INFO blam! 
Oct 11 17:56:12.964 INFO kablam!      Running /target/debug/deps/optional_failure_support-e8de65cd4c8e0afa
Oct 11 17:56:12.966 INFO blam! 
Oct 11 17:56:12.967 INFO blam! running 0 tests
Oct 11 17:56:12.967 INFO blam! 
Oct 11 17:56:12.967 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:56:12.967 INFO blam! 
Oct 11 17:56:12.968 INFO kablam!      Running /target/debug/deps/version_numbers-a65ab95341553995
Oct 11 17:56:12.970 INFO blam! 
Oct 11 17:56:12.970 INFO blam! running 2 tests
Oct 11 17:56:12.979 INFO blam! test test_readme_deps ... ok
Oct 11 17:56:12.983 INFO blam! test test_html_root_url ... ok
Oct 11 17:56:12.983 INFO blam! 
Oct 11 17:56:12.983 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:56:12.983 INFO blam! 
Oct 11 17:56:12.984 INFO kablam!    Doc-tests lamcal
Oct 11 17:56:14.555 INFO blam! 
Oct 11 17:56:14.555 INFO blam! running 32 tests
Oct 11 17:56:20.944 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::Term::from (line 63) ... ok
Oct 11 17:56:21.217 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::if_else (line 261) ... ok
Oct 11 17:56:21.588 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::not (line 92) ... ok
Oct 11 17:56:21.860 INFO blam! test src/environment.rs - bind (line 184) ... ok
Oct 11 17:56:22.360 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::xor (line 185) ... ok
Oct 11 17:56:23.504 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::and (line 115) ... ok
Oct 11 17:56:23.750 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::or (line 150) ... ok
Oct 11 17:56:24.116 INFO blam! test src/church_encoded/boolean.rs - church_encoded::boolean::beq (line 223) ... ok
Oct 11 17:56:27.077 INFO blam! test src/inspect/mod.rs - inspect::Limit (line 254) ... ok
Oct 11 17:56:28.593 INFO blam! test src/environment.rs - binds (line 243) ... ok
Oct 11 17:56:29.497 INFO blam! test src/inspect/mod.rs - inspect::or (line 150) ... ok
Oct 11 17:56:29.845 INFO blam! test src/environment.rs - bind (line 200) ... ok
Oct 11 17:56:30.196 INFO blam! test src/inspect/mod.rs - inspect::Trace (line 313) ... ok
Oct 11 17:56:31.300 INFO blam! test src/reduction/mod.rs - reduction::Term::evaluate (line 321) ... ok
Oct 11 17:56:31.328 INFO blam! test src/reduction/mod.rs - reduction::Term::evaluate_inspected (line 363) ... ok
Oct 11 17:56:32.521 INFO blam! test src/reduction/mod.rs - reduction::Term::apply (line 107) ... ok
Oct 11 17:56:32.691 INFO blam! test src/reduction/mod.rs - reduction::Term::expand (line 195) ... ok
Oct 11 17:56:35.120 INFO blam! test src/reduction/mod.rs - reduction::Term::expand_inspected (line 245) ... ok
Oct 11 17:56:35.628 INFO blam! test src/reduction/mod.rs - reduction::Term::is_beta_redex (line 31) ... ok
Oct 11 17:56:36.238 INFO blam! test src/reduction/mod.rs - reduction::Term::reduce (line 136) ... ok
Oct 11 17:56:36.888 INFO blam! test src/reduction/mod.rs - reduction::apply (line 950) ... ok
Oct 11 17:56:37.564 INFO blam! test src/reduction/mod.rs - reduction::evaluate (line 464) ... ok
Oct 11 17:56:38.017 INFO blam! test src/reduction/mod.rs - reduction::evaluate_inspected (line 508) ... ok
Oct 11 17:56:38.108 INFO blam! test src/reduction/mod.rs - reduction::apply (line 964) ... ok
Oct 11 17:56:38.556 INFO blam! test src/reduction/mod.rs - reduction::expand (line 599) ... ok
Oct 11 17:56:39.682 INFO blam! test src/reduction/mod.rs - reduction::expand (line 630) ... ok
Oct 11 17:56:40.302 INFO blam! test src/term/mod.rs - term::app (line 84) ... ok
Oct 11 17:56:40.716 INFO blam! test src/reduction/mod.rs - reduction::expand_inspected (line 667) ... ok
Oct 11 17:56:40.923 INFO blam! test src/term/mod.rs - term::var (line 28) ... ok
Oct 11 17:56:40.936 INFO blam! test src/reduction/mod.rs - reduction::reduce (line 1016) ... ok
Oct 11 17:56:41.024 INFO blam! test src/term/mod.rs - app (line 365) ... ok
Oct 11 17:56:41.095 INFO blam! test src/term/mod.rs - term::lam (line 53) ... ok
Oct 11 17:56:41.095 INFO blam! 
Oct 11 17:56:41.095 INFO blam! test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 17:56:41.095 INFO blam! 
Oct 11 17:56:41.108 INFO kablam! su: No module specific data is present
Oct 11 17:56:41.361 INFO running `"docker" "rm" "-f" "1c4136c2ff7e08f6cf0af31320738ba31abac46999a20e711c77206a9b1e6536"`
Oct 11 17:56:41.435 INFO blam! 1c4136c2ff7e08f6cf0af31320738ba31abac46999a20e711c77206a9b1e6536