[INFO] fetching crate tendermint-light-client 0.17.0-rc2... [INFO] checking tendermint-light-client-0.17.0-rc2 against master#c919f490bbcd2b29b74016101f7ec71aaa24bdbb for pr-79073 [INFO] extracting crate tendermint-light-client 0.17.0-rc2 into /workspace/builds/worker-9/source [INFO] validating manifest of crates.io crate tendermint-light-client 0.17.0-rc2 on toolchain c919f490bbcd2b29b74016101f7ec71aaa24bdbb [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c919f490bbcd2b29b74016101f7ec71aaa24bdbb" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate tendermint-light-client 0.17.0-rc2 [INFO] finished tweaking crates.io crate tendermint-light-client 0.17.0-rc2 [INFO] tweaked toml for crates.io crate tendermint-light-client 0.17.0-rc2 written to /workspace/builds/worker-9/source/Cargo.toml [INFO] crate crates.io crate tendermint-light-client 0.17.0-rc2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c919f490bbcd2b29b74016101f7ec71aaa24bdbb" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+c919f490bbcd2b29b74016101f7ec71aaa24bdbb" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] df2e8afd5d9c7a0857c3de5ba0fae81441fac207a5b74db9229f6730e3457c59 [INFO] running `Command { std: "docker" "start" "-a" "df2e8afd5d9c7a0857c3de5ba0fae81441fac207a5b74db9229f6730e3457c59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "df2e8afd5d9c7a0857c3de5ba0fae81441fac207a5b74db9229f6730e3457c59", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "df2e8afd5d9c7a0857c3de5ba0fae81441fac207a5b74db9229f6730e3457c59", kill_on_drop: false }` [INFO] [stdout] df2e8afd5d9c7a0857c3de5ba0fae81441fac207a5b74db9229f6730e3457c59 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+c919f490bbcd2b29b74016101f7ec71aaa24bdbb" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e31ab6c965c1c024979b99d55522b310f828aa61995e21fae3738a4b4367a5c7 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "e31ab6c965c1c024979b99d55522b310f828aa61995e21fae3738a4b4367a5c7", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.117 [INFO] [stderr] Compiling serde v1.0.117 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Checking bytes v0.5.6 [INFO] [stderr] Compiling anyhow v1.0.34 [INFO] [stderr] Checking once_cell v1.5.1 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling pin-project-internal v0.4.27 [INFO] [stderr] Checking adler v0.2.3 [INFO] [stderr] Checking gimli v0.23.0 [INFO] [stderr] Checking object v0.22.0 [INFO] [stderr] Checking rustc-demangle v0.1.18 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Checking signature v1.2.2 [INFO] [stderr] Compiling serde_json v1.0.59 [INFO] [stderr] Checking try-lock v0.2.3 [INFO] [stderr] Checking smallvec v1.4.2 [INFO] [stderr] Checking tower-service v0.3.0 [INFO] [stderr] Checking httpdate v0.3.2 [INFO] [stderr] Checking uuid v0.8.1 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking tracing-core v0.1.17 [INFO] [stderr] Checking instant v0.1.8 [INFO] [stderr] Checking futures-task v0.3.8 [INFO] [stderr] Checking lock_api v0.4.1 [INFO] [stderr] Compiling itertools v0.8.2 [INFO] [stderr] Checking crc32fast v1.2.1 [INFO] [stderr] Checking getrandom v0.1.15 [INFO] [stderr] Checking net2 v0.2.35 [INFO] [stderr] Checking time v0.1.44 [INFO] [stderr] Checking socket2 v0.3.16 [INFO] [stderr] Checking fs2 v0.4.3 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking parking_lot_core v0.8.0 [INFO] [stderr] Checking http v0.2.1 [INFO] [stderr] Checking want v0.3.0 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking sha2 v0.9.2 [INFO] [stderr] Compiling miniz_oxide v0.4.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling indexmap v1.6.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.0 [INFO] [stderr] Compiling memoffset v0.5.6 [INFO] [stderr] Compiling crossbeam-utils v0.7.2 [INFO] [stderr] Checking tracing v0.1.21 [INFO] [stderr] Checking mio v0.6.22 [INFO] [stderr] Checking parking_lot v0.11.0 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling syn v1.0.48 [INFO] [stderr] Checking crossbeam-channel v0.4.4 [INFO] [stderr] Checking crossbeam-epoch v0.9.0 [INFO] [stderr] Checking sled v0.34.5 [INFO] [stderr] Checking addr2line v0.14.0 [INFO] [stderr] Checking http-body v0.3.1 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling pin-project-internal v1.0.1 [INFO] [stderr] Compiling futures-macro v0.3.8 [INFO] [stderr] Compiling zeroize_derive v1.0.1 [INFO] [stderr] Compiling tokio-macros v0.2.5 [INFO] [stderr] Compiling prost-derive v0.6.1 [INFO] [stderr] Compiling thiserror-impl v1.0.22 [INFO] [stderr] Compiling num-derive v0.3.3 [INFO] [stderr] Compiling serde_repr v0.1.6 [INFO] [stderr] Compiling async-trait v0.1.41 [INFO] [stderr] Compiling contracts v0.4.0 [INFO] [stderr] Compiling gumdrop_derive v0.8.0 [INFO] [stderr] Compiling derive_more v0.99.11 [INFO] [stderr] Checking zeroize v1.1.1 [INFO] [stderr] Checking tokio v0.2.22 [INFO] [stderr] Checking subtle-encoding v0.5.1 [INFO] [stderr] Checking curve25519-dalek v3.0.0 [INFO] [stderr] Checking thiserror v1.0.22 [INFO] [stderr] Checking gumdrop v0.8.0 [INFO] [stderr] Checking pin-project v1.0.1 [INFO] [stderr] Checking prost v0.6.1 [INFO] [stderr] Checking futures-util v0.3.8 [INFO] [stderr] Checking prost-types v0.6.1 [INFO] [stderr] Checking pin-project v0.4.27 [INFO] [stderr] Checking tracing-futures v0.2.4 [INFO] [stderr] Checking tokio-util v0.3.1 [INFO] [stderr] Checking futures-executor v0.3.8 [INFO] [stderr] Checking h2 v0.2.7 [INFO] [stderr] Checking futures v0.3.8 [INFO] [stderr] Checking serde_bytes v0.11.5 [INFO] [stderr] Checking backtrace v0.3.54 [INFO] [stderr] Checking ed25519 v1.0.3 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Checking toml v0.5.7 [INFO] [stderr] Checking serde_cbor v0.11.1 [INFO] [stderr] Checking ed25519-dalek v1.0.1 [INFO] [stderr] Checking anomaly v0.2.0 [INFO] [stderr] Checking tendermint-proto v0.17.0-rc2 [INFO] [stderr] Checking hyper v0.13.9 [INFO] [stderr] Checking tendermint v0.17.0-rc2 [INFO] [stderr] Checking tendermint-rpc v0.17.0-rc2 [INFO] [stderr] Checking tendermint-light-client v0.17.0-rc2 (/opt/rustwide/workdir) [INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen` [INFO] [stdout] --> tests/light_client.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use tendermint_testgen::Tester; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `tendermint_testgen` [INFO] [stdout] --> tests/model_based.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use tendermint_testgen::{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `tendermint_testgen` [INFO] [stdout] --> tests/supervisor.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | use tendermint_testgen::Tester; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `tendermint_testgen::apalache::*`, `tendermint_testgen::jsonatr::*`, `tendermint_testgen::light_block::TMLightBlock`, `tendermint_testgen::validator::generate_validators`, `tendermint_testgen` [INFO] [stdout] --> tests/model_based.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use tendermint_testgen::{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ use of undeclared crate or module `tendermint_testgen` [INFO] [stdout] 13 | apalache::*, jsonatr::*, light_block::TMLightBlock, validator::generate_validators, Command, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `tendermint-light-client` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ApalacheRun` [INFO] [stdout] --> tests/model_based.rs:591:13 [INFO] [stdout] | [INFO] [stdout] 591 | ApalacheRun::Counterexample(_) => (), [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `ApalacheRun` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TMLightBlock` in this scope [INFO] [stdout] --> tests/model_based.rs:17:27 [INFO] [stdout] | [INFO] [stdout] 17 | fn testgen_to_anon(tm_lb: TMLightBlock) -> AnonLightBlock { [INFO] [stdout] | ^^^^^^^^^^^^ help: a struct with a similar name exists: `LightBlock` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/workdir/src/types.rs:84:1 [INFO] [stdout] | [INFO] [stdout] 84 | pub struct LightBlock { [INFO] [stdout] | --------------------- similarly named struct `LightBlock` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `generate_validators` in this scope [INFO] [stdout] --> tests/model_based.rs:233:47 [INFO] [stdout] | [INFO] [stdout] 233 | let valset = ValidatorSet::new_simple(generate_validators(&vals).unwrap()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `generate_validators` in this scope [INFO] [stdout] --> tests/model_based.rs:248:47 [INFO] [stdout] | [INFO] [stdout] 248 | let valset = ValidatorSet::new_simple(generate_validators(&vals).unwrap()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ApalacheTestCase` in this scope [INFO] [stdout] --> tests/model_based.rs:546:11 [INFO] [stdout] | [INFO] [stdout] 546 | test: ApalacheTestCase, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `run_apalache_test` in this scope [INFO] [stdout] --> tests/model_based.rs:589:11 [INFO] [stdout] | [INFO] [stdout] 589 | match run_apalache_test(env.current_dir(), test) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `JsonatrTransform` in this scope [INFO] [stdout] --> tests/model_based.rs:601:21 [INFO] [stdout] | [INFO] [stdout] 601 | let transform = JsonatrTransform { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `run_jsonatr_transform` in this scope [INFO] [stdout] --> tests/model_based.rs:606:13 [INFO] [stdout] | [INFO] [stdout] 606 | assert!(run_jsonatr_transform(env.current_dir(), transform).is_ok()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ApalacheTestBatch` in this scope [INFO] [stdout] --> tests/model_based.rs:615:34 [INFO] [stdout] | [INFO] [stdout] 615 | fn model_based_test_batch(batch: ApalacheTestBatch) -> Vec<(String, String)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ApalacheTestCase` in this scope [INFO] [stdout] --> tests/model_based.rs:618:18 [INFO] [stdout] | [INFO] [stdout] 618 | let tc = ApalacheTestCase { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 12 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0422, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "e31ab6c965c1c024979b99d55522b310f828aa61995e21fae3738a4b4367a5c7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e31ab6c965c1c024979b99d55522b310f828aa61995e21fae3738a4b4367a5c7", kill_on_drop: false }` [INFO] [stdout] e31ab6c965c1c024979b99d55522b310f828aa61995e21fae3738a4b4367a5c7