[INFO] fetching crate hoars 0.2.0...
[INFO] testing hoars-0.2.0 against nightly-2024-10-28+rustflags=-Zrandomize-layout for randomize-layout
[INFO] extracting crate hoars 0.2.0 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate hoars 0.2.0 on toolchain nightly-2024-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate hoars 0.2.0
[INFO] finished tweaking crates.io crate hoars 0.2.0
[INFO] tweaked toml for crates.io crate hoars 0.2.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-10-28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 49 packages to latest compatible versions
[INFO] [stderr]       Adding ariadne v0.4.1 (available: v0.5.0)
[INFO] [stderr]       Adding itertools v0.12.1 (available: v0.13.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cdaceb1763b88629bd8981096a792adac2233262306f7835844fec092169ff5d
[INFO] running `Command { std: "docker" "start" "-a" "cdaceb1763b88629bd8981096a792adac2233262306f7835844fec092169ff5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cdaceb1763b88629bd8981096a792adac2233262306f7835844fec092169ff5d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cdaceb1763b88629bd8981096a792adac2233262306f7835844fec092169ff5d", kill_on_drop: false }`
[INFO] [stdout] cdaceb1763b88629bd8981096a792adac2233262306f7835844fec092169ff5d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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 -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 931dfacf2e131823498321761eed091649a54c40405836369ad4a5e058b2ccdd
[INFO] running `Command { std: "docker" "start" "-a" "931dfacf2e131823498321761eed091649a54c40405836369ad4a5e058b2ccdd", kill_on_drop: false }`
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling libc v0.2.161
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling allocator-api2 v0.2.18
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling tracing-core v0.1.32
[INFO] [stderr]    Compiling thread_local v1.1.8
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling itertools v0.12.1
[INFO] [stderr]    Compiling syn v2.0.86
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling ariadne v0.4.1
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.18
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling tracing v0.1.40
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.5.22
[INFO] [stderr]    Compiling hoars v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.58s
[INFO] running `Command { std: "docker" "inspect" "931dfacf2e131823498321761eed091649a54c40405836369ad4a5e058b2ccdd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "931dfacf2e131823498321761eed091649a54c40405836369ad4a5e058b2ccdd", kill_on_drop: false }`
[INFO] [stdout] 931dfacf2e131823498321761eed091649a54c40405836369ad4a5e058b2ccdd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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 -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 394dd965e65821fb36790b00a515962cd601343efdaee009eb0dbecda0af55f3
[INFO] running `Command { std: "docker" "start" "-a" "394dd965e65821fb36790b00a515962cd601343efdaee009eb0dbecda0af55f3", kill_on_drop: false }`
[INFO] [stderr]    Compiling hoars v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved imports `crate::ALPHABET`, `crate::VARS`
[INFO] [stdout]    --> src/body.rs:245:55
[INFO] [stdout]     |
[INFO] [stdout] 245 |     use crate::{lexer, Edge, Label, StateConjunction, ALPHABET, VARS};
[INFO] [stdout]     |                                                       ^^^^^^^^  ^^^^ no `VARS` in the root
[INFO] [stdout]     |                                                       |
[INFO] [stdout]     |                                                       no `ALPHABET` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::ALPHABET`, `crate::VARS`
[INFO] [stdout]    --> src/lib.rs:537:48
[INFO] [stdout]     |
[INFO] [stdout] 537 |         HoaAutomaton, Label, StateConjunction, ALPHABET, VARS,
[INFO] [stdout]     |                                                ^^^^^^^^  ^^^^ no `VARS` in the root
[INFO] [stdout]     |                                                |
[INFO] [stdout]     |                                                no `ALPHABET` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hoars` (lib test) due to 2 previous errors
[INFO] running `Command { std: "docker" "inspect" "394dd965e65821fb36790b00a515962cd601343efdaee009eb0dbecda0af55f3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "394dd965e65821fb36790b00a515962cd601343efdaee009eb0dbecda0af55f3", kill_on_drop: false }`
[INFO] [stdout] 394dd965e65821fb36790b00a515962cd601343efdaee009eb0dbecda0af55f3
