[INFO] cloning repository https://github.com/gabrieldlm/mathlang
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/gabrieldlm/mathlang" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgabrieldlm%2Fmathlang", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgabrieldlm%2Fmathlang'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 033de6e52a2320aaaa2cebc640bdf9192eab957f
[INFO] testing gabrieldlm/mathlang against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgabrieldlm%2Fmathlang" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/gabrieldlm/mathlang
[INFO] finished tweaking git repo https://github.com/gabrieldlm/mathlang
[INFO] tweaked toml for git repo https://github.com/gabrieldlm/mathlang written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/gabrieldlm/mathlang on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/gabrieldlm/mathlang 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.99.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-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6
[INFO] running `Command { std: "docker" "start" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", 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" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", 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" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling unicode-width v0.2.0
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling mathlang-kernel v0.1.0 (/opt/rustwide/workdir/crates/kernel)
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling mathlang-source v0.1.0 (/opt/rustwide/workdir/crates/source)
[INFO] [stderr]    Compiling mathlang-syntax v0.1.0 (/opt/rustwide/workdir/crates/syntax)
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-integer v0.1.47
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling num-bigint v0.4.8
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling mathlang-runtime v0.1.0 (/opt/rustwide/workdir/crates/runtime)
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]   --> crates/runtime/src/heap.rs:69:18
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |                  ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]    |
[INFO] [stdout] 69 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout] 69 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling mathlang-elaborator v0.1.0 (/opt/rustwide/workdir/crates/elaborator)
[INFO] [stderr]    Compiling mathlang-algebra v0.1.0 (/opt/rustwide/workdir/crates/algebra)
[INFO] [stderr]    Compiling mathlang-cli v0.1.0 (/opt/rustwide/workdir/crates/cli)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 33.51s
[INFO] running `Command { std: "docker" "inspect" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", 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" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling mathlang-syntax v0.1.0 (/opt/rustwide/workdir/crates/syntax)
[INFO] [stderr]    Compiling mathlang-source v0.1.0 (/opt/rustwide/workdir/crates/source)
[INFO] [stderr]    Compiling mathlang-kernel v0.1.0 (/opt/rustwide/workdir/crates/kernel)
[INFO] [stderr]    Compiling mathlang-elaborator v0.1.0 (/opt/rustwide/workdir/crates/elaborator)
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]   --> crates/runtime/src/heap.rs:69:18
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |                  ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]    |
[INFO] [stdout] 69 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout] 69 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling mathlang-runtime v0.1.0 (/opt/rustwide/workdir/crates/runtime)
[INFO] [stdout] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]   --> crates/runtime/src/heap.rs:69:18
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |                  ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]    |
[INFO] [stdout] 69 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout] 69 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling mathlang-cli v0.1.0 (/opt/rustwide/workdir/crates/cli)
[INFO] [stderr]    Compiling mathlang-algebra v0.1.0 (/opt/rustwide/workdir/crates/algebra)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 16.71s
[INFO] running `Command { std: "docker" "inspect" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", 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" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: use of deprecated method `std::sync::atomic::Atomic::<u64>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stderr]   --> crates/runtime/src/heap.rs:69:18
[INFO] [stderr]    |
[INFO] [stderr] 69 |                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stderr]    |                  ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] help: replace the use of the deprecated method
[INFO] [stderr]    |
[INFO] [stderr] 69 -                 .fetch_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stderr] 69 +                 .try_update(Ordering::Relaxed, Ordering::Relaxed, |n| n.checked_add(1))
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: `mathlang-runtime` (lib) generated 1 warning (run `cargo fix --lib -p mathlang-runtime` to apply 1 suggestion)
[INFO] [stderr] warning: `mathlang-runtime` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/mathlang_algebra-cf4c1ec07268a7d0)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/mathlang_cli-859763fce96caf80)
[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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/mathlang_elaborator-94ea3a75fb116fd6)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/effects.rs (/opt/rustwide/target/release/deps/effects-8bf1c51a3d465fc2)
[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] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test effectful_terms_cannot_discharge_pure_proofs_and_reserved_rows_parse ... ok
[INFO] [stdout] test direct_do_bindings_retain_values_and_effects ... ok
[INFO] [stdout] test rows_normalize_order_duplicates_and_definitionally_equal_error_types ... ok
[INFO] [stdout] test independent_kernel_check_rejects_removing_io_without_subset_evidence ... ok
[INFO] [stdout] test match_arms_join_effect_rows_and_effectful_scrutinees_are_bound ... ok
[INFO] [stdout] test effect_library_is_ordinary_kernel_checked_data ... ok
[INFO] [stdout] test dependent_error_parameters_and_effectful_function_values_are_checked ... ok
[INFO] [stdout] test do_blocks_infer_effects_and_signatures_check_subsets ... ok
[INFO] [stdout] test kernel_rejects_forged_row_widening_and_effectful_structure_fields_are_preserved ... ok
[INFO] [stdout] test local_bindings_and_nested_arguments_propagate_failure_and_io ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/exact.rs (/opt/rustwide/target/release/deps/exact-0d27d050f9863caa)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test numeric_literals_do_not_coerce_to_abstract_real_float_or_proofs ... ok
[INFO] [stdout] test exact_library_checks ... ok
[INFO] [stdout] test custom_numeral_structures_and_ambiguity_use_normal_instance_search ... ok
[INFO] [stdout] test algebra_equivalence_requires_proofs_not_just_operations ... ok
[INFO] [stdout] test algebra_library_checks ... ok
[INFO] [stdout] test huge_numerals_have_compact_kernel_terms_and_missing_libraries_fail ... ok
[INFO] [stdout] test numerals_operators_and_decimal_values_reduce_to_source_definitions has been running for over 60 seconds
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6", kill_on_drop: false }`
[INFO] [stdout] ddaf3dfd08c1af88e96f77b92b2a78fbc756947d7135bb310cc8f4fe48d3ceb6
