Nov 30 19:39:13.978 INFO testing yui-knk/type_lang against 1.30.1 for beta-1.31-5
Nov 30 19:39:13.979 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-5/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-5/1.30.1:/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 +1.30.1 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 30 19:39:14.450 INFO [stdout] db791e834cd3623619d78ab986c218deeb2e721dcddd8a05344aa48d876df055
Nov 30 19:39:14.453 INFO running `"docker" "start" "-a" "db791e834cd3623619d78ab986c218deeb2e721dcddd8a05344aa48d876df055"`
Nov 30 19:39:16.369 INFO [stderr] usermod: no changes
Nov 30 19:39:16.505 INFO [stderr]    Compiling bitflags v1.0.4
Nov 30 19:39:16.506 INFO [stderr]    Compiling either v1.5.0
Nov 30 19:39:16.512 INFO [stderr]    Compiling atty v0.2.11
Nov 30 19:39:16.987 INFO [stderr]    Compiling clap v2.32.0
Nov 30 19:39:17.033 INFO [stderr]    Compiling itertools v0.7.8
Nov 30 19:39:33.719 INFO [stderr]    Compiling type_lang v0.1.0 (/source)
Nov 30 19:39:38.682 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 22.29s
Nov 30 19:39:38.686 INFO [stderr] su: No module specific data is present
Nov 30 19:39:39.548 INFO running `"docker" "inspect" "db791e834cd3623619d78ab986c218deeb2e721dcddd8a05344aa48d876df055"`
Nov 30 19:39:39.917 INFO running `"docker" "rm" "-f" "db791e834cd3623619d78ab986c218deeb2e721dcddd8a05344aa48d876df055"`
Nov 30 19:39:40.175 INFO [stdout] db791e834cd3623619d78ab986c218deeb2e721dcddd8a05344aa48d876df055
Nov 30 19:39:40.184 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-5/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-5/1.30.1:/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 +1.30.1 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 30 19:39:40.657 INFO [stdout] 447ecc7abc5942155330323871286ab77ac0f4e3ba1656bae3e1b0e44c23864c
Nov 30 19:39:40.661 INFO running `"docker" "start" "-a" "447ecc7abc5942155330323871286ab77ac0f4e3ba1656bae3e1b0e44c23864c"`
Nov 30 19:39:42.106 INFO [stderr] usermod: no changes
Nov 30 19:39:42.198 INFO [stderr]    Compiling type_lang v0.1.0 (/source)
Nov 30 19:39:49.130 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.00s
Nov 30 19:39:49.133 INFO [stderr] su: No module specific data is present
Nov 30 19:39:50.675 INFO running `"docker" "inspect" "447ecc7abc5942155330323871286ab77ac0f4e3ba1656bae3e1b0e44c23864c"`
Nov 30 19:39:51.057 INFO running `"docker" "rm" "-f" "447ecc7abc5942155330323871286ab77ac0f4e3ba1656bae3e1b0e44c23864c"`
Nov 30 19:39:51.423 INFO [stdout] 447ecc7abc5942155330323871286ab77ac0f4e3ba1656bae3e1b0e44c23864c
Nov 30 19:39:51.426 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-5/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-5/1.30.1:/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 +1.30.1 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 30 19:39:51.899 INFO [stdout] d7971d7e7437950f1708c0c500f630aee2569b71c554573852764c3cf19cebfd
Nov 30 19:39:51.903 INFO running `"docker" "start" "-a" "d7971d7e7437950f1708c0c500f630aee2569b71c554573852764c3cf19cebfd"`
Nov 30 19:39:53.422 INFO [stderr] usermod: no changes
Nov 30 19:39:53.567 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.10s
Nov 30 19:39:53.575 INFO [stderr]      Running /target/debug/deps/type_lang-301c8bf46e34bee5
Nov 30 19:39:53.576 INFO [stdout] 
Nov 30 19:39:53.576 INFO [stdout] running 128 tests
Nov 30 19:39:53.599 INFO [stdout] test eval::tests::test_eval_false ... ok
Nov 30 19:39:53.599 INFO [stdout] test eval::tests::test_eval_fix ... ok
Nov 30 19:39:53.599 INFO [stdout] test eval::tests::test_eval_deref ... ok
Nov 30 19:39:53.599 INFO [stdout] test eval::tests::test_eval_if ... ok
Nov 30 19:39:53.603 INFO [stdout] test eval::tests::test_eval_iszero ... ok
Nov 30 19:39:53.603 INFO [stdout] test eval::tests::test_eval_lambda ... ok
Nov 30 19:39:53.603 INFO [stdout] test eval::tests::test_eval_let ... ok
Nov 30 19:39:53.603 INFO [stdout] test eval::tests::test_eval_associativity ... ok
Nov 30 19:39:53.603 INFO [stdout] test eval::tests::test_eval_assign ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_letrec ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_projection ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_case ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_as ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_nat ... ok
Nov 30 19:39:53.607 INFO [stdout] test eval::tests::test_eval_record ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_appy ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_pred ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_variant ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_ref ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_succ ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_true ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_unit ... ok
Nov 30 19:39:53.611 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_as ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_bool ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_braces ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_case ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_colon ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_comma ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_dot ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_eq ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_false ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_fix ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_gt ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_in ... ok
Nov 30 19:39:53.611 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok
Nov 30 19:39:53.614 INFO [stdout] test lexer::tests::test_next_token_bang ... ok
Nov 30 19:39:53.615 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok
Nov 30 19:39:53.615 INFO [stdout] test lexer::tests::test_next_token_let ... ok
Nov 30 19:39:53.615 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok
Nov 30 19:39:53.615 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok
Nov 30 19:39:53.615 INFO [stdout] test lexer::tests::test_next_token_of ... ok
Nov 30 19:39:53.616 INFO [stdout] test lexer::tests::test_next_token_lt ... ok
Nov 30 19:39:53.616 INFO [stdout] test lexer::tests::test_next_token_nat ... ok
Nov 30 19:39:53.616 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_pred ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_ref ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_succ ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_true ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_top ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_parens ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_unit ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_as ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_assign ... ok
Nov 30 19:39:53.619 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_blank ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_case ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_fix ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_false ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_if ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_deref ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_iszero ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_lambda ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_nat ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_let ... ok
Nov 30 19:39:53.619 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok
Nov 30 19:39:53.627 INFO [stdout] test parser::tests::test_parse_apply ... ok
Nov 30 19:39:53.627 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok
Nov 30 19:39:53.627 INFO [stdout] test parser::tests::test_parse_pred ... ok
Nov 30 19:39:53.627 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok
Nov 30 19:39:53.627 INFO [stdout] test parser::tests::test_parse_projection ... ok
Nov 30 19:39:53.628 INFO [stdout] test parser::tests::test_parse_record ... ok
Nov 30 19:39:53.628 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok
Nov 30 19:39:53.628 INFO [stdout] test parser::tests::test_parse_record_type ... ok
Nov 30 19:39:53.628 INFO [stdout] test parser::tests::test_parse_ref ... ok
Nov 30 19:39:53.628 INFO [stdout] test parser::tests::test_parse_succ ... ok
Nov 30 19:39:53.629 INFO [stdout] test parser::tests::test_parse_tag ... ok
Nov 30 19:39:53.629 INFO [stdout] test parser::tests::test_parse_top_type ... ok
Nov 30 19:39:53.629 INFO [stdout] test parser::tests::test_parse_true ... ok
Nov 30 19:39:53.639 INFO [stdout] test ty::tests::test_record_type_equality ... ok
Nov 30 19:39:53.639 INFO [stdout] test parser::tests::test_parse_variant_type ... ok
Nov 30 19:39:53.639 INFO [stdout] test parser::tests::test_parse_var_ref ... ok
Nov 30 19:39:53.639 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok
Nov 30 19:39:53.639 INFO [stdout] test parser::tests::test_parse_true_false ... ok
Nov 30 19:39:53.639 INFO [stdout] test type_check::tests::test_check_apply ... ok
Nov 30 19:39:53.639 INFO [stdout] test type_check::tests::test_check_as ... ok
Nov 30 19:39:53.639 INFO [stdout] test type_check::tests::test_check_assign ... ok
Nov 30 19:39:53.639 INFO [stdout] test type_check::tests::test_check_bool ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_deref ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_case ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_fix ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_iszero ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_let ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_lambda ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_nat ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_pred ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_ref ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_succ ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests::test_check_variant ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok
Nov 30 19:39:53.651 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests::test_check_unit ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests::test_check_projection ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests::test_check_record ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok
Nov 30 19:39:53.654 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok
Nov 30 19:39:53.654 INFO [stdout] 
Nov 30 19:39:53.654 INFO [stdout] test result: ok. 128 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:53.654 INFO [stdout] 
Nov 30 19:39:53.655 INFO [stderr]      Running /target/debug/deps/type_lang-f76300a16c3797d2
Nov 30 19:39:53.661 INFO [stdout] 
Nov 30 19:39:53.661 INFO [stdout] running 0 tests
Nov 30 19:39:53.661 INFO [stdout] 
Nov 30 19:39:53.661 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:53.661 INFO [stdout] 
Nov 30 19:39:53.661 INFO [stderr]    Doc-tests type_lang
Nov 30 19:39:53.911 INFO [stdout] 
Nov 30 19:39:53.911 INFO [stdout] running 0 tests
Nov 30 19:39:53.911 INFO [stdout] 
Nov 30 19:39:53.911 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 30 19:39:53.911 INFO [stdout] 
Nov 30 19:39:53.925 INFO [stderr] su: No module specific data is present
Nov 30 19:39:54.907 INFO running `"docker" "inspect" "d7971d7e7437950f1708c0c500f630aee2569b71c554573852764c3cf19cebfd"`
Nov 30 19:39:55.273 INFO running `"docker" "rm" "-f" "d7971d7e7437950f1708c0c500f630aee2569b71c554573852764c3cf19cebfd"`
Nov 30 19:39:55.675 INFO [stdout] d7971d7e7437950f1708c0c500f630aee2569b71c554573852764c3cf19cebfd
