[INFO] cloning repository https://github.com/Qiacoriander/circomspect-privacy
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Qiacoriander/circomspect-privacy" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] abd7ff4199af76f3c1cbad17a77dacfb2844b882
[INFO] testing Qiacoriander/circomspect-privacy against beta-2026-01-20 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  30% (5735/18575)
Updating files:  31% (5759/18575)
Updating files:  32% (5944/18575)
Updating files:  33% (6130/18575)
Updating files:  34% (6316/18575)
Updating files:  35% (6502/18575)
Updating files:  36% (6687/18575)
Updating files:  37% (6873/18575)
Updating files:  38% (7059/18575)
Updating files:  39% (7245/18575)
Updating files:  40% (7430/18575)
Updating files:  41% (7616/18575)
Updating files:  42% (7802/18575)
Updating files:  43% (7988/18575)
Updating files:  44% (8173/18575)
Updating files:  45% (8359/18575)
Updating files:  46% (8545/18575)
Updating files:  47% (8731/18575)
Updating files:  47% (8802/18575)
Updating files:  48% (8916/18575)
Updating files:  49% (9102/18575)
Updating files:  50% (9288/18575)
Updating files:  51% (9474/18575)
Updating files:  52% (9659/18575)
Updating files:  53% (9845/18575)
Updating files:  54% (10031/18575)
Updating files:  55% (10217/18575)
Updating files:  56% (10402/18575)
Updating files:  57% (10588/18575)
Updating files:  58% (10774/18575)
Updating files:  58% (10915/18575)
Updating files:  59% (10960/18575)
Updating files:  60% (11145/18575)
Updating files:  61% (11331/18575)
Updating files:  62% (11517/18575)
Updating files:  63% (11703/18575)
Updating files:  64% (11888/18575)
Updating files:  65% (12074/18575)
Updating files:  66% (12260/18575)
Updating files:  67% (12446/18575)
Updating files:  68% (12631/18575)
Updating files:  69% (12817/18575)
Updating files:  70% (13003/18575)
Updating files:  71% (13189/18575)
Updating files:  72% (13374/18575)
Updating files:  73% (13560/18575)
Updating files:  74% (13746/18575)
Updating files:  75% (13932/18575)
Updating files:  75% (14036/18575)
Updating files:  76% (14117/18575)
Updating files:  77% (14303/18575)
Updating files:  78% (14489/18575)
Updating files:  79% (14675/18575)
Updating files:  80% (14860/18575)
Updating files:  81% (15046/18575)
Updating files:  82% (15232/18575)
Updating files:  83% (15418/18575)
Updating files:  84% (15603/18575)
Updating files:  85% (15789/18575)
Updating files:  86% (15975/18575)
Updating files:  87% (16161/18575)
Updating files:  87% (16183/18575)
Updating files:  88% (16346/18575)
Updating files:  89% (16532/18575)
Updating files:  90% (16718/18575)
Updating files:  91% (16904/18575)
Updating files:  92% (17089/18575)
Updating files:  93% (17275/18575)
Updating files:  94% (17461/18575)
Updating files:  95% (17647/18575)
Updating files:  96% (17832/18575)
Updating files:  97% (18018/18575)
Updating files:  98% (18204/18575)
Updating files:  99% (18390/18575)
Updating files: 100% (18575/18575)
Updating files: 100% (18575/18575), done.
[INFO] started tweaking git repo https://github.com/Qiacoriander/circomspect-privacy
[INFO] finished tweaking git repo https://github.com/Qiacoriander/circomspect-privacy
[INFO] tweaked toml for git repo https://github.com/Qiacoriander/circomspect-privacy written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Qiacoriander/circomspect-privacy on toolchain beta-2026-01-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Qiacoriander/circomspect-privacy 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-01-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b5358dbcfda4cbfd9cdb79649f24e075f655cfca1a70c52419e2385b251d75c3
[INFO] running `Command { std: "docker" "start" "-a" "b5358dbcfda4cbfd9cdb79649f24e075f655cfca1a70c52419e2385b251d75c3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b5358dbcfda4cbfd9cdb79649f24e075f655cfca1a70c52419e2385b251d75c3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5358dbcfda4cbfd9cdb79649f24e075f655cfca1a70c52419e2385b251d75c3", kill_on_drop: false }`
[INFO] [stdout] b5358dbcfda4cbfd9cdb79649f24e075f655cfca1a70c52419e2385b251d75c3
[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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 898204e8c9a8e74e0e19f08c025b16946dbf23d1658e951264292d87b366965d
[INFO] running `Command { std: "docker" "start" "-a" "898204e8c9a8e74e0e19f08c025b16946dbf23d1658e951264292d87b366965d", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling prettyplease v0.2.20
[INFO] [stderr]    Compiling num-bigint-dig v0.8.4
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]    Compiling unicode-width v0.1.13
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling strum v0.25.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.4
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.0
[INFO] [stderr]    Compiling anstyle v1.0.7
[INFO] [stderr]    Compiling anstyle-query v1.1.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling colorchoice v1.0.1
[INFO] [stderr]    Compiling clap_lex v0.7.1
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling anstream v0.6.14
[INFO] [stderr]    Compiling codespan v0.11.1
[INFO] [stderr]    Compiling clap_builder v4.5.7
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling syn v2.0.67
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling clap_derive v4.5.5
[INFO] [stderr]    Compiling regex v1.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stderr]    Compiling pretty_env_logger v0.5.0
[INFO] [stderr]    Compiling clap v4.5.7
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling schemafy_core v0.6.0
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling serde-sarif v0.4.2
[INFO] [stderr]    Compiling circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stderr]    Compiling circomspect-parser v2.2.0 (/opt/rustwide/workdir/parser)
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |         primary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         primary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         secondary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         file_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `finish` that must be used
[INFO] [stdout]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |         state.finish();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 112 |         let _ = state.finish();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect-program-analysis v0.8.2 (/opt/rustwide/workdir/program_analysis)
[INFO] [stderr]    Compiling circomspect-program-structure-tests v0.8.0 (/opt/rustwide/workdir/program_structure_tests)
[INFO] [stdout] warning: function `constant_fold_expression` is never used
[INFO] [stdout]    --> program_analysis/src/privacy_taint.rs:958:4
[INFO] [stdout]     |
[INFO] [stdout] 958 | fn constant_fold_expression(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 04s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "898204e8c9a8e74e0e19f08c025b16946dbf23d1658e951264292d87b366965d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "898204e8c9a8e74e0e19f08c025b16946dbf23d1658e951264292d87b366965d", kill_on_drop: false }`
[INFO] [stdout] 898204e8c9a8e74e0e19f08c025b16946dbf23d1658e951264292d87b366965d
[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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5e042155f9d7e2b144bf78f01bed579d721f7b9aaa6f1d1af608e0c8bbab94c3
[INFO] running `Command { std: "docker" "start" "-a" "5e042155f9d7e2b144bf78f01bed579d721f7b9aaa6f1d1af608e0c8bbab94c3", kill_on_drop: false }`
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling bitflags v2.5.0
[INFO] [stderr]    Compiling fastrand v2.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling serde-sarif v0.4.2
[INFO] [stderr]    Compiling tempfile v3.10.1
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling proptest v1.4.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |         primary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         primary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         secondary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         file_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `finish` that must be used
[INFO] [stdout]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |         state.finish();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 112 |         let _ = state.finish();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |         primary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         primary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         secondary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         file_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect-parser v2.2.0 (/opt/rustwide/workdir/parser)
[INFO] [stdout] warning: unused return value of `finish` that must be used
[INFO] [stdout]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |         state.finish();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 112 |         let _ = state.finish();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect-program-analysis v0.8.2 (/opt/rustwide/workdir/program_analysis)
[INFO] [stderr]    Compiling circomspect-program-structure-tests v0.8.0 (/opt/rustwide/workdir/program_structure_tests)
[INFO] [stdout] warning: unused variable: `initializations`
[INFO] [stdout]    --> parser/src/parser_logic.rs:284:72
[INFO] [stdout]     |
[INFO] [stdout] 284 |                         if let Statement::InitializationBlock { xtype, initializations, .. } = stmt
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^^^^^ help: try ignoring the field: `initializations: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `constant_fold_expression` is never used
[INFO] [stdout]    --> program_analysis/src/privacy_taint.rs:958:4
[INFO] [stdout]     |
[INFO] [stdout] 958 | fn constant_fold_expression(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `test_file`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:614:13
[INFO] [stdout]     |
[INFO] [stdout] 614 |         let test_file = project_root.join("examples").join("instantiation.circom");
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_test_file`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:667:14
[INFO] [stdout]     |
[INFO] [stdout] 667 |         let (mut runner, reports) =
[INFO] [stdout]     |              ----^^^^^^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `reports`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:667:26
[INFO] [stdout]     |
[INFO] [stdout] 667 |         let (mut runner, reports) =
[INFO] [stdout]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `constant_fold_expression` is never used
[INFO] [stdout]    --> program_analysis/src/privacy_taint.rs:958:4
[INFO] [stdout]     |
[INFO] [stdout] 958 | fn constant_fold_expression(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.30s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "5e042155f9d7e2b144bf78f01bed579d721f7b9aaa6f1d1af608e0c8bbab94c3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e042155f9d7e2b144bf78f01bed579d721f7b9aaa6f1d1af608e0c8bbab94c3", kill_on_drop: false }`
[INFO] [stdout] 5e042155f9d7e2b144bf78f01bed579d721f7b9aaa6f1d1af608e0c8bbab94c3
[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=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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 4b9da8aba18c2b5125482371e0da3176762056387ab1cc66fff76ff5b091adae
[INFO] running `Command { std: "docker" "start" "-a" "4b9da8aba18c2b5125482371e0da3176762056387ab1cc66fff76ff5b091adae", kill_on_drop: false }`
[INFO] [stderr] warning: value assigned to `file_id` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stderr]    |
[INFO] [stderr] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                            ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_location` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stderr]    |
[INFO] [stderr] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_id` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stderr]    |
[INFO] [stderr] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                              ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_location` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stderr]    |
[INFO] [stderr] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `primary_file_id` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |         primary_file_id: Option<FileID>,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `primary_location` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stderr]    |
[INFO] [stderr] 19 |         primary_location: FileLocation,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `secondary_file_id` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stderr]    |
[INFO] [stderr] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `secondary_location` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stderr]    |
[INFO] [stderr] 21 |         secondary_location: FileLocation,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_id` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stderr]    |
[INFO] [stderr] 26 |         file_id: Option<FileID>,
[INFO] [stderr]    |         ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_location` is never read
[INFO] [stderr]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stderr]    |
[INFO] [stderr] 27 |         file_location: FileLocation,
[INFO] [stderr]    |         ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_id` is never read
[INFO] [stderr]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stderr]    |
[INFO] [stderr] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                            ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_location` is never read
[INFO] [stderr]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stderr]    |
[INFO] [stderr] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_id` is never read
[INFO] [stderr]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stderr]    |
[INFO] [stderr] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                              ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `file_location` is never read
[INFO] [stderr]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stderr]    |
[INFO] [stderr] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stderr]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `finish` that must be used
[INFO] [stderr]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stderr]     |
[INFO] [stderr] 112 |         state.finish();
[INFO] [stderr]     |         ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let _ = state.finish();
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-program-structure` (lib) generated 15 warnings
[INFO] [stderr] warning: unused variable: `initializations`
[INFO] [stderr]    --> parser/src/parser_logic.rs:284:72
[INFO] [stderr]     |
[INFO] [stderr] 284 |                         if let Statement::InitializationBlock { xtype, initializations, .. } = stmt
[INFO] [stderr]     |                                                                        ^^^^^^^^^^^^^^^ help: try ignoring the field: `initializations: _`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-program-structure` (lib test) generated 15 warnings (15 duplicates)
[INFO] [stderr] warning: `circomspect-parser` (lib test) generated 1 warning (run `cargo fix --lib -p circomspect-parser --tests` to apply 1 suggestion)
[INFO] [stderr] warning: function `constant_fold_expression` is never used
[INFO] [stderr]    --> program_analysis/src/privacy_taint.rs:958:4
[INFO] [stderr]     |
[INFO] [stderr] 958 | fn constant_fold_expression(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `test_file`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:614:13
[INFO] [stderr]     |
[INFO] [stderr] 614 |         let test_file = project_root.join("examples").join("instantiation.circom");
[INFO] [stderr]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_test_file`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:667:14
[INFO] [stderr]     |
[INFO] [stderr] 667 |         let (mut runner, reports) =
[INFO] [stderr]     |              ----^^^^^^
[INFO] [stderr]     |              |
[INFO] [stderr]     |              help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `reports`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:667:26
[INFO] [stderr]     |
[INFO] [stderr] 667 |         let (mut runner, reports) =
[INFO] [stderr]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-program-analysis` (lib) generated 1 warning
[INFO] [stderr] warning: `circomspect-program-analysis` (lib test) generated 4 warnings (1 duplicate) (run `cargo fix --lib -p circomspect-program-analysis --tests` to apply 3 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.33s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: num-bigint-dig v0.8.4
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/circomspect-8466dd52898a98ba)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_circom_algebra-da5066a74e96e0a2)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::comparison_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_parser-14b933884045bae4)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test tests::test_compiler_version ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_invalid_tuples ... ok
[INFO] [stdout] test parser_logic::tests::test_intermediate_signal_is_private ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_string ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_input_signals_ast ... ok
[INFO] [stdout] test parser_logic::tests::test_cfg_public_private_iterators ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_desugar_multi_sub ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_program_analysis-38348c8572edcf59)
[INFO] [stdout] test syntax_sugar_remover::tests::test_nested_tuples ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test analysis_runner::tests::test_underlying_str ... ok
[INFO] [stdout] test analysis_runner::tests::test_function ... ok
[INFO] [stdout] test analysis_runner::tests::test_template ... ok
[INFO] [stdout] test field_arithmetic::tests::test_field_arithmetic ... ok
[INFO] [stdout] circomspect: analyzing template 'Split'
[INFO] [stdout] test bitwise_complement::tests::test_bitwise_complement ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_index_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_addition_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bit_extract_partial ... ok
[INFO] [stdout] test field_comparisons::tests::test_field_comparisons ... ok
[INFO] [stdout] test privacy_taint::tests::test_component_leakage_rules ... ok
[INFO] [stdout] test definition_complexity::tests::test_small_template ... ok
[INFO] [stdout] test constraint_analysis::tests::test_single_step_constraint ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_and_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_array_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_assignment_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_downgraded_tainted_combination ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_or_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_less_than_partial_leak ... ok
[INFO] [stdout] test privacy_taint::tests::test_logic_component_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_or_tainted ... ok
[INFO] [stdout] test nonstrict_binary_conversion::tests::test_nonstrict_num2bits ... ok
[INFO] [stdout] test privacy_taint::tests::test_mux_tainted ... ok
[INFO] [stdout] warning: Output signal `small` is tainted by private inputs (taint level: Tainted), which may leak privacy.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:22:5
[INFO] [stdout]    │
[INFO] [stdout] 22 │     signal output small;
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^ The output signal `small` is declared here with taint level: Tainted.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using cryptographic primitives like hashing or commitments to protect private information.
[INFO] [stdout]      To ignore this type of result, use `--allow CS0019`.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-output.
[INFO] [stdout] 
[INFO] [stdout] warning: Output signal `big` is tainted by private inputs (taint level: Tainted), which may leak privacy.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:23:5
[INFO] [stdout]    │
[INFO] [stdout] 23 │     signal output big;
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^ The output signal `big` is declared here with taint level: Tainted.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using cryptographic primitives like hashing or commitments to protect private information.
[INFO] [stdout]      To ignore this type of result, use `--allow CS0019`.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-output.
[INFO] [stdout] 
[INFO] [stdout] warning: Constraint contains tainted variables, which may leak private information through the constraint system.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:33:5
[INFO] [stdout]    │
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ This constraint involves tainted variables: in, small, big
[INFO] [stdout]    │
[INFO] [stdout]    = Consider whether this constraint really needs to expose private information, or redesign the circuit logic.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-constraint.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:5
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^ The assigned signal `big` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 31 │     n2b_big.in <== big;
[INFO] [stdout]    │     ------------------ The signal `big` is constrained here.
[INFO] [stdout] 32 │ 
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `big` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:5
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `small` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 29 │     n2b_small.in <== small;
[INFO] [stdout]    │     ---------------------- The signal `small` is constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `small` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:21
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │                     ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:19
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │                   ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:33:12
[INFO] [stdout]    │
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │            ^^^^^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Comparisons with field elements greater than `p/2` may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:20:12
[INFO] [stdout]    │
[INFO] [stdout] 20 │     assert(n <= 126);
[INFO] [stdout]    │            ^^^^^^^^ Field element comparison here.
[INFO] [stdout]    │
[INFO] [stdout]    = Field elements are always normalized to the interval `(-p/2, p/2]` before they are compared.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-comparison.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:28:27
[INFO] [stdout]    │
[INFO] [stdout] 28 │     component n2b_small = Num2Bits(n);
[INFO] [stdout]    │                           ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:30:25
[INFO] [stdout]    │
[INFO] [stdout] 30 │     component n2b_big = Num2Bits(m);
[INFO] [stdout]    │                         ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] circomspect: analyzing template 'Num2Bits'
[INFO] [stdout] test privacy_taint::tests::test_multiple_bit_extract_partial ... ok
[INFO] [stdout] test constant_conditional::tests::test_constant_conditional ... ok
[INFO] [stdout] test privacy_taint::tests::test_division_tainted ... ok
[INFO] [stdout] test bn254_specific_circuit::tests::test_num2bits_strict ... ok
[INFO] [stdout] test privacy_taint::tests::test_clean_signal ... ok
[INFO] [stdout] test privacy_taint::tests::test_num2bits_component_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_poseidon_downgraded ... ok
[INFO] [stdout] test privacy_taint::tests::test_multiplication_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_xor_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_not_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_equal_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_and_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_nested_subcircuits_recursive ... ok
[INFO] [stdout] test privacy_taint::tests::test_shift_right_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_custom_component_leakage_backpropagation ... ok
[INFO] [stdout] test privacy_taint::tests::test_shift_left_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_power_tainted ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_accesses ... ok
[INFO] [stdout] warning: Output signal `out` is tainted by private inputs (taint level: PartialLeak), which may leak privacy.
[INFO] [stdout] Please check the associated `QuantifiedLeakage` (CS0021) warnings to identify the specific source of leakage.
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:5:5
[INFO] [stdout]   │
[INFO] [stdout] 5 │     signal output out[n];
[INFO] [stdout]   │     ^^^^^^^^^^^^^^^^^^^^ The output signal `out` is declared here with taint level: PartialLeak.
[INFO] [stdout]   │
[INFO] [stdout]   = Consider using cryptographic primitives like hashing or commitments to protect private information.
[INFO] [stdout]     To ignore this type of result, use `--allow CS0019`.
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-output.
[INFO] [stdout] 
[INFO] [stdout] warning: Constraint contains tainted variables, which may leak private information through the constraint system.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:16:5
[INFO] [stdout]    │
[INFO] [stdout] 16 │     lc1 === in;
[INFO] [stdout]    │     ^^^^^^^^^^^ This constraint involves tainted variables: lc1, in
[INFO] [stdout]    │
[INFO] [stdout]    = Consider whether this constraint really needs to expose private information, or redesign the circuit logic.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-constraint.
[INFO] [stdout] 
[INFO] [stdout] warning: Private signal `in` has quantified information leakage (Severity: Critical, L(x)=254 bits, H(x)=254 bits, T(x)=8 bits)
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:4:5
[INFO] [stdout]   │
[INFO] [stdout] 4 │     signal input in;
[INFO] [stdout]   │     ^^^^^^^^^^^^^^^ Signal `in` declared here: leaked 254 bits out of 254 bits entropy (threshold: 8 bits)
[INFO] [stdout]   │
[INFO] [stdout]   = This signal leaks 254 bits through operations like comparisons, bit extraction, or shifts. The threshold for concern is 8 bits (12.5% of entropy). Consider using cryptographic primitives to reduce information leakage.
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#quantified-leakage.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:10:9
[INFO] [stdout]    │
[INFO] [stdout] 10 │         out[i] <-- (in >> i) & 1;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `out[i]` is not constrained here.
[INFO] [stdout] 11 │         out[i] * (out[i] -1 ) === 0;
[INFO] [stdout]    │         ---------------------------- The signal `out[i]` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:10:21
[INFO] [stdout]    │
[INFO] [stdout] 10 │         out[i] <-- (in >> i) & 1;
[INFO] [stdout]    │                     ^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:11:9
[INFO] [stdout]    │
[INFO] [stdout] 11 │         out[i] * (out[i] -1 ) === 0;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:12:9
[INFO] [stdout]    │
[INFO] [stdout] 12 │         lc1 += out[i] * e2;
[INFO] [stdout]    │         ^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:13:14
[INFO] [stdout]    │
[INFO] [stdout] 13 │         e2 = e2+e2;
[INFO] [stdout]    │              ^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:9:26
[INFO] [stdout]   │
[INFO] [stdout] 9 │     for (var i = 0; i<n; i++) {
[INFO] [stdout]   │                          ^^^ Field element arithmetic here.
[INFO] [stdout]   │
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Comparisons with field elements greater than `p/2` may produce unexpected results.
[INFO] [stdout]   ┌─ /opt/rustwide/workdir/examples/instantiation.circom:9:21
[INFO] [stdout]   │
[INFO] [stdout] 9 │     for (var i = 0; i<n; i++) {
[INFO] [stdout]   │                     ^^^ Field element comparison here.
[INFO] [stdout]   │
[INFO] [stdout]   = Field elements are always normalized to the interval `(-p/2, p/2]` before they are compared.
[INFO] [stdout]   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-comparison.
[INFO] [stdout] 
[INFO] [stdout] test analysis_runner::tests::test_with_files ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_equal ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_multiple_outputs_mixed_taint ... ok
[INFO] [stdout] test privacy_taint::tests::test_subtraction_tainted ... ok
[INFO] [stdout] test analysis_runner::tests::test_cfg_reference_linking ... FAILED
[INFO] [stdout] test analysis_runner::tests::test_with_directory ... FAILED
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_pass_through_taint ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_bit_extract_partial ... ok
[INFO] [stdout] test taint_analysis::tests::test_taint_analysis ... ok
[INFO] [stdout] test under_constrained_signals::tests::test_under_constrained_signals ... ok
[INFO] [stdout] test signal_assignments::tests::test_signal_assignments ... ok
[INFO] [stdout] test unconstrained_less_than::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test unused_output_signal::tests::test_unused_output_signal ... ok
[INFO] [stdout] test unconstrained_division::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test side_effect_analysis::tests::test_side_effect_analysis ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- analysis_runner::tests::test_cfg_reference_linking stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'analysis_runner::tests::test_cfg_reference_linking' (41) panicked at program_analysis/src/analysis_runner.rs:766:9:
[INFO] [stdout] Test directory should exist: "/opt/rustwide/workdir/examples2"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6273453028b2 - std::backtrace_rs::backtrace::libunwind::trace::hf0bd46b30bc61685
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6273453028b2 - std::backtrace_rs::backtrace::trace_unsynchronized::h1d1fbb72ad89d7b7
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6273453028b2 - std::sys::backtrace::_print_fmt::he38b6f68ca847f47
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6273453028b2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hb7e843cde1bc81a3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x627345313a0a - core::fmt::rt::Argument::fmt::hc1dd77ac64f2688c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x627345313a0a - core::fmt::write::h952c506e2dbe9cff
[INFO] [stdout]    6:     0x6273452cf8d6 - std::io::default_write_fmt::hd23bd8145c03a23a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x6273452cf8d6 - std::io::Write::write_fmt::hdd3314a2bd8a34bd
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x6273452e0e79 - std::sys::backtrace::BacktraceLock::print::h1079b82381c2c252
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6273452e0e79 - std::panicking::default_hook::{{closure}}::h85cb76b8462c00f2
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6273452e0d11 - std::panicking::default_hook::h0134d220cc034c02
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x627344fe2dae - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb2e68dca3970e3ca
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x627344fe2dae - test::test_main_with_exit_callback::{{closure}}::ha7ec2063a2565ec3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x6273452e10f2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::haebee478d0f56cf4
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x6273452e10f2 - std::panicking::panic_with_hook::h8119b6db1fef734f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6273452e0f38 - std::panicking::panic_handler::{{closure}}::h24f5360b91482c0e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6273452db7c9 - std::sys::backtrace::__rust_end_short_backtrace::h4e60c5cbd1bd0108
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6273452c3cbd - __rustc[e4c6931bd8050421]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x62734531b92c - core::panicking::panic_fmt::hb1614a3ff6840071
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x627344fa1cf4 - circomspect_program_analysis::analysis_runner::tests::test_cfg_reference_linking::ha492230f32c959b3
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:766:9
[INFO] [stdout]   20:     0x627344fa2a37 - circomspect_program_analysis::analysis_runner::tests::test_cfg_reference_linking::{{closure}}::ha4c723be7c671a4b
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:692:36
[INFO] [stdout]   21:     0x627344fa8f26 - core::ops::function::FnOnce::call_once::hae5ec60bcbf4fca1
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x627344fe2bab - core::ops::function::FnOnce::call_once::hefaf63600cd43d2a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x627344fe2bab - test::__rust_begin_short_backtrace::he30322a73a0e9ea6
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x627344ff657a - test::run_test_in_process::{{closure}}::hdea3ab8d0243ef36
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x627344ff657a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h66d192f42498ffce
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x627344ff657a - std::panicking::catch_unwind::do_call::h822e18e8d3a6bb65
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x627344ff657a - std::panicking::catch_unwind::h54b1de7ceab578bf
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x627344ff657a - std::panic::catch_unwind::h60c29b7a9d0246b1
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x627344ff657a - test::run_test_in_process::h6099b5f871379b13
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x627344ff657a - test::run_test::{{closure}}::h926ce0a38281a4c8
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x627344fd09d4 - test::run_test::{{closure}}::h508de21a9afc7140
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x627344fd09d4 - std::sys::backtrace::__rust_begin_short_backtrace::h6e2f5c39ca00735a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x627344fd4292 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h133e44f0e5802c14
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x627344fd4292 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4718c1285283955c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x627344fd4292 - std::panicking::catch_unwind::do_call::h0bba3937b4892238
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x627344fd4292 - std::panicking::catch_unwind::h5b31cab5fb8c5d7f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x627344fd4292 - std::panic::catch_unwind::hb2fa05d52ed0124e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x627344fd4292 - std::thread::lifecycle::spawn_unchecked::{{closure}}::hf401cf5ff501bd29
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x627344fd4292 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h160022e94ce3b0bb
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x6273452d69cf - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf234e0d1d1d272ba
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x6273452d69cf - std::sys::thread::unix::Thread::new::thread_start::h106a295241840d3b
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   42:     0x700f76ca2aa4 - <unknown>
[INFO] [stdout]   43:     0x700f76d2fa64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- analysis_runner::tests::test_with_directory stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'analysis_runner::tests::test_with_directory' (45) panicked at program_analysis/src/analysis_runner.rs:649:9:
[INFO] [stdout] Test directory should exist: "/opt/rustwide/workdir/examples2"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6273453028b2 - std::backtrace_rs::backtrace::libunwind::trace::hf0bd46b30bc61685
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6273453028b2 - std::backtrace_rs::backtrace::trace_unsynchronized::h1d1fbb72ad89d7b7
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6273453028b2 - std::sys::backtrace::_print_fmt::he38b6f68ca847f47
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6273453028b2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hb7e843cde1bc81a3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x627345313a0a - core::fmt::rt::Argument::fmt::hc1dd77ac64f2688c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x627345313a0a - core::fmt::write::h952c506e2dbe9cff
[INFO] [stdout]    6:     0x6273452cf8d6 - std::io::default_write_fmt::hd23bd8145c03a23a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x6273452cf8d6 - std::io::Write::write_fmt::hdd3314a2bd8a34bd
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x6273452e0e79 - std::sys::backtrace::BacktraceLock::print::h1079b82381c2c252
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x6273452e0e79 - std::panicking::default_hook::{{closure}}::h85cb76b8462c00f2
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x6273452e0d11 - std::panicking::default_hook::h0134d220cc034c02
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x627344fe2dae - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb2e68dca3970e3ca
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x627344fe2dae - test::test_main_with_exit_callback::{{closure}}::ha7ec2063a2565ec3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x6273452e10f2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::haebee478d0f56cf4
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x6273452e10f2 - std::panicking::panic_with_hook::h8119b6db1fef734f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x6273452e0f38 - std::panicking::panic_handler::{{closure}}::h24f5360b91482c0e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x6273452db7c9 - std::sys::backtrace::__rust_end_short_backtrace::h4e60c5cbd1bd0108
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x6273452c3cbd - __rustc[e4c6931bd8050421]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x62734531b92c - core::panicking::panic_fmt::hb1614a3ff6840071
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x627344fa12d2 - circomspect_program_analysis::analysis_runner::tests::test_with_directory::h0d151d05bbbd27bd
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:649:9
[INFO] [stdout]   20:     0x627344fa1af7 - circomspect_program_analysis::analysis_runner::tests::test_with_directory::{{closure}}::he5f71c095f3e5024
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:640:29
[INFO] [stdout]   21:     0x627344fa9986 - core::ops::function::FnOnce::call_once::hdd125137b9684fa5
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x627344fe2bab - core::ops::function::FnOnce::call_once::hefaf63600cd43d2a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x627344fe2bab - test::__rust_begin_short_backtrace::he30322a73a0e9ea6
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x627344ff657a - test::run_test_in_process::{{closure}}::hdea3ab8d0243ef36
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x627344ff657a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h66d192f42498ffce
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x627344ff657a - std::panicking::catch_unwind::do_call::h822e18e8d3a6bb65
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x627344ff657a - std::panicking::catch_unwind::h54b1de7ceab578bf
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x627344ff657a - std::panic::catch_unwind::h60c29b7a9d0246b1
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x627344ff657a - test::run_test_in_process::h6099b5f871379b13
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x627344ff657a - test::run_test::{{closure}}::h926ce0a38281a4c8
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x627344fd09d4 - test::run_test::{{closure}}::h508de21a9afc7140
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x627344fd09d4 - std::sys::backtrace::__rust_begin_short_backtrace::h6e2f5c39ca00735a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x627344fd4292 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h133e44f0e5802c14
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x627344fd4292 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4718c1285283955c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x627344fd4292 - std::panicking::catch_unwind::do_call::h0bba3937b4892238
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x627344fd4292 - std::panicking::catch_unwind::h5b31cab5fb8c5d7f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x627344fd4292 - std::panic::catch_unwind::hb2fa05d52ed0124e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x627344fd4292 - std::thread::lifecycle::spawn_unchecked::{{closure}}::hf401cf5ff501bd29
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x627344fd4292 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h160022e94ce3b0bb
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x6273452d69cf - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf234e0d1d1d272ba
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x6273452d69cf - std::sys::thread::unix::Thread::new::thread_start::h106a295241840d3b
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   42:     0x700f76ca2aa4 - <unknown>
[INFO] [stdout]   43:     0x700f76d2fa64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     analysis_runner::tests::test_cfg_reference_linking
[INFO] [stdout]     analysis_runner::tests::test_with_directory
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 53 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.42s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p circomspect-program-analysis --lib`
[INFO] running `Command { std: "docker" "inspect" "4b9da8aba18c2b5125482371e0da3176762056387ab1cc66fff76ff5b091adae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b9da8aba18c2b5125482371e0da3176762056387ab1cc66fff76ff5b091adae", kill_on_drop: false }`
[INFO] [stdout] 4b9da8aba18c2b5125482371e0da3176762056387ab1cc66fff76ff5b091adae
