[INFO] fetching crate lambda_calculus 3.4.0...
[INFO] testing lambda_calculus-3.4.0 against try#b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b for pr-145330-1
[INFO] extracting crate lambda_calculus 3.4.0 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate lambda_calculus 3.4.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lambda_calculus 3.4.0
[INFO] tweaked toml for crates.io crate lambda_calculus 3.4.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate lambda_calculus 3.4.0 on toolchain b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lambda_calculus 3.4.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3e72786689457eb2243c81a7e193c25a3d0a232ae3e4b60390491559f046c045
[INFO] running `Command { std: "docker" "start" "-a" "3e72786689457eb2243c81a7e193c25a3d0a232ae3e4b60390491559f046c045", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3e72786689457eb2243c81a7e193c25a3d0a232ae3e4b60390491559f046c045", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3e72786689457eb2243c81a7e193c25a3d0a232ae3e4b60390491559f046c045", kill_on_drop: false }`
[INFO] [stdout] 3e72786689457eb2243c81a7e193c25a3d0a232ae3e4b60390491559f046c045
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] de4c50b80f2a42391c6a1ca8805a158b0ad8262644c1e7fc89aecde34c8a76c4
[INFO] running `Command { std: "docker" "start" "-a" "de4c50b80f2a42391c6a1ca8805a158b0ad8262644c1e7fc89aecde34c8a76c4", kill_on_drop: false }`
[INFO] [stderr]    Compiling lambda_calculus v3.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.86s
[INFO] running `Command { std: "docker" "inspect" "de4c50b80f2a42391c6a1ca8805a158b0ad8262644c1e7fc89aecde34c8a76c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "de4c50b80f2a42391c6a1ca8805a158b0ad8262644c1e7fc89aecde34c8a76c4", kill_on_drop: false }`
[INFO] [stdout] de4c50b80f2a42391c6a1ca8805a158b0ad8262644c1e7fc89aecde34c8a76c4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4a43b8a8f94e535279490ed4cb0fb114fec6baee59ea2de24bc12c3195218967
[INFO] running `Command { std: "docker" "start" "-a" "4a43b8a8f94e535279490ed4cb0fb114fec6baee59ea2de24bc12c3195218967", kill_on_drop: false }`
[INFO] [stderr]    Compiling lambda_calculus v3.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.60s
[INFO] running `Command { std: "docker" "inspect" "4a43b8a8f94e535279490ed4cb0fb114fec6baee59ea2de24bc12c3195218967", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4a43b8a8f94e535279490ed4cb0fb114fec6baee59ea2de24bc12c3195218967", kill_on_drop: false }`
[INFO] [stdout] 4a43b8a8f94e535279490ed4cb0fb114fec6baee59ea2de24bc12c3195218967
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 080c3a8c3d050c6f840b2c3629f042b2aea8a0a86eda5421a39610d320791874
[INFO] running `Command { std: "docker" "start" "-a" "080c3a8c3d050c6f840b2c3629f042b2aea8a0a86eda5421a39610d320791874", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/lambda_calculus-a38ef44e96b6f7a1)
[INFO] [stdout] 
[INFO] [stdout] running 23 tests
[INFO] [stdout] test parser::tests::alternative_lambda_parsing ... ok
[INFO] [stdout] test parser::tests::parse_blc ... ok
[INFO] [stdout] test parser::tests::parse_classic_with_undefined_variable_error ... ok
[INFO] [stdout] test parser::tests::succ_ast ... ok
[INFO] [stdout] test parser::tests::tokenization_error ... ok
[INFO] [stdout] test parser::tests::parse_quine ... ok
[INFO] [stdout] test parser::tests::tokenization_success ... ok
[INFO] [stdout] test parser::tests::parse_y ... ok
[INFO] [stdout] test parser::tests::tokenization_success_classic ... ok
[INFO] [stdout] test term::tests::app_macro ... ok
[INFO] [stdout] test term::tests::context_methods ... ok
[INFO] [stdout] test term::tests::context_resolve_free_var ... ok
[INFO] [stdout] test term::tests::abs_macro ... ok
[INFO] [stdout] test parser::tests::tokenization_success_classic_with_free_variables ... ok
[INFO] [stdout] test term::tests::has_free_variables ... ok
[INFO] [stdout] test term::tests::is_isomorphic_to ... ok
[INFO] [stdout] test term::tests::display_modes ... ok
[INFO] [stdout] test term::tests::is_supercombinator ... ok
[INFO] [stdout] test term::tests::term_display_without_context ... ok
[INFO] [stdout] test term::tests::max_depth ... ok
[INFO] [stdout] test term::tests::term_display_with_context ... ok
[INFO] [stdout] test term::tests::open_term_display ... ok
[INFO] [stdout] test term::tests::term_display_with_clashing_context ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/lists.rs (/opt/rustwide/target/debug/deps/lists-1df01796da1fce00)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test list_head ... ok
[INFO] [stdout] test list_tail ... ok
[INFO] [stderr]      Running tests/num.rs (/opt/rustwide/target/debug/deps/num-f8a906eba6b54a01)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test church_add ... ok
[INFO] [stdout] test church_min ... ok
[INFO] [stdout] test church_max ... ok
[INFO] [stdout] test church_pow ... ok
[INFO] [stdout] test church_fac ... ok
[INFO] [stdout] test church_mul ... ok
[INFO] [stdout] test church_shl ... ok
[INFO] [stdout] test num_pred ... ok
[INFO] [stdout] test church_sub ... ok
[INFO] [stdout] test stumpfu_add ... ok
[INFO] [stdout] test stumpfu_mul ... ok
[INFO] [stdout] test church_quot ... ok
[INFO] [stdout] test church_div ... ok
[INFO] [stdout] test church_rem ... ok
[INFO] [stdout] test parigot_sub ... ok
[INFO] [stdout] test scott_add ... ok
[INFO] [stdout] test num_succ ... ok
[INFO] [stdout] test parigot_mul ... ok
[INFO] [stdout] test parigot_add ... ok
[INFO] [stdout] test scott_mul ... ok
[INFO] [stdout] test church_shr ... ok
[INFO] [stdout] test scott_pow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/option.rs (/opt/rustwide/target/debug/deps/option-e58fc0da6b46e6ce)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test option_is_none ... ok
[INFO] [stdout] test option_map ... ok
[INFO] [stdout] test option_and_then ... ok
[INFO] [stdout] test option_some ... ok
[INFO] [stdout] test option_unwrap_or ... ok
[INFO] [stderr]      Running tests/pair_list.rs (/opt/rustwide/target/debug/deps/pair_list-13e618624a1df0ac)
[INFO] [stdout] test option_map_or ... ok
[INFO] [stdout] test option_is_some ... ok
[INFO] [stdout] test option_none ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test pair_list_head ... ok
[INFO] [stdout] test pair_list_index ... ok
[INFO] [stdout] test pair_list_tail ... ok
[INFO] [stdout] test pair_list_list ... ok
[INFO] [stdout] test pair_list_drop_while ... ok
[INFO] [stdout] test pair_list_length ... ok
[INFO] [stdout] test pair_list_replicate ... ok
[INFO] [stdout] test pair_list_append ... ok
[INFO] [stdout] test pair_list_drop ... ok
[INFO] [stderr]      Running tests/parse_error.rs (/opt/rustwide/target/debug/deps/parse_error-5674e2d518bfabd6)
[INFO] [stdout] test pair_list_reverse ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parse_error_question_mark_operator ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser.rs (/opt/rustwide/target/debug/deps/parser-6c556e92eb74e302)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parse_debruijn_and_classic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/reduction.rs (/opt/rustwide/target/debug/deps/reduction-f783020caa484aeb)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test reduction_huge ... ignored
[INFO] [stdout] test reduction_cbn ... ok
[INFO] [stdout] test reduction_cbv ... ok
[INFO] [stdout] test reduction_app ... ok
[INFO] [stdout] test reduction_nor ... ok
[INFO] [stdout] test reduction_zero_plus_one ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/signed.rs (/opt/rustwide/target/debug/deps/signed-08827aaa33b98de6)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test signed_modulus ... ok
[INFO] [stdout] test signed_neg ... ok
[INFO] [stdout] test signed_mul ... ok
[INFO] [stdout] test signed_simplify ... ok
[INFO] [stdout] test signed_sub ... ok
[INFO] [stdout] test signed_add ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/term_error.rs (/opt/rustwide/target/debug/deps/term_error-b2e01170d38887aa)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test term_error_question_mark_operator ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests lambda_calculus
[INFO] [stdout] 
[INFO] [stdout] running 184 tests
[INFO] [stdout] test src/combinators.rs - combinators::C (line 107) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::S (line 54) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::O (line 161) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::W (line 125) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::Z (line 208) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::i (line 72) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::and (line 25) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::T (line 252) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::imply (line 167) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::Y (line 179) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::or (line 43) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::xnor (line 114) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::o (line 143) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::nor (line 95) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::B (line 89) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::R (line 231) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::I (line 22) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::not (line 61) ... ok
[INFO] [stdout] test src/combinators.rs - combinators::K (line 38) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::if_else (line 151) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::xor (line 77) ... ok
[INFO] [stdout] test src/data/list/church.rs - data::list::church::cons (line 35) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::append (line 224) ... ok
[INFO] [stdout] test src/data/boolean.rs - data::boolean::nand (line 132) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::foldl (line 302) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::index (line 141) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::is_nil (line 22) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::filter (line 381) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::cons (line 38) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::head (line 70) ... ok
[INFO] [stdout] test src/data/list/church.rs - data::list::church::is_nil (line 20) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::drop (line 672) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::init (line 462) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::list (line 200) ... ok
[INFO] [stdout] test src/data/list/church.rs - data::list::church::head (line 73) ... ok
[INFO] [stdout] test src/data/list/church.rs - data::list::church::tail (line 94) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::length (line 109) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::map (line 262) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::drop_while (line 711) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::foldr (line 341) ... ok
[INFO] [stdout] test src/data/list/parigot.rs - data::list::parigot::cons (line 34) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::reverse (line 162) ... ok
[INFO] [stdout] test src/data/list/parigot.rs - data::list::parigot::is_nil (line 19) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::take (line 587) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::take_while (line 630) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::last (line 427) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::zip (line 503) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::replicate (line 749) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::tail (line 88) ... ok
[INFO] [stdout] test src/data/list/parigot.rs - data::list::parigot::tail (line 97) ... ok
[INFO] [stdout] test src/data/list/parigot.rs - data::list::parigot::head (line 77) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::one (line 60) ... ok
[INFO] [stdout] test src/data/list/scott.rs - data::list::scott::tail (line 89) ... ok
[INFO] [stdout] test src/data/list/pair.rs - data::list::pair::zip_with (line 545) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::is_zero (line 44) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::shl0 (line 165) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::lsb (line 147) ... ok
[INFO] [stdout] test src/data/list/scott.rs - data::list::scott::head (line 69) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::add (line 102) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::succ (line 83) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::shl1 (line 182) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::div (line 298) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::pred (line 119) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::fac (line 411) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::zero (line 28) ... ok
[INFO] [stdout] test src/data/num/binary.rs - data::num::binary::strip (line 207) ... ok
[INFO] [stdout] test src/data/list/scott.rs - data::list::scott::cons (line 34) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::is_odd (line 537) ... ok
[INFO] [stdout] test src/data/list/scott.rs - data::list::scott::is_nil (line 19) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::is_zero (line 31) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::eq (line 207) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::is_even (line 518) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::lt (line 169) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::quot (line 343) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::min (line 439) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::geq (line 259) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::pred (line 78) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::one (line 47) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::rem (line 378) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::mul (line 135) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::neq (line 233) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::succ (line 62) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::max (line 454) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::pow (line 151) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::shl (line 470) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::shr (line 492) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::to_parigot (line 572) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::to_scott (line 555) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::zero (line 12) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::sub (line 118) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::add (line 91) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::zero (line 15) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::succ (line 59) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::leq (line 188) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::to_stumpfu (line 589) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::mul (line 124) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::pred (line 75) ... ok
[INFO] [stdout] test src/data/num/church.rs - data::num::church::gt (line 278) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::one (line 44) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::succ (line 61) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::is_zero (line 28) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::to_church (line 201) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::mul (line 230) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::zero (line 13) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::pred (line 77) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::modulus (line 118) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::one (line 46) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::pow (line 170) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::mul (line 140) ... ok
[INFO] [stdout] test src/data/num/parigot.rs - data::num::parigot::sub (line 107) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::add (line 93) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::add (line 152) ... ok
[INFO] [stdout] test src/data/num/scott.rs - data::num::scott::is_zero (line 29) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::add (line 97) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::zero (line 14) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::to_signed (line 19) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::neg (line 42) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::simplify (line 60) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_scott (line 157) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::is_zero (line 30) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_parigot (line 178) ... ok
[INFO] [stdout] test src/data/num/signed.rs - data::num::signed::sub (line 190) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::to_church (line 139) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::some (line 20) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::mul (line 116) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::unwrap_or (line 113) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::succ (line 61) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::map_or (line 93) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::one (line 46) ... ok
[INFO] [stdout] test src/data/num/stumpfu.rs - data::num::stumpfu::pred (line 81) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::curry (line 87) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::is_none (line 36) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::map (line 70) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::pair (line 12) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::is_ok (line 49) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::snd (line 48) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::and_then (line 132) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::option_ok (line 88) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::is_err (line 69) ... ok
[INFO] [stdout] test src/data/option.rs - data::option::is_some (line 53) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::swap (line 105) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::uncurry (line 67) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::map_err (line 172) ... ok
[INFO] [stdout] test src/data/pair.rs - data::pair::fst (line 30) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::err (line 32) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::ok (line 15) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::unwrap_or (line 130) ... ok
[INFO] [stdout] test src/parser.rs - parser::parse (line 246) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::and_then (line 194) ... ok
[INFO] [stdout] test src/reduction.rs - reduction::beta (line 41) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::map (line 150) ... ok
[INFO] [stdout] test src/term.rs - term::Context::new (line 53) ... ok
[INFO] [stdout] test src/reduction.rs - reduction::Term::apply (line 58) ... ok
[INFO] [stdout] test src/parser.rs - parser::parse_with_context (line 270) ... ok
[INFO] [stdout] test src/data/tuple.rs - data::tuple::tuple (line 8) ... ok
[INFO] [stdout] test src/term.rs - term::Notation (line 27) ... ok
[INFO] [stdout] test src/data/result.rs - data::result::option_err (line 109) ... ok
[INFO] [stdout] test src/reduction.rs - reduction::Term::reduce (line 139) ... ok
[INFO] [stdout] test src/term.rs - term::Term::has_free_variables (line 545) ... ok
[INFO] [stdout] test src/term.rs - term::Context::resolve_free_var (line 105) ... ok
[INFO] [stdout] test src/data/tuple.rs - data::tuple::pi (line 40) ... ok
[INFO] [stdout] test src/term.rs - term::Term::is_isomorphic_to (line 518) ... ok
[INFO] [stdout] test src/term.rs - term::Term::max_depth (line 498) ... ok
[INFO] [stdout] test src/term.rs - term::Term::lhs (line 352) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unabs (line 235) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unapp_mut (line 332) ... ok
[INFO] [stdout] test src/term.rs - term::Term::rhs_ref (line 425) ... ok
[INFO] [stdout] test src/term.rs - term::Term::is_supercombinator (line 464) ... ok
[INFO] [stdout] test src/term.rs - term::Term::lhs_ref (line 371) ... ok
[INFO] [stdout] test src/term.rs - term::Term::rhs (line 406) ... ok
[INFO] [stdout] test src/term.rs - term::Term::lhs_mut (line 390) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unapp_ref (line 312) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unabs_mut (line 273) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unabs_ref (line 254) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unvar (line 178) ... ok
[INFO] [stdout] test src/term.rs - term::Term::rhs_mut (line 444) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unapp (line 292) ... ok
[INFO] [stdout] test src/term.rs - term::app (line 620) ... ok
[INFO] [stdout] test src/term.rs - term::abs (line 607) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unvar_mut (line 216) ... ok
[INFO] [stdout] test src/term.rs - term::Term::unvar_ref (line 197) ... ok
[INFO] [stdout] test src/term.rs - term::Term::with_context (line 590) ... ok
[INFO] [stdout] test src/term.rs - term::abs (line 799) ... ok
[INFO] [stdout] test src/term.rs - term::app (line 777) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 184 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 8.28s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "080c3a8c3d050c6f840b2c3629f042b2aea8a0a86eda5421a39610d320791874", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "080c3a8c3d050c6f840b2c3629f042b2aea8a0a86eda5421a39610d320791874", kill_on_drop: false }`
[INFO] [stdout] 080c3a8c3d050c6f840b2c3629f042b2aea8a0a86eda5421a39610d320791874