[INFO] cloning repository https://github.com/jihoo12/cuviz
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jihoo12/cuviz" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fcuviz", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fcuviz'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2b975442ffeb0bddc5a71cea6d47527529597b3b
[INFO] testing jihoo12/cuviz against 1.98.0-beta.8+cargoflags=--release for beta-release-1.99-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjihoo12%2Fcuviz" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/jihoo12/cuviz
[INFO] finished tweaking git repo https://github.com/jihoo12/cuviz
[INFO] tweaked toml for git repo https://github.com/jihoo12/cuviz written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jihoo12/cuviz on toolchain 1.98.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/jihoo12/cuviz 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" "+1.98.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184
[INFO] running `Command { std: "docker" "start" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling cubical v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 12.93s
[INFO] running `Command { std: "docker" "inspect" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling cubical v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 12.67s
[INFO] running `Command { std: "docker" "inspect" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/cubical-90b8b995ce4ece44)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::codomain_references_interval_var ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::deeply_nested_dependent_codomain_transport ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::constant_pi_transport_is_identity ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::dependent_codomain_pi_transport_reduces ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::dependent_pi_transport_through_sigma_codomain ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::nested_pi_transport ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::nondependent_codomain_pi_transport_reduces ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_application ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::parser_roundtrip_pi_transport_term ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_nested_pi ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_under_lambda ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_under_pi_codomain ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_under_pi_domain ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_tvar_direct ... ok
[INFO] [stdout] test cubical::ffi::tests::test_eval_nat ... ok
[INFO] [stdout] test cubical::ffi::tests::test_eval_int_ffi ... ok
[INFO] [stdout] test cubical::ffi::tests::test_eval_simple ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::uses_var_level_univ_always_false ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::varying_domain_constant_codomain_pi_transport ... ok
[INFO] [stdout] test cubical::interval::tests::simplify_drops_inconsistent_cubes_before_absorption ... ok
[INFO] [stdout] test cubical::ffi::tests::test_eval_plus ... ok
[INFO] [stdout] test cubical::ffi::tests::test_mul_match_syntax ... ok
[INFO] [stdout] test cubical::nbe::tests::deep_transport_fallback_unsticks_pi ... ok
[INFO] [stdout] test cubical::dependent_pi_transport_test::tests::dependent_pi_transport_through_path_codomain ... ok
[INFO] [stdout] test cubical::ffi::tests::test_eval_fact ... ok
[INFO] [stdout] test cubical::interval::tests::meet_drops_contradictory_cube ... ok
[INFO] [stdout] test cubical::nbe::tests::fst_of_pair_reduces ... ok
[INFO] [stdout] test cubical::nbe::tests::dependent_codomain_pi_transport_reduces ... ok
[INFO] [stdout] test cubical::nbe::tests::beta_reduces_identity_application ... ok
[INFO] [stdout] test cubical::nbe::tests::glue_transport_face_mismatch_stays_stuck ... ok
[INFO] [stdout] test cubical::nbe::tests::hcomp_papp_at_one_reduces_to_tube_at_one ... ok
[INFO] [stdout] test cubical::nbe::tests::hcomp_papp_at_zero_reduces_to_base ... ok
[INFO] [stdout] test cubical::nbe::tests::glue_transport_on_glue_elem_decomposes ... ok
[INFO] [stdout] test cubical::nbe::tests::native_pi_transport_no_deep_fallback ... ok
[INFO] [stdout] test cubical::nbe::tests::identity_function_normalizes_to_itself ... ok
[INFO] [stdout] test cubical::nbe::tests::path_transport_produces_plam ... ok
[INFO] [stdout] test cubical::ffi::tests::test_mul_elim_syntax ... ok
[INFO] [stdout] test cubical::nbe::tests::sigma_transport_on_pair_reduces ... ok
[INFO] [stdout] test cubical::nbe::tests::glue_transport_on_non_glue_elem_stays_stuck ... ok
[INFO] [stdout] test cubical::nbe::tests::transport_over_nonconstant_pi_produces_lambda ... ok
[INFO] [stdout] test cubical::nbe::tests::transport_over_constant_family_is_identity ... ok
[INFO] [stdout] test cubical::parser::tests::cumulativity_pi_types ... ok
[INFO] [stdout] test cubical::parser::tests::cumulativity_universe_levels ... ok
[INFO] [stdout] test cubical::parser::tests::data_universe_annotation_parses ... ok
[INFO] [stdout] test cubical::parser::tests::data_without_universe_annotation ... ok
[INFO] [stdout] test cubical::parser::tests::dependent_arrow_type_typechecks ... ok
[INFO] [stdout] test cubical::parser::tests::id_definition_typechecks ... ok
[INFO] [stdout] test cubical::parser::tests::import_without_string_is_parse_error ... ok
[INFO] [stdout] test cubical::parser::tests::multi_binder_lambda_matches_nested ... ok
[INFO] [stdout] test cubical::parser::tests::parses_data_then_def ... ok
[INFO] [stdout] test cubical::parser::tests::parses_def_then_data ... ok
[INFO] [stdout] test cubical::parser::tests::parses_dependent_pi ... ok
[INFO] [stdout] test cubical::parser::tests::parses_eliminator ... ok
[INFO] [stdout] test cubical::parser::tests::parses_import_declaration ... ok
[INFO] [stdout] test cubical::parser::tests::parses_lambda_identity ... ok
[INFO] [stdout] test cubical::parser::tests::parses_let ... ok
[INFO] [stdout] test cubical::parser::tests::parses_match ... ok
[INFO] [stdout] test cubical::parser::tests::parses_match_dependent_return_type ... ok
[INFO] [stdout] test cubical::parser::tests::parses_match_with_braced_cases ... ok
[INFO] [stdout] test cubical::parser::tests::parses_path_lambda ... ok
[INFO] [stdout] test cubical::parser::tests::parses_nat_declaration ... ok
[INFO] [stdout] test cubical::parser::tests::parses_s1_declaration ... ok
[INFO] [stdout] test cubical::parser::tests::parses_two_defs ... ok
[INFO] [stdout] test cubical::parser::tests::recursive_definition_parses ... ok
[INFO] [stdout] test cubical::parser::tests::round_trip_with_show_term ... ok
[INFO] [stdout] test cubical::parser::tests::parses_path_application ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_deeply_nested_pi_is_ok ... ok
[INFO] [stdout] test cubical::parser::tests::parses_string_literal_with_escapes ... ok
[INFO] [stdout] test cubical::parser::tests::recursive_plus_case_parses_global_reference ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_list_is_ok ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_nested_pi_is_ok ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_nat_is_ok ... ok
[INFO] [stdout] test cubical::parser::tests::typecheck_program_rejects_import ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_path_type_is_ok ... ok
[INFO] [stdout] test cubical::syntax::tests::positive_sigma_is_ok ... ok
[INFO] [stdout] test cubical::syntax::tests::negative_domain_in_pi_is_rejected ... ok
[INFO] [stdout] test cubical::tests::run_plus_on_nat ... ok
[INFO] [stdout] test cubical::parser::tests::let_desugars_to_application_of_lambda ... ok
[INFO] [stdout] test cubical::tests::run_mul_via_run_path ... ok
[INFO] [stdout] test cubical::syntax::tests::negative_recursive_type_is_rejected ... ok
[INFO] [stdout] test cubical::parser::tests::match_desugars_to_equivalent_elim ... ok
[INFO] [stdout] test cubical::tests::run_reports_circular_import ... ok
[INFO] [stdout] test cubical::tests::run_with_import_merges_declarations ... ok
[INFO] [stdout] test cubical::tests::transport_over_ua_still_works ... ok
[INFO] [stderr]      Running unittests src/bin/cubical-viz.rs (/opt/rustwide/target/release/deps/cubical_viz-a71421d76b61e0f4)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 84 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests cubical
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184", kill_on_drop: false }`
[INFO] [stdout] d93dd3ce8540a145e403e4f63c4187597545d87381bdf3c98d07f6105bcc7184