[INFO] fetching crate taco-smt-model-checker 0.1.0... [INFO] testing taco-smt-model-checker-0.1.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate taco-smt-model-checker 0.1.0 into /workspace/builds/worker-6-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-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate taco-smt-model-checker 0.1.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] aa6eff6ed8a5600e119968b7098a61854b7bd0a0826d192a0ffb896634cf7efb [INFO] running `Command { std: "docker" "start" "-a" "aa6eff6ed8a5600e119968b7098a61854b7bd0a0826d192a0ffb896634cf7efb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "aa6eff6ed8a5600e119968b7098a61854b7bd0a0826d192a0ffb896634cf7efb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "aa6eff6ed8a5600e119968b7098a61854b7bd0a0826d192a0ffb896634cf7efb", kill_on_drop: false }` [INFO] [stdout] aa6eff6ed8a5600e119968b7098a61854b7bd0a0826d192a0ffb896634cf7efb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f217942b1d82a4af4eb9c30ef376f5cb6dcf621e1e20e05ae1ae6cc8f091814c [INFO] running `Command { std: "docker" "start" "-a" "f217942b1d82a4af4eb9c30ef376f5cb6dcf621e1e20e05ae1ae6cc8f091814c", 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 litrs v1.0.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 proc-macro-error v1.0.4 [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 unicode-segmentation v1.12.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling taco-threshold-automaton v0.1.0 [INFO] [stderr] Compiling oxidd-core v0.11.0 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling document-features v0.2.12 [INFO] [stderr] Compiling oxidd-reorder v0.6.1 [INFO] [stderr] Compiling hugealloc v0.1.1 [INFO] [stderr] Compiling easy-smt v0.3.2 [INFO] [stderr] Compiling syn v2.0.114 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling oxidd-cache v0.11.1 [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-manager-index v0.11.0 [INFO] [stderr] Compiling oxidd-dump v0.6.0 [INFO] [stderr] Compiling oxidd-rules-bdd v0.11.0 [INFO] [stderr] Compiling oxidd-rules-mtbdd v0.6.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 21.08s [INFO] running `Command { std: "docker" "inspect" "f217942b1d82a4af4eb9c30ef376f5cb6dcf621e1e20e05ae1ae6cc8f091814c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f217942b1d82a4af4eb9c30ef376f5cb6dcf621e1e20e05ae1ae6cc8f091814c", kill_on_drop: false }` [INFO] [stdout] f217942b1d82a4af4eb9c30ef376f5cb6dcf621e1e20e05ae1ae6cc8f091814c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c516484b3e9f5bee6471b89ef477245178d1d29c220dcce590c65e8dd6ee9fef [INFO] running `Command { std: "docker" "start" "-a" "c516484b3e9f5bee6471b89ef477245178d1d29c220dcce590c65e8dd6ee9fef", kill_on_drop: false }` [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling easy-smt v0.3.2 [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 regex-automata v0.4.13 [INFO] [stderr] Compiling taco-model-checker v0.1.0 [INFO] [stderr] Compiling pest_meta v2.8.5 [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 regex v1.12.2 [INFO] [stderr] Compiling taco-parser v0.1.0 [INFO] [stderr] Compiling env_filter v0.1.4 [INFO] [stderr] Compiling env_logger v0.11.8 [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] 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[E0599]: no function or associated item 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] | --------------------------------- function or associated item `new` not found for this struct [INFO] [stdout] ... [INFO] [stdout] 856 | SMTModelCheckerOptions::new(false), [INFO] [stdout] | ^^^ function or associated item 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" "c516484b3e9f5bee6471b89ef477245178d1d29c220dcce590c65e8dd6ee9fef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c516484b3e9f5bee6471b89ef477245178d1d29c220dcce590c65e8dd6ee9fef", kill_on_drop: false }` [INFO] [stdout] c516484b3e9f5bee6471b89ef477245178d1d29c220dcce590c65e8dd6ee9fef