[INFO] cloning repository https://github.com/BigBuildBench/trailofbits_circomspect
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/BigBuildBench/trailofbits_circomspect" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBigBuildBench%2Ftrailofbits_circomspect", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBigBuildBench%2Ftrailofbits_circomspect'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 851d564c092c7c39a8a565610c77c0a37e8f1c9b
[INFO] checking BigBuildBench/trailofbits_circomspect against master#c8a31b780d5415358566a20b94912620a3f27067 for pr-139493-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBigBuildBench%2Ftrailofbits_circomspect" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/BigBuildBench/trailofbits_circomspect
[INFO] finished tweaking git repo https://github.com/BigBuildBench/trailofbits_circomspect
[INFO] tweaked toml for git repo https://github.com/BigBuildBench/trailofbits_circomspect written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/BigBuildBench/trailofbits_circomspect on toolchain c8a31b780d5415358566a20b94912620a3f27067
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c8a31b780d5415358566a20b94912620a3f27067" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c8a31b780d5415358566a20b94912620a3f27067" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 100 packages to latest compatible versions
[INFO] [stderr]       Adding lalrpop v0.20.2 (available: v0.22.2)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c8a31b780d5415358566a20b94912620a3f27067" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c8a31b780d5415358566a20b94912620a3f27067" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ca8c8d6b81c34a9f91c6c2dc3fdb1bf3f450e9134391a44505eca7d54005bce2
[INFO] running `Command { std: "docker" "start" "-a" "ca8c8d6b81c34a9f91c6c2dc3fdb1bf3f450e9134391a44505eca7d54005bce2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ca8c8d6b81c34a9f91c6c2dc3fdb1bf3f450e9134391a44505eca7d54005bce2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca8c8d6b81c34a9f91c6c2dc3fdb1bf3f450e9134391a44505eca7d54005bce2", kill_on_drop: false }`
[INFO] [stdout] ca8c8d6b81c34a9f91c6c2dc3fdb1bf3f450e9134391a44505eca7d54005bce2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c8a31b780d5415358566a20b94912620a3f27067" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5ed353ed1df04bc56286958929cb3de3a855af767fe3a7726f411fafb430b345
[INFO] running `Command { std: "docker" "start" "-a" "5ed353ed1df04bc56286958929cb3de3a855af767fe3a7726f411fafb430b345", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling num-bigint-dig v0.8.4
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]     Checking bitflags v2.9.4
[INFO] [stderr]     Checking linux-raw-sys v0.11.0
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]     Checking circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stdout] error[E0463]: can't find crate for `num_bigint_dig`
[INFO] [stdout]  --> program_structure/src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | extern crate num_bigint_dig as num_bigint;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `num_traits`
[INFO] [stdout]  --> program_structure/src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate num_traits;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/lifting.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::{debug, trace};
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/unique_vars.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/static_single_assignment/dominator_tree.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/static_single_assignment/traits.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/static_single_assignment/mod.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/basic_block.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/cfg.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::debug;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/ssa_impl.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::{debug, trace, warn};
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/intermediate_representation/degree_meta.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/intermediate_representation/expression_impl.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `circom_algebra`
[INFO] [stdout]  --> program_structure/src/intermediate_representation/expression_impl.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use circom_algebra::modular_arithmetic;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `circom_algebra`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `circom_algebra`, use `cargo add circom_algebra` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/intermediate_representation/statement_impl.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use log::trace;
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` 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 `codespan_reporting`
[INFO] [stdout]  --> program_structure/src/program_library/report.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use codespan_reporting::diagnostic::{Diagnostic, Label};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `codespan_reporting`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `codespan_reporting`, use `cargo add codespan_reporting` 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 `codespan_reporting`
[INFO] [stdout]  --> program_structure/src/program_library/file_definition.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use codespan_reporting::files::{Files, SimpleFiles};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `codespan_reporting`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `codespan_reporting`, use `cargo add codespan_reporting` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `anyhow`
[INFO] [stdout]  --> program_structure/src/program_library/report.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use anyhow::anyhow;
[INFO] [stdout]   |     ^^^^^^ use of unresolved module or unlinked crate `anyhow`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `anyhow`, use `cargo add anyhow` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `anyhow`
[INFO] [stdout]  --> program_structure/src/utils/constants.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use anyhow::{anyhow, Error};
[INFO] [stdout]   |     ^^^^^^ use of unresolved module or unlinked crate `anyhow`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `anyhow`, use `cargo add anyhow` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `anyhow`
[INFO] [stdout]  --> program_structure/src/utils/nonempty_vec.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use anyhow::{anyhow, Error};
[INFO] [stdout]   |     ^^^^^^ use of unresolved module or unlinked crate `anyhow`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `anyhow`, use `cargo add anyhow` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `anyhow`
[INFO] [stdout]  --> program_structure/src/utils/writers.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use anyhow;
[INFO] [stdout]   |     ^^^^^^ no external crate `anyhow`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/utils/writers.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use log::{info, warn};
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `codespan_reporting`
[INFO] [stdout]  --> program_structure/src/utils/writers.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use codespan_reporting::term;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `codespan_reporting`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `codespan_reporting`, use `cargo add codespan_reporting` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `termcolor`
[INFO] [stdout]  --> program_structure/src/utils/writers.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use termcolor::{StandardStream, ColorChoice, WriteColor, ColorSpec, Color};
[INFO] [stdout]   |     ^^^^^^^^^ use of unresolved module or unlinked crate `termcolor`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `termcolor`, use `cargo add termcolor` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `serde_derive`
[INFO] [stdout]  --> program_structure/src/abstract_syntax_tree/ast.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use serde_derive::{Deserialize, Serialize};
[INFO] [stdout]   |     ^^^^^^^^^^^^ use of unresolved module or unlinked crate `serde_derive`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `serde_derive`, use `cargo add serde_derive` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `thiserror`
[INFO] [stdout]  --> program_structure/src/control_flow_graph/errors.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use thiserror::Error;
[INFO] [stdout]   |     ^^^^^^^^^ use of unresolved module or unlinked crate `thiserror`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `thiserror`, use `cargo add thiserror` 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 `codespan_reporting`
[INFO] [stdout]  --> program_structure/src/utils/sarif_conversion.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use codespan_reporting::files::Files;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `codespan_reporting`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `codespan_reporting`, use `cargo add codespan_reporting` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `thiserror`
[INFO] [stdout]  --> program_structure/src/intermediate_representation/errors.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use thiserror::Error;
[INFO] [stdout]   |     ^^^^^^^^^ use of unresolved module or unlinked crate `thiserror`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `thiserror`, use `cargo add thiserror` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `log`
[INFO] [stdout]  --> program_structure/src/utils/sarif_conversion.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use log::{debug, trace};
[INFO] [stdout]   |     ^^^ use of unresolved module or unlinked crate `log`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `log`, use `cargo add log` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `serde_sarif`
[INFO] [stdout]  --> program_structure/src/utils/sarif_conversion.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use serde_sarif::sarif;
[INFO] [stdout]   |     ^^^^^^^^^^^ use of unresolved module or unlinked crate `serde_sarif`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `serde_sarif`, use `cargo add serde_sarif` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `thiserror`
[INFO] [stdout]  --> program_structure/src/utils/sarif_conversion.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use thiserror::Error;
[INFO] [stdout]   |     ^^^^^^^^^ use of unresolved module or unlinked crate `thiserror`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `thiserror`, use `cargo add thiserror` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 |     #[error("The variable `{name}` is read before it is declared/written.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 |     #[error("The variable name `{name}` contains invalid characters.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 |     #[error("The declaration of the variable `{name}` shadows a previous declaration.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:23:7
[INFO] [stdout]    |
[INFO] [stdout] 23 |     #[error("Multiple parameters with the same name `{name}` in function or template definition.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:10:7
[INFO] [stdout]    |
[INFO] [stdout] 10 |     #[error("The variable `{name}` is read before it is declared/written.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `error` in this scope
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 |     #[error("The variable name `{name}` contains invalid characters.")]
[INFO] [stdout]    |       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:179:43
[INFO] [stdout]     |
[INFO] [stdout] 179 |     InvalidReportingDescriptorReference(#[from] sarif::ReportingDescriptorReferenceBuilderError),
[INFO] [stdout]     |                                           ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:180:34
[INFO] [stdout]     |
[INFO] [stdout] 180 |     InvalidReportingDescriptor(#[from] sarif::ReportingDescriptorBuilderError),
[INFO] [stdout]     |                                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:181:36
[INFO] [stdout]     |
[INFO] [stdout] 181 |     InvalidPhysicalLocationError(#[from] sarif::PhysicalLocationBuilderError),
[INFO] [stdout]     |                                    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:182:31
[INFO] [stdout]     |
[INFO] [stdout] 182 |     InvalidArtifactLocation(#[from] sarif::ArtifactLocationBuilderError),
[INFO] [stdout]     |                               ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:183:28
[INFO] [stdout]     |
[INFO] [stdout] 183 |     InvalidToolComponent(#[from] sarif::ToolComponentBuilderError),
[INFO] [stdout]     |                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:184:23
[INFO] [stdout]     |
[INFO] [stdout] 184 |     InvalidLocation(#[from] sarif::LocationBuilderError),
[INFO] [stdout]     |                       ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:185:22
[INFO] [stdout]     |
[INFO] [stdout] 185 |     InvalidMessage(#[from] sarif::MessageBuilderError),
[INFO] [stdout]     |                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:186:21
[INFO] [stdout]     |
[INFO] [stdout] 186 |     InvalidRegion(#[from] sarif::RegionBuilderError),
[INFO] [stdout]     |                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:187:21
[INFO] [stdout]     |
[INFO] [stdout] 187 |     InvalidResult(#[from] sarif::ResultBuilderError),
[INFO] [stdout]     |                     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:188:18
[INFO] [stdout]     |
[INFO] [stdout] 188 |     InvalidRun(#[from] sarif::RunBuilderError),
[INFO] [stdout]     |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:189:20
[INFO] [stdout]     |
[INFO] [stdout] 189 |     InvalidSarif(#[from] sarif::SarifBuilderError),
[INFO] [stdout]     |                    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:190:19
[INFO] [stdout]     |
[INFO] [stdout] 190 |     InvalidTool(#[from] sarif::ToolBuilderError),
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `from` in this scope
[INFO] [stdout]    --> program_structure/src/utils/sarif_conversion.rs:191:18
[INFO] [stdout]     |
[INFO] [stdout] 191 |     InvalidFix(#[from] sarif::FixBuilderError),
[INFO] [stdout]     |                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `atty`
[INFO] [stdout]   --> program_structure/src/utils/writers.rs:59:34
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let writer = if atty::is(atty::Stream::Stdout) {
[INFO] [stdout]    |                                  ^^^^ use of unresolved module or unlinked crate `atty`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `atty`, use `cargo add atty` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stdout] error[E0463]: can't find crate for `num_bigint_dig`
[INFO] [stdout]  --> circom_algebra/src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub extern crate num_bigint_dig as num_bigint;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `num_traits`
[INFO] [stdout]  --> circom_algebra/src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub extern crate num_traits;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0463`.
[INFO] [stdout] 
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr] error: could not compile `circomspect-circom-algebra` (lib) due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `atty`
[INFO] [stdout]   --> program_structure/src/utils/writers.rs:59:25
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let writer = if atty::is(atty::Stream::Stdout) {
[INFO] [stdout]    |                         ^^^^ use of unresolved module or unlinked crate `atty`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `atty`, use `cargo add atty` 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 `serde_json`
[INFO] [stdout]    --> program_structure/src/utils/writers.rs:197:20
[INFO] [stdout]     |
[INFO] [stdout] 197 |         let json = serde_json::to_string_pretty(&sarif)?;
[INFO] [stdout]     |                    ^^^^^^^^^^ use of unresolved module or unlinked crate `serde_json`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `serde_json`, use `cargo add serde_json` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `with_context` found for enum `Result<T, E>` in the current scope
[INFO] [stdout]    --> program_structure/src/utils/writers.rs:200:14
[INFO] [stdout]     |
[INFO] [stdout] 199 | /         writeln!(sarif_file, "{}", &json)
[INFO] [stdout] 200 | |             .with_context(|| format!("could not write to {}", self.sarif_file.display()))?;
[INFO] [stdout]     | |             -^^^^^^^^^^^^ method not found in `Result<(), std::io::Error>`
[INFO] [stdout]     | |_____________|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> program_structure/src/utils/sarif_conversion.rs:84:19
[INFO] [stdout]    |
[INFO] [stdout] 84 |             .map(|label| label.to_sarif(files))
[INFO] [stdout]    |                   ^^^^^  ----- type must be known at this point
[INFO] [stdout]    |
[INFO] [stdout] help: consider giving this closure parameter an explicit type
[INFO] [stdout]    |
[INFO] [stdout] 84 |             .map(|label: /* Type */| label.to_sarif(files))
[INFO] [stdout]    |                        ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> program_structure/src/utils/sarif_conversion.rs:89:19
[INFO] [stdout]    |
[INFO] [stdout] 89 |             .map(|label| label.to_sarif(files))
[INFO] [stdout]    |                   ^^^^^  ----- type must be known at this point
[INFO] [stdout]    |
[INFO] [stdout] help: consider giving this closure parameter an explicit type
[INFO] [stdout]    |
[INFO] [stdout] 89 |             .map(|label: /* Type */| label.to_sarif(files))
[INFO] [stdout]    |                        ++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432, E0433, E0463, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `circomspect-program-structure` (lib) due to 55 previous errors
[INFO] running `Command { std: "docker" "inspect" "5ed353ed1df04bc56286958929cb3de3a855af767fe3a7726f411fafb430b345", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5ed353ed1df04bc56286958929cb3de3a855af767fe3a7726f411fafb430b345", kill_on_drop: false }`
[INFO] [stdout] 5ed353ed1df04bc56286958929cb3de3a855af767fe3a7726f411fafb430b345
