[INFO] fetching crate taco-smt-model-checker 0.1.0...
[INFO] testing taco-smt-model-checker-0.1.0 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate taco-smt-model-checker 0.1.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate taco-smt-model-checker 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate taco-smt-model-checker 0.1.0
[INFO] tweaked toml for crates.io crate taco-smt-model-checker 0.1.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate taco-smt-model-checker 0.1.0 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate taco-smt-model-checker 0.1.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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 05d0292ef031f2b7d69ec4d6d52117bfc4f60c1a7c10e37fc882bf80bcd74efe
[INFO] running `Command { std: "docker" "start" "-a" "05d0292ef031f2b7d69ec4d6d52117bfc4f60c1a7c10e37fc882bf80bcd74efe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "05d0292ef031f2b7d69ec4d6d52117bfc4f60c1a7c10e37fc882bf80bcd74efe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05d0292ef031f2b7d69ec4d6d52117bfc4f60c1a7c10e37fc882bf80bcd74efe", kill_on_drop: false }`
[INFO] [stdout] 05d0292ef031f2b7d69ec4d6d52117bfc4f60c1a7c10e37fc882bf80bcd74efe
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 22f250bbe59a48e4a660d7086bd637fc88c849a2fee1cbdeb50286dbfa76b2f4
[INFO] running `Command { std: "docker" "start" "-a" "22f250bbe59a48e4a660d7086bd637fc88c849a2fee1cbdeb50286dbfa76b2f4", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling nanorand v0.8.0
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling is_sorted v0.1.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling sptr v0.3.2
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling flume v0.11.1
[INFO] [stderr]    Compiling linear-hashtbl v0.1.4
[INFO] [stderr]    Compiling taco-display-utils v0.1.0
[INFO] [stderr]    Compiling easy-smt v0.3.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling hugealloc v0.1.1
[INFO] [stderr]    Compiling oxidd-core v0.11.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling oxidd-cache v0.11.1
[INFO] [stderr]    Compiling oxidd-reorder v0.6.1
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling taco-threshold-automaton v0.1.0
[INFO] [stderr]    Compiling taco-smt-encoder v0.1.0
[INFO] [stderr]    Compiling oxidd-derive v0.11.0
[INFO] [stderr]    Compiling derive-where v1.6.0
[INFO] [stderr]    Compiling oxidd-dump v0.6.0
[INFO] [stderr]    Compiling oxidd-manager-index v0.11.0
[INFO] [stderr]    Compiling oxidd-rules-mtbdd v0.6.0
[INFO] [stderr]    Compiling oxidd-rules-bdd v0.11.0
[INFO] [stderr]    Compiling oxidd-rules-zbdd v0.11.0
[INFO] [stderr]    Compiling oxidd v0.11.0
[INFO] [stderr]    Compiling taco-bdd v0.1.0
[INFO] [stderr]    Compiling taco-model-checker v0.1.0
[INFO] [stderr]    Compiling taco-smt-model-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.82s
[INFO] running `Command { std: "docker" "inspect" "22f250bbe59a48e4a660d7086bd637fc88c849a2fee1cbdeb50286dbfa76b2f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "22f250bbe59a48e4a660d7086bd637fc88c849a2fee1cbdeb50286dbfa76b2f4", kill_on_drop: false }`
[INFO] [stdout] 22f250bbe59a48e4a660d7086bd637fc88c849a2fee1cbdeb50286dbfa76b2f4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b0940881eecb068867d11dbdbd7f1c619635dfb1b29f650618e72e18d58d1edc
[INFO] running `Command { std: "docker" "start" "-a" "b0940881eecb068867d11dbdbd7f1c619635dfb1b29f650618e72e18d58d1edc", kill_on_drop: false }`
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling easy-smt v0.3.2
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling jiff v0.2.18
[INFO] [stderr]    Compiling taco-threshold-automaton v0.1.0
[INFO] [stderr]    Compiling pest v2.8.5
[INFO] [stderr]    Compiling taco-smt-encoder v0.1.0
[INFO] [stderr]    Compiling taco-model-checker v0.1.0
[INFO] [stderr]    Compiling pest_meta v2.8.5
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling taco-smt-model-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling pest_generator v2.8.5
[INFO] [stderr]    Compiling pest_derive v2.8.5
[INFO] [stderr]    Compiling taco-parser v0.1.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling env_filter v0.1.4
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stdout] warning: constant `BYMC_BENCHMARK_FOLDER` is never used
[INFO] [stdout]   --> tests/test_smt_model_checker.rs:24:11
[INFO] [stdout]    |
[INFO] [stdout] 24 |     const BYMC_BENCHMARK_FOLDER: &str = "../../benchmarks/TACO";
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:871:39
[INFO] [stdout]     |
[INFO] [stdout] 871 |             .add_parameter_assignment(HashMap::from([
[INFO] [stdout]     |                                       ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:877:17
[INFO] [stdout]     |
[INFO] [stdout] 877 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:882:17
[INFO] [stdout]     |
[INFO] [stdout] 882 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:900:17
[INFO] [stdout]     |
[INFO] [stdout] 900 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:905:17
[INFO] [stdout]     |
[INFO] [stdout] 905 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:918:17
[INFO] [stdout]     |
[INFO] [stdout] 918 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:923:17
[INFO] [stdout]     |
[INFO] [stdout] 923 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:952:17
[INFO] [stdout]     |
[INFO] [stdout] 952 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find type `HashMap` in this scope
[INFO] [stdout]    --> src/lib.rs:957:17
[INFO] [stdout]     |
[INFO] [stdout] 957 |                 HashMap::from([
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `HashMap`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> src/lib.rs:36:24
[INFO] [stdout]     |
[INFO] [stdout]  35 | #[cfg(feature = "parallel")]
[INFO] [stdout]     |       -------------------- the item is gated behind the `parallel` feature
[INFO] [stdout]  36 | use std::{collections::HashMap, sync::atomic::Ordering};
[INFO] [stdout]     |                        ^^^^^^^
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 342 +     use std::collections::HashMap;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no associated function or constant named `new` found for struct `SMTModelCheckerOptions` in the current scope
[INFO] [stdout]    --> src/lib.rs:856:37
[INFO] [stdout]     |
[INFO] [stdout]  48 | pub struct SMTModelCheckerOptions {
[INFO] [stdout]     | --------------------------------- associated function or constant `new` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 856 |             SMTModelCheckerOptions::new(false),
[INFO] [stdout]     |                                     ^^^ associated function or constant not found in `SMTModelCheckerOptions`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]     = note: the following traits define an item `new`, perhaps you need to implement one of them:
[INFO] [stdout]             candidate #1: `ModelChecker`
[INFO] [stdout]             candidate #2: `itertools::adaptors::coalesce::CountItem`
[INFO] [stdout]             candidate #3: `oxidd_core::InnerNode`
[INFO] [stdout]             candidate #4: `parking_lot_core::thread_parker::ThreadParkerT`
[INFO] [stdout] help: there is a method `ne` with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 856 -             SMTModelCheckerOptions::new(false),
[INFO] [stdout] 856 +             SMTModelCheckerOptions::ne(false),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `taco-smt-model-checker` (lib test) due to 10 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "b0940881eecb068867d11dbdbd7f1c619635dfb1b29f650618e72e18d58d1edc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b0940881eecb068867d11dbdbd7f1c619635dfb1b29f650618e72e18d58d1edc", kill_on_drop: false }`
[INFO] [stdout] b0940881eecb068867d11dbdbd7f1c619635dfb1b29f650618e72e18d58d1edc
