[INFO] fetching crate bashrs 0.3.3... [INFO] checking bashrs-0.3.3 against try#c659ee110de67e82444e4b6c8407c1a9af9c2cf6 for pr-145608-1 [INFO] extracting crate bashrs 0.3.3 into /workspace/builds/worker-4-tc2/source [INFO] started tweaking crates.io crate bashrs 0.3.3 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate bashrs 0.3.3 [INFO] tweaked toml for crates.io crate bashrs 0.3.3 written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate bashrs 0.3.3 on toolchain c659ee110de67e82444e4b6c8407c1a9af9c2cf6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate bashrs 0.3.3 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" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d458f0a124c3510012e8e28e7a0405e8ead2f96f6bbe327ef879a60a4978ec0b [INFO] running `Command { std: "docker" "start" "-a" "d458f0a124c3510012e8e28e7a0405e8ead2f96f6bbe327ef879a60a4978ec0b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d458f0a124c3510012e8e28e7a0405e8ead2f96f6bbe327ef879a60a4978ec0b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d458f0a124c3510012e8e28e7a0405e8ead2f96f6bbe327ef879a60a4978ec0b", kill_on_drop: false }` [INFO] [stdout] d458f0a124c3510012e8e28e7a0405e8ead2f96f6bbe327ef879a60a4978ec0b [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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6960461daada7fe50a12c79e84827db8aea18516a7b075d74842500b9186a8cb [INFO] running `Command { std: "docker" "start" "-a" "6960461daada7fe50a12c79e84827db8aea18516a7b075d74842500b9186a8cb", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling libc v0.2.172 [INFO] [stderr] Compiling hashbrown v0.15.4 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking getrandom v0.3.3 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Checking parking_lot_core v0.9.11 [INFO] [stderr] Checking signal-hook-registry v1.4.5 [INFO] [stderr] Checking mio v1.0.4 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking signal-hook v0.3.18 [INFO] [stderr] Checking castaway v0.2.3 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking tree-sitter-language v0.1.5 [INFO] [stderr] Checking parking_lot v0.12.4 [INFO] [stderr] Checking compact_str v0.8.1 [INFO] [stderr] Checking signal-hook-mio v0.2.4 [INFO] [stderr] Checking indexmap v2.9.0 [INFO] [stderr] Checking crossbeam-queue v0.3.12 [INFO] [stderr] Checking crossbeam-channel v0.5.15 [INFO] [stderr] Checking rand v0.9.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling jobserver v0.1.33 [INFO] [stderr] Compiling phf_generator v0.11.3 [INFO] [stderr] Checking filetime v0.2.25 [INFO] [stderr] Compiling syn v2.0.102 [INFO] [stderr] Checking crossterm v0.28.1 [INFO] [stderr] Checking socket2 v0.5.10 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Compiling cc v1.2.26 [INFO] [stderr] Compiling bashrs v0.3.3 (/opt/rustwide/workdir) [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking streaming-iterator v0.1.9 [INFO] [stderr] Checking str_indices v0.4.4 [INFO] [stderr] Checking petgraph v0.8.2 [INFO] [stderr] Checking tracing-subscriber v0.3.19 [INFO] [stderr] Checking dashmap v6.1.0 [INFO] [stderr] Checking ropey v1.6.1 [INFO] [stderr] Checking brotli v8.0.1 [INFO] [stderr] Checking lru v0.14.0 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking crossbeam v0.8.4 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling winnow v0.7.11 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking unicode-truncate v1.1.0 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking rand_xorshift v0.4.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Compiling zstd-sys v2.0.15+zstd.1.5.7 [INFO] [stderr] Compiling blake3 v1.8.2 [INFO] [stderr] Compiling tree-sitter-rust v0.23.3 [INFO] [stderr] Checking xattr v1.5.0 [INFO] [stderr] Checking tar v0.4.44 [INFO] [stderr] Checking tempfile v3.20.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Checking proptest v1.7.0 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling clap_derive v4.5.40 [INFO] [stderr] Compiling strum_macros v0.26.4 [INFO] [stderr] Compiling tokio-macros v2.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling phf_macros v0.11.3 [INFO] [stderr] Compiling tracing-attributes v0.1.29 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling tree-sitter v0.25.6 [INFO] [stderr] Checking phf v0.11.3 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking tokio v1.45.1 [INFO] [stderr] Compiling proc-macro-crate v3.3.0 [INFO] [stderr] Checking thiserror v2.0.12 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Checking strum v0.26.3 [INFO] [stderr] Compiling rstest_macros v0.25.0 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling instability v0.3.7 [INFO] [stderr] Checking clap v4.5.40 [INFO] [stderr] Checking ratatui v0.29.0 [INFO] [stderr] Compiling zstd-safe v7.2.4 [INFO] [stderr] Checking zstd v0.13.3 [INFO] [stderr] Checking rstest v0.25.0 [INFO] [stderr] Checking chrono v0.4.41 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.6.0 [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> tests/integration_tests.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use rash::models::config::{ShellDialect, VerificationLevel}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `rash` [INFO] [stdout] --> tests/integration_tests.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::{check, transpile, Config}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/validation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::validation::ValidationLevel; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/validation.rs:69:9 [INFO] [stdout] | [INFO] [stdout] 69 | use rash::validation::{rules::*, Validate}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `rash` [INFO] [stdout] --> benches/validation.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use rash::{transpile, Config}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/transpilation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::{ir, services::parser, transpile, Config}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `rash` [INFO] [stdout] --> benches/transpilation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::{ir, services::parser, transpile, Config}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::{ir, models::VerificationLevel, services::parser, verifier}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `rash` [INFO] [stdout] --> benches/verification.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use rash::{ir, models::VerificationLevel, services::parser, verifier}; [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `VariableExpansion` [INFO] [stdout] --> benches/validation.rs:75:19 [INFO] [stdout] | [INFO] [stdout] 75 | let var = VariableExpansion::Quoted("USER".to_string()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `VariableExpansion` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::VariableExpansion; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `bashrs` (test "integration_tests") due to 2 previous errors [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `VariableExpansion` [INFO] [stdout] --> benches/validation.rs:82:19 [INFO] [stdout] | [INFO] [stdout] 82 | let var = VariableExpansion::Unquoted("USER".to_string()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `VariableExpansion` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::VariableExpansion; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `CommandSubstitution` in this scope [INFO] [stdout] --> benches/validation.rs:90:19 [INFO] [stdout] | [INFO] [stdout] 90 | let cmd = CommandSubstitution { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::formatter::QuoteReason::CommandSubstitution; [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::CommandSubstitution; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SubstitutionContext` [INFO] [stdout] --> benches/validation.rs:92:22 [INFO] [stdout] | [INFO] [stdout] 92 | context: SubstitutionContext::Quoted, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ use of undeclared type `SubstitutionContext` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::SubstitutionContext; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `validate_glob_pattern` in this scope [INFO] [stdout] --> benches/validation.rs:102:21 [INFO] [stdout] | [INFO] [stdout] 102 | let _ = validate_glob_pattern(black_box("file.txt")); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::validate_glob_pattern; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `validate_glob_pattern` in this scope [INFO] [stdout] --> benches/validation.rs:108:21 [INFO] [stdout] | [INFO] [stdout] 108 | let _ = validate_glob_pattern(black_box("-rf")); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::validate_glob_pattern; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `validate_all` in this scope [INFO] [stdout] --> benches/validation.rs:116:21 [INFO] [stdout] | [INFO] [stdout] 116 | let _ = validate_all(black_box(snippet)); [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::validate_all; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `validate_all` in this scope [INFO] [stdout] --> benches/validation.rs:123:21 [INFO] [stdout] | [INFO] [stdout] 123 | let _ = validate_all(black_box(snippet)); [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::validation::rules::validate_all; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/transpilation.rs:143:37 [INFO] [stdout] | [INFO] [stdout] 143 | |b, (ir, config)| b.iter(|| rash::emitter::emit(ir, config).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::emitter; [INFO] [stdout] | [INFO] [stdout] help: if you import `emitter`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 143 - |b, (ir, config)| b.iter(|| rash::emitter::emit(ir, config).unwrap()), [INFO] [stdout] 143 + |b, (ir, config)| b.iter(|| emitter::emit(ir, config).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0422, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0422`. [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:147:27 [INFO] [stdout] | [INFO] [stdout] 147 | |b, ir| b.iter(|| rash::verifier::properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 147 - |b, ir| b.iter(|| rash::verifier::properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] 147 + |b, ir| b.iter(|| properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:153:27 [INFO] [stdout] | [INFO] [stdout] 153 | |b, ir| b.iter(|| rash::verifier::properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 153 - |b, ir| b.iter(|| rash::verifier::properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] 153 + |b, ir| b.iter(|| properties::verify_no_command_injection(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:161:25 [INFO] [stdout] | [INFO] [stdout] 161 | let _ = rash::verifier::properties::verify_no_command_injection(ir); [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 161 - let _ = rash::verifier::properties::verify_no_command_injection(ir); [INFO] [stdout] 161 + let _ = properties::verify_no_command_injection(ir); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:169:27 [INFO] [stdout] | [INFO] [stdout] 169 | |b, ir| b.iter(|| rash::verifier::properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 169 - |b, ir| b.iter(|| rash::verifier::properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] 169 + |b, ir| b.iter(|| properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:175:27 [INFO] [stdout] | [INFO] [stdout] 175 | |b, ir| b.iter(|| rash::verifier::properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 175 - |b, ir| b.iter(|| rash::verifier::properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] 175 + |b, ir| b.iter(|| properties::verify_deterministic(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:181:27 [INFO] [stdout] | [INFO] [stdout] 181 | |b, ir| b.iter(|| rash::verifier::properties::verify_idempotency(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 181 - |b, ir| b.iter(|| rash::verifier::properties::verify_idempotency(ir).unwrap()), [INFO] [stdout] 181 + |b, ir| b.iter(|| properties::verify_idempotency(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rash` [INFO] [stdout] --> benches/verification.rs:187:27 [INFO] [stdout] | [INFO] [stdout] 187 | |b, ir| b.iter(|| rash::verifier::properties::verify_resource_safety(ir).unwrap()), [INFO] [stdout] | ^^^^ use of unresolved module or unlinked crate `rash` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `rash`, use `cargo add rash` to add it to your `Cargo.toml` [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use bashrs::verifier::properties; [INFO] [stdout] | [INFO] [stdout] help: if you import `properties`, refer to it directly [INFO] [stdout] | [INFO] [stdout] 187 - |b, ir| b.iter(|| rash::verifier::properties::verify_resource_safety(ir).unwrap()), [INFO] [stdout] 187 + |b, ir| b.iter(|| properties::verify_resource_safety(ir).unwrap()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `bashrs` (bench "validation") due to 11 previous errors [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bashrs` (bench "transpilation") due to 3 previous errors [INFO] [stdout] error[E0282]: type annotations needed for `&_` [INFO] [stdout] --> benches/verification.rs:253:84 [INFO] [stdout] | [INFO] [stdout] 253 | group.bench_with_input(BenchmarkId::new("analyze_effects", name), &ir, |b, ir| { [INFO] [stdout] | ^^ [INFO] [stdout] 254 | b.iter(|| { [INFO] [stdout] 255 | let effects = ir.effects(); [INFO] [stdout] | ------- type must be known at this point [INFO] [stdout] | [INFO] [stdout] help: consider giving this closure parameter an explicit type, where the type for type parameter `I` is specified [INFO] [stdout] | [INFO] [stdout] 253 | group.bench_with_input(BenchmarkId::new("analyze_effects", name), &ir, |b, ir: &I| { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0282, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bashrs` (bench "verification") due to 10 previous errors [INFO] running `Command { std: "docker" "inspect" "6960461daada7fe50a12c79e84827db8aea18516a7b075d74842500b9186a8cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6960461daada7fe50a12c79e84827db8aea18516a7b075d74842500b9186a8cb", kill_on_drop: false }` [INFO] [stdout] 6960461daada7fe50a12c79e84827db8aea18516a7b075d74842500b9186a8cb