[INFO] fetching crate tpt-eidos-flight-math 0.2.0...
[INFO] testing tpt-eidos-flight-math-0.2.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate tpt-eidos-flight-math 0.2.0 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate tpt-eidos-flight-math 0.2.0
[INFO] finished tweaking crates.io crate tpt-eidos-flight-math 0.2.0
[INFO] tweaked toml for crates.io crate tpt-eidos-flight-math 0.2.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tpt-eidos-flight-math 0.2.0 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 crates.io crate tpt-eidos-flight-math 0.2.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" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tpt-eidos-kernel v0.2.0
[INFO] [stderr]   Downloaded tpt-eidos-verifier v0.2.0
[INFO] [stderr]   Downloaded tpt-eidos-erasure v0.2.0
[INFO] [stderr]   Downloaded tpt-eidos-codegen v0.2.0
[INFO] [stderr]   Downloaded tpt-eidos-parser v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491
[INFO] running `Command { std: "docker" "start" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", 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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491" "/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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", 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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling tpt-eidos-verifier v0.2.0
[INFO] [stderr]    Compiling tpt-eidos-parser v0.2.0
[INFO] [stderr]    Compiling tpt-eidos-kernel v0.2.0
[INFO] [stderr]    Compiling tpt-eidos-flight-math v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.17s
[INFO] running `Command { std: "docker" "inspect" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", 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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling tpt-eidos-erasure v0.2.0
[INFO] [stderr]    Compiling tpt-eidos-codegen v0.2.0
[INFO] [stderr]    Compiling tpt-eidos-flight-math v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.13s
[INFO] running `Command { std: "docker" "inspect" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", 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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tpt_eidos_flight_math-e4d774aef24cade7)
[INFO] [stdout] running 12 tests
[INFO] [stdout] test prover::tests::retired_triangle_for_add_is_unknown ... ok
[INFO] [stdout] test prover::tests::malformed_extra_expr_reaches_error_path ... ok
[INFO] [stdout] test prover::tests::sos_certificate_mismatched_expansion_rejected ... ok
[INFO] [stdout] test prover::tests::unknown_lemma_rejected ... ok
[INFO] [stdout] test prover::tests::strengthen_requires_accepted ... ok
[INFO] [stdout] test prover::tests::sos_certificate_accepted ... ok
[INFO] [stdout] test prover::tests::weak_strengthen_rejected ... ok
[INFO] [stdout] test tests::primitives_verify_under_domain_env ... ok
[INFO] [stdout] test tests::primitives_verify ... ok
[INFO] [stdout] test prover::tests::sos_certificate_negative_coeff_rejected ... ok
[INFO] [stdout] test tests::retired_triangle_for_add_rejects_false_bound ... ok
[INFO] [stdout] test tests::primitives_emit_no_std_rust ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tpt_eidos_flight_math
[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" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491", kill_on_drop: false }`
[INFO] [stdout] 3b967c7eb133bdb00da84ce02c1f0028f10b51869c2ba528a29e8fb7b9416491
