[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 master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/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:  48% (8916/18575)
Updating files:  49% (9102/18575)
Updating files:  49% (9203/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:  59% (10960/18575)
Updating files:  60% (11145/18575)
Updating files:  60% (11270/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:  76% (14117/18575)
Updating files:  77% (14303/18575)
Updating files:  78% (14489/18575)
Updating files:  79% (14675/18575)
Updating files:  79% (14703/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:  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:  94% (17601/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-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Qiacoriander/circomspect-privacy on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded schemafy_core v0.6.0
[INFO] [stderr]   Downloaded darling_macro v0.14.4
[INFO] [stderr]   Downloaded pretty_env_logger v0.5.0
[INFO] [stderr]   Downloaded clap v4.5.7
[INFO] [stderr]   Downloaded serde-sarif v0.4.2
[INFO] [stderr]   Downloaded codespan v0.11.1
[INFO] [stderr]   Downloaded darling v0.14.4
[INFO] [stderr]   Downloaded derive_builder_core v0.12.0
[INFO] [stderr]   Downloaded is-terminal v0.4.12
[INFO] [stderr]   Downloaded derive_builder_macro v0.12.0
[INFO] [stderr]   Downloaded clap_derive v4.5.5
[INFO] [stderr]   Downloaded clap_builder v4.5.7
[INFO] [stderr]   Downloaded derive_builder v0.12.0
[INFO] [stderr]   Downloaded schemafy_lib v0.6.0
[INFO] [stderr]   Downloaded syn v2.0.67
[INFO] [stderr]   Downloaded clap_lex v0.7.1
[INFO] [stderr]   Downloaded proptest v1.4.0
[INFO] [stderr]   Downloaded darling_core v0.14.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c722de3dfccb45e976061da363e2c1b05de180cc83bc2ef92f839723ae839000
[INFO] running `Command { std: "docker" "start" "-a" "c722de3dfccb45e976061da363e2c1b05de180cc83bc2ef92f839723ae839000", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c722de3dfccb45e976061da363e2c1b05de180cc83bc2ef92f839723ae839000", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c722de3dfccb45e976061da363e2c1b05de180cc83bc2ef92f839723ae839000", kill_on_drop: false }`
[INFO] [stdout] c722de3dfccb45e976061da363e2c1b05de180cc83bc2ef92f839723ae839000
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 67d12fac27facad2fdd0f531a55d6101e2b25eb4886f9f2aa82233639c15264f
[INFO] running `Command { std: "docker" "start" "-a" "67d12fac27facad2fdd0f531a55d6101e2b25eb4886f9f2aa82233639c15264f", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling syn v2.0.67
[INFO] [stderr]    Compiling prettyplease v0.2.20
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling num-bigint-dig v0.8.4
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]    Compiling unicode-width v0.1.13
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling strum v0.25.0
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.4
[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 colorchoice v1.0.1
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling clap_lex v0.7.1
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[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 num-iter v0.1.45
[INFO] [stderr]    Compiling petgraph v0.6.5
[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 parking_lot v0.12.3
[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 regex-automata v0.4.7
[INFO] [stderr]    Compiling rand v0.8.5
[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 darling_core v0.14.4
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling clap v4.5.7
[INFO] [stderr]    Compiling regex v1.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling darling_macro 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 darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling pretty_env_logger v0.5.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling schemafy_core v0.6.0
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[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 03s
[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 1`
[INFO] running `Command { std: "docker" "inspect" "67d12fac27facad2fdd0f531a55d6101e2b25eb4886f9f2aa82233639c15264f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "67d12fac27facad2fdd0f531a55d6101e2b25eb4886f9f2aa82233639c15264f", kill_on_drop: false }`
[INFO] [stdout] 67d12fac27facad2fdd0f531a55d6101e2b25eb4886f9f2aa82233639c15264f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ac99cd929b116e6000c493b8662b7dc4ea4a020ee88e33073319512edfcdc98c
[INFO] running `Command { std: "docker" "start" "-a" "ac99cd929b116e6000c493b8662b7dc4ea4a020ee88e33073319512edfcdc98c", 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 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 serde-sarif v0.4.2
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[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: 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: `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] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 27.69s
[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 1`
[INFO] running `Command { std: "docker" "inspect" "ac99cd929b116e6000c493b8662b7dc4ea4a020ee88e33073319512edfcdc98c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac99cd929b116e6000c493b8662b7dc4ea4a020ee88e33073319512edfcdc98c", kill_on_drop: false }`
[INFO] [stdout] ac99cd929b116e6000c493b8662b7dc4ea4a020ee88e33073319512edfcdc98c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] edfec28463ec9820a107e716b837bd658adddca68fdb448543945359484bec31
[INFO] running `Command { std: "docker" "start" "-a" "edfec28463ec9820a107e716b837bd658adddca68fdb448543945359484bec31", 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-parser` (lib test) generated 1 warning (run `cargo fix --lib -p circomspect-parser --tests` to apply 1 suggestion)
[INFO] [stderr] warning: `circomspect-program-structure` (lib test) generated 15 warnings (15 duplicates)
[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.28s
[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 1`
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/circomspect-f07dedfb8be5f7e6)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_circom_algebra-4aaf61ded90632fc)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_parser-ad8d6ed741cca36b)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test modular_arithmetic::tests::mod_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::comparison_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test tests::test_compiler_version ... ok
[INFO] [stdout] test parser_logic::tests::test_cfg_public_private_iterators ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_input_signals_ast ... ok
[INFO] [stdout] test parser_logic::tests::test_intermediate_signal_is_private ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_invalid_tuples ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_nested_tuples ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_string ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_desugar_multi_sub ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 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_program_analysis-c5cb2e68a7a8a6c2)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test analysis_runner::tests::test_template ... ok
[INFO] [stdout] test definition_complexity::tests::test_small_template ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_array_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_addition_tainted ... ok
[INFO] [stdout] test nonstrict_binary_conversion::tests::test_nonstrict_num2bits ... ok
[INFO] [stdout] test analysis_runner::tests::test_underlying_str ... ok
[INFO] [stdout] test field_comparisons::tests::test_field_comparisons ... ok
[INFO] [stdout] test privacy_taint::tests::test_assignment_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_component_leakage_rules ... ok
[INFO] [stdout] circomspect: analyzing template 'Split'
[INFO] [stdout] test privacy_taint::tests::test_bit_extract_partial ... ok
[INFO] [stdout] test constant_conditional::tests::test_constant_conditional ... ok
[INFO] [stdout] test analysis_runner::tests::test_function ... ok
[INFO] [stdout] test bitwise_complement::tests::test_bitwise_complement ... ok
[INFO] [stdout] test field_arithmetic::tests::test_field_arithmetic ... ok
[INFO] [stdout] test constraint_analysis::tests::test_single_step_constraint ... ok
[INFO] [stdout] test privacy_taint::tests::test_division_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_downgraded_tainted_combination ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_index_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_and_partial ... 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: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] 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] 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_bitwise_xor_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_or_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_multiplication_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_less_than_partial_leak ... ok
[INFO] [stdout] test privacy_taint::tests::test_multiple_bit_extract_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_custom_component_leakage_backpropagation ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_or_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_num2bits_component_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_shift_left_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_and_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_equal_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_shift_right_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_clean_signal ... ok
[INFO] [stdout] test privacy_taint::tests::test_logic_component_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_bit_extract_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_poseidon_downgraded ... ok
[INFO] [stdout] test privacy_taint::tests::test_mux_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_subtraction_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_multiple_outputs_mixed_taint ... ok
[INFO] [stdout] test privacy_taint::tests::test_power_tainted ... ok
[INFO] [stdout] test bn254_specific_circuit::tests::test_num2bits_strict ... 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 privacy_taint::tests::test_logical_not_tainted ... ok
[INFO] [stdout] test unconstrained_less_than::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_pass_through_taint ... ok
[INFO] [stdout] test privacy_taint::tests::test_nested_subcircuits_recursive ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_accesses ... ok
[INFO] [stdout] test taint_analysis::tests::test_taint_analysis ... ok
[INFO] [stdout] test unused_output_signal::tests::test_maybe_equal ... 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 unconstrained_division::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test signal_assignments::tests::test_signal_assignments ... ok
[INFO] [stdout] test under_constrained_signals::tests::test_under_constrained_signals ... ok
[INFO] [stdout] test unused_output_signal::tests::test_unused_output_signal ... 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:     0x635c005d1f42 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x635c005d1f42 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::trace_unsynchronized::<std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x635c005d1f42 - std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x635c005d1f42 - <<std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[c5ed12ab89cc536a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x635c005e864a - <core[c5ed12ab89cc536a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x635c005e864a - core[c5ed12ab89cc536a]::fmt::write
[INFO] [stdout]    6:     0x635c005d78c6 - std[716c9a7a72e5c14e]::io::default_write_fmt::<alloc[9c68fdf4f4f29218]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x635c005d78c6 - <alloc[9c68fdf4f4f29218]::vec::Vec<u8> as std[716c9a7a72e5c14e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x635c005af4af - <std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x635c005af4af - std[716c9a7a72e5c14e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x635c005c9bf9 - std[716c9a7a72e5c14e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x635c002a306e - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x635c002a306e - test[64760d2bdea328cc]::test_main_with_exit_callback::<test[64760d2bdea328cc]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x635c005c9db2 - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x635c005c9db2 - std[716c9a7a72e5c14e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x635c005af568 - std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x635c005a6819 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_end_short_backtrace::<std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x635c005b04ad - __rustc[4f0b026143eab78e]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x635c005e8e3c - core[c5ed12ab89cc536a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x635c00286bb4 - circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_cfg_reference_linking
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:766:9
[INFO] [stdout]   20:     0x635c00282fe7 - circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_cfg_reference_linking::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:692:36
[INFO] [stdout]   21:     0x635c0028da16 - <circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_cfg_reference_linking::{closure#0} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x635c0029741b - <fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x635c0029741b - test[64760d2bdea328cc]::__rust_begin_short_backtrace::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x635c002a3c7a - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panicking::catch_unwind::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test_in_process
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x635c0029e144 - test[64760d2bdea328cc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x635c0029e144 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_begin_short_backtrace::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x635c002a6772 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x635c002a6772 - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x635c002a6772 - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x635c002a6772 - std[716c9a7a72e5c14e]::panicking::catch_unwind::<(), core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x635c002a6772 - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x635c002a6772 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x635c002a6772 - <std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x635c005d144f - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn core[c5ed12ab89cc536a]::ops::function::FnOnce<(), Output = ()> + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x635c005d144f - <std[716c9a7a72e5c14e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x71f139ce7aa4 - <unknown>
[INFO] [stdout]   43:     0x71f139d74a64 - 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:     0x635c005d1f42 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x635c005d1f42 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::trace_unsynchronized::<std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x635c005d1f42 - std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x635c005d1f42 - <<std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[c5ed12ab89cc536a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x635c005e864a - <core[c5ed12ab89cc536a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x635c005e864a - core[c5ed12ab89cc536a]::fmt::write
[INFO] [stdout]    6:     0x635c005d78c6 - std[716c9a7a72e5c14e]::io::default_write_fmt::<alloc[9c68fdf4f4f29218]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x635c005d78c6 - <alloc[9c68fdf4f4f29218]::vec::Vec<u8> as std[716c9a7a72e5c14e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x635c005af4af - <std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x635c005af4af - std[716c9a7a72e5c14e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x635c005c9bf9 - std[716c9a7a72e5c14e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x635c002a306e - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x635c002a306e - test[64760d2bdea328cc]::test_main_with_exit_callback::<test[64760d2bdea328cc]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x635c005c9db2 - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x635c005c9db2 - std[716c9a7a72e5c14e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x635c005af568 - std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x635c005a6819 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_end_short_backtrace::<std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x635c005b04ad - __rustc[4f0b026143eab78e]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x635c005e8e3c - core[c5ed12ab89cc536a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x635c00286512 - circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_with_directory
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:649:9
[INFO] [stdout]   20:     0x635c00282fb7 - circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_with_directory::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:640:29
[INFO] [stdout]   21:     0x635c0028d9d6 - <circomspect_program_analysis[60a90ed7206983bf]::analysis_runner::tests::test_with_directory::{closure#0} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x635c0029741b - <fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x635c0029741b - test[64760d2bdea328cc]::__rust_begin_short_backtrace::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x635c002a3c7a - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panicking::catch_unwind::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x635c002a3c7a - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test_in_process
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x635c002a3c7a - test[64760d2bdea328cc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x635c0029e144 - test[64760d2bdea328cc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x635c0029e144 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_begin_short_backtrace::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x635c002a6772 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x635c002a6772 - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x635c002a6772 - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x635c002a6772 - std[716c9a7a72e5c14e]::panicking::catch_unwind::<(), core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x635c002a6772 - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x635c002a6772 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x635c002a6772 - <std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x635c005d144f - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn core[c5ed12ab89cc536a]::ops::function::FnOnce<(), Output = ()> + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x635c005d144f - <std[716c9a7a72e5c14e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x71f139ce7aa4 - <unknown>
[INFO] [stdout]   43:     0x71f139d74a64 - 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.22s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p circomspect-program-analysis --lib`
[INFO] running `Command { std: "docker" "inspect" "edfec28463ec9820a107e716b837bd658adddca68fdb448543945359484bec31", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "edfec28463ec9820a107e716b837bd658adddca68fdb448543945359484bec31", kill_on_drop: false }`
[INFO] [stdout] edfec28463ec9820a107e716b837bd658adddca68fdb448543945359484bec31
