[INFO] fetching crate tpt-eidos-verifier 0.2.0...
[INFO] testing tpt-eidos-verifier-0.2.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate tpt-eidos-verifier 0.2.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate tpt-eidos-verifier 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tpt-eidos-verifier 0.2.0
[INFO] tweaked toml for crates.io crate tpt-eidos-verifier 0.2.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tpt-eidos-verifier 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-verifier 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] 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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d
[INFO] running `Command { std: "docker" "start" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", 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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d" "/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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", 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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d" "/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 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.88s
[INFO] running `Command { std: "docker" "inspect" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", 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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d" "/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-verifier v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.11s
[INFO] running `Command { std: "docker" "inspect" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", 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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d" "/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.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tpt_eidos_verifier-711a3ca5de2a006f)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test tests::entails_with_three_variables ... ok
[INFO] [stdout] test tests::exact_boundary_lt_excludes_tiny_positive ... ok
[INFO] [stdout] test tests::counterexample_reports_nonzero ... ok
[INFO] [stdout] test tests::sos_certificate_accepts_correct ... ok
[INFO] [stdout] test tests::sos_certificate_rejects_two_term_mismatch ... ok
[INFO] [stdout] test tests::exact_boundary_le_allows_exact_zero ... ok
[INFO] [stdout] test tests::entails_mag_positive_excludes_zero ... ok
[INFO] [stdout] test tests::exact_boundary_le_rejects_tiny_positive ... ok
[INFO] [stdout] test tests::poly_from_lin_roundtrip ... ok
[INFO] [stdout] test tests::poly_square_and_degree ... ok
[INFO] [stdout] test tests::poly_variables_and_is_zero ... ok
[INFO] [stdout] test tests::not_entailed_without_guard ... ok
[INFO] [stdout] test tests::sos_certificate_rejects_negative_coeff ... ok
[INFO] [stdout] test tests::degenerate_empty_system_is_sat ... ok
[INFO] [stdout] test tests::sos_certificate_rejects_mismatched_expansion ... ok
[INFO] [stdout] test tests::sos_certificate_triangle_like ... ok
[INFO] [stdout] test tests::unbounded_single_variable_is_sat ... ok
[INFO] [stdout] test tests::unsat_three_variable_cycle ... ok
[INFO] [stdout] test tests::unsat_trivial_contradiction ... ok
[INFO] [stdout] test tests::model_satisfies_constraints ... ok
[INFO] [stdout] test tests::poly_add_and_mul_basic ... ok
[INFO] [stdout] test tests::sat_simple_bounds ... ok
[INFO] [stderr]      Running tests/fuzz.rs (/opt/rustwide/target/debug/deps/fuzz-49d068cb4a18de7a)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test degenerate_systems_terminate ... ok
[INFO] [stdout] test large_system_hits_constraint_guard_and_returns ... ok
[INFO] [stdout] test random_constraint_systems_terminate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.91s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tpt_eidos_verifier
[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" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d", kill_on_drop: false }`
[INFO] [stdout] ab3ddf3e15bbe989f78893cb3497b6d09637217cdcbec0f3ef3904ccc625008d
