[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] c16e4beced84ee6c1905f825e973b703b38939e6
[INFO] testing Qiacoriander/circomspect-privacy against try#db823df02fd0c2cf67b43025ac3fef3f2d743245 for pr-150681
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FQiacoriander%2Fcircomspect-privacy" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  25% (4867/18824)
Updating files:  26% (4895/18824)
Updating files:  27% (5083/18824)
Updating files:  28% (5271/18824)
Updating files:  29% (5459/18824)
Updating files:  30% (5648/18824)
Updating files:  31% (5836/18824)
Updating files:  32% (6024/18824)
Updating files:  33% (6212/18824)
Updating files:  34% (6401/18824)
Updating files:  35% (6589/18824)
Updating files:  36% (6777/18824)
Updating files:  37% (6965/18824)
Updating files:  38% (7154/18824)
Updating files:  39% (7342/18824)
Updating files:  40% (7530/18824)
Updating files:  41% (7718/18824)
Updating files:  42% (7907/18824)
Updating files:  43% (8095/18824)
Updating files:  44% (8283/18824)
Updating files:  45% (8471/18824)
Updating files:  45% (8647/18824)
Updating files:  46% (8660/18824)
Updating files:  47% (8848/18824)
Updating files:  48% (9036/18824)
Updating files:  49% (9224/18824)
Updating files:  50% (9412/18824)
Updating files:  51% (9601/18824)
Updating files:  52% (9789/18824)
Updating files:  53% (9977/18824)
Updating files:  54% (10165/18824)
Updating files:  55% (10354/18824)
Updating files:  56% (10542/18824)
Updating files:  57% (10730/18824)
Updating files:  58% (10918/18824)
Updating files:  59% (11107/18824)
Updating files:  59% (11143/18824)
Updating files:  60% (11295/18824)
Updating files:  61% (11483/18824)
Updating files:  62% (11671/18824)
Updating files:  63% (11860/18824)
Updating files:  64% (12048/18824)
Updating files:  65% (12236/18824)
Updating files:  66% (12424/18824)
Updating files:  67% (12613/18824)
Updating files:  67% (12659/18824)
Updating files:  68% (12801/18824)
Updating files:  69% (12989/18824)
Updating files:  70% (13177/18824)
Updating files:  71% (13366/18824)
Updating files:  72% (13554/18824)
Updating files:  73% (13742/18824)
Updating files:  74% (13930/18824)
Updating files:  75% (14118/18824)
Updating files:  76% (14307/18824)
Updating files:  77% (14495/18824)
Updating files:  78% (14683/18824)
Updating files:  79% (14871/18824)
Updating files:  80% (15060/18824)
Updating files:  81% (15248/18824)
Updating files:  82% (15436/18824)
Updating files:  83% (15624/18824)
Updating files:  84% (15813/18824)
Updating files:  84% (15962/18824)
Updating files:  85% (16001/18824)
Updating files:  86% (16189/18824)
Updating files:  87% (16377/18824)
Updating files:  88% (16566/18824)
Updating files:  89% (16754/18824)
Updating files:  90% (16942/18824)
Updating files:  91% (17130/18824)
Updating files:  92% (17319/18824)
Updating files:  93% (17507/18824)
Updating files:  94% (17695/18824)
Updating files:  95% (17883/18824)
Updating files:  96% (18072/18824)
Updating files:  97% (18260/18824)
Updating files:  98% (18448/18824)
Updating files:  98% (18487/18824)
Updating files:  99% (18636/18824)
Updating files: 100% (18824/18824)
Updating files: 100% (18824/18824), 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-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Qiacoriander/circomspect-privacy on toolchain db823df02fd0c2cf67b43025ac3fef3f2d743245
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "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" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9e1f983c39277b0e27d4e6f880e7b4efc40e31a3aa1fac2aed1739ac4aa8e3cf
[INFO] running `Command { std: "docker" "start" "-a" "9e1f983c39277b0e27d4e6f880e7b4efc40e31a3aa1fac2aed1739ac4aa8e3cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9e1f983c39277b0e27d4e6f880e7b4efc40e31a3aa1fac2aed1739ac4aa8e3cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9e1f983c39277b0e27d4e6f880e7b4efc40e31a3aa1fac2aed1739ac4aa8e3cf", kill_on_drop: false }`
[INFO] [stdout] 9e1f983c39277b0e27d4e6f880e7b4efc40e31a3aa1fac2aed1739ac4aa8e3cf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9934ae3f561fdde279fddf77d8e5eedfa9cc1d544a3dbb18f6608b249fd94fc9
[INFO] running `Command { std: "docker" "start" "-a" "9934ae3f561fdde279fddf77d8e5eedfa9cc1d544a3dbb18f6608b249fd94fc9", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling spin v0.9.8
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]    Compiling prettyplease v0.2.20
[INFO] [stderr]    Compiling num-bigint-dig v0.8.4
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.67
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling unicode-width v0.1.13
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling codespan-reporting v0.11.1
[INFO] [stderr]    Compiling strum v0.25.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.4
[INFO] [stderr]    Compiling anstyle-query v1.1.0
[INFO] [stderr]    Compiling colorchoice v1.0.1
[INFO] [stderr]    Compiling anstyle v1.0.7
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling clap_lex v0.7.1
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling strsim v0.11.1
[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 getrandom v0.2.15
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling is-terminal v0.4.12
[INFO] [stderr]    Compiling clap_builder v4.5.7
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling clap_derive v4.5.5
[INFO] [stderr]    Compiling regex v1.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling env_logger v0.10.2
[INFO] [stderr]    Compiling pretty_env_logger v0.5.0
[INFO] [stderr]    Compiling clap v4.5.7
[INFO] [stderr]    Compiling strum_macros v0.24.3
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling 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-parser v2.2.0 (/opt/rustwide/workdir/parser)
[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] [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] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 10s
[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" "9934ae3f561fdde279fddf77d8e5eedfa9cc1d544a3dbb18f6608b249fd94fc9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9934ae3f561fdde279fddf77d8e5eedfa9cc1d544a3dbb18f6608b249fd94fc9", kill_on_drop: false }`
[INFO] [stdout] 9934ae3f561fdde279fddf77d8e5eedfa9cc1d544a3dbb18f6608b249fd94fc9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7a162a5fe01af0d8bf9f0acda3c6d743bc39223b8768f7bef363b789452d2391
[INFO] running `Command { std: "docker" "start" "-a" "7a162a5fe01af0d8bf9f0acda3c6d743bc39223b8768f7bef363b789452d2391", kill_on_drop: false }`
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling bitflags v2.5.0
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling fastrand v2.1.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling circomspect-circom-algebra v2.0.2 (/opt/rustwide/workdir/circom_algebra)
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]    Compiling uriparse v0.6.4
[INFO] [stderr]    Compiling schemafy_lib v0.6.0
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling serde-sarif v0.4.2
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]    Compiling derive_builder v0.12.0
[INFO] [stderr]    Compiling tempfile v3.10.1
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.4.0
[INFO] [stderr]    Compiling circomspect-program-structure v2.1.4 (/opt/rustwide/workdir/program_structure)
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |         primary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         primary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         secondary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         file_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `finish` that must be used
[INFO] [stdout]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |         state.finish();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 112 |         let _ = state.finish();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:12:69
[INFO] [stdout]    |
[INFO] [stdout] 12 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:46
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:14:71
[INFO] [stdout]    |
[INFO] [stdout] 14 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |         primary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `primary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         primary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         secondary_file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `secondary_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         secondary_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         file_id: Option<FileID>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/control_flow_graph/errors.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         file_location: FileLocation,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:44
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:11:69
[INFO] [stdout]    |
[INFO] [stdout] 11 |     UndefinedVariableError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_id` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                              ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `file_location` is never read
[INFO] [stdout]   --> program_structure/src/intermediate_representation/errors.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     InvalidVariableNameError { name: String, file_id: Option<FileID>, file_location: FileLocation },
[INFO] [stdout]    |                                                                       ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect-parser v2.2.0 (/opt/rustwide/workdir/parser)
[INFO] [stdout] warning: unused return value of `finish` that must be used
[INFO] [stdout]    --> program_structure/src/intermediate_representation/ir.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |         state.finish();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 112 |         let _ = state.finish();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect-program-analysis v0.8.2 (/opt/rustwide/workdir/program_analysis)
[INFO] [stderr]    Compiling circomspect-program-structure-tests v0.8.0 (/opt/rustwide/workdir/program_structure_tests)
[INFO] [stdout] warning: unused variable: `initializations`
[INFO] [stdout]    --> parser/src/parser_logic.rs:283:76
[INFO] [stdout]     |
[INFO] [stdout] 283 | ...                   if let Statement::InitializationBlock { xtype, initializations, .. } = stmt {
[INFO] [stdout]     |                                                                      ^^^^^^^^^^^^^^^ help: try ignoring the field: `initializations: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `test_file`
[INFO] [stdout]    --> program_analysis/src/analysis_runner.rs:568:13
[INFO] [stdout]     |
[INFO] [stdout] 568 |         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:623:14
[INFO] [stdout]     |
[INFO] [stdout] 623 |         let (mut runner, reports) = AnalysisRunner::new(Curve::Goldilocks)
[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:623:26
[INFO] [stdout]     |
[INFO] [stdout] 623 |         let (mut runner, reports) = AnalysisRunner::new(Curve::Goldilocks)
[INFO] [stdout]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling circomspect v0.9.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 27.62s
[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" "7a162a5fe01af0d8bf9f0acda3c6d743bc39223b8768f7bef363b789452d2391", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7a162a5fe01af0d8bf9f0acda3c6d743bc39223b8768f7bef363b789452d2391", kill_on_drop: false }`
[INFO] [stdout] 7a162a5fe01af0d8bf9f0acda3c6d743bc39223b8768f7bef363b789452d2391
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 997e0d49da0254d8bac9da8baabe91ce2d0015536f18eb4098c03c05418ae6b0
[INFO] running `Command { std: "docker" "start" "-a" "997e0d49da0254d8bac9da8baabe91ce2d0015536f18eb4098c03c05418ae6b0", 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:283:76
[INFO] [stderr]     |
[INFO] [stderr] 283 | ...                   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: unused variable: `test_file`
[INFO] [stderr]    --> program_analysis/src/analysis_runner.rs:568:13
[INFO] [stderr]     |
[INFO] [stderr] 568 |         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:623:14
[INFO] [stderr]     |
[INFO] [stderr] 623 |         let (mut runner, reports) = AnalysisRunner::new(Curve::Goldilocks)
[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:623:26
[INFO] [stderr]     |
[INFO] [stderr] 623 |         let (mut runner, reports) = AnalysisRunner::new(Curve::Goldilocks)
[INFO] [stderr]     |                          ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_reports`
[INFO] [stderr] 
[INFO] [stderr] warning: `circomspect-program-analysis` (lib test) generated 3 warnings (run `cargo fix --lib -p circomspect-program-analysis --tests` to apply 3 suggestions)
[INFO] [stderr] warning: `circomspect-program-structure` (lib test) generated 15 warnings (15 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
[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] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/circomspect-f07dedfb8be5f7e6)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_circom_algebra-4aaf61ded90632fc)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test modular_arithmetic::tests::comparison_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok
[INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok
[INFO] [stdout] test modular_arithmetic::tests::mod_check ... 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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_parser-ad8d6ed741cca36b)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test parser_logic::tests::test_cfg_public_private_iterators ... ok
[INFO] [stdout] test parser_logic::tests::test_intermediate_signal_is_private ... ok
[INFO] [stdout] test tests::test_compiler_version ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_input_signals_ast ... ok
[INFO] [stdout] test syntax_sugar_remover::tests::test_desugar_multi_sub ... ok
[INFO] [stdout] test parser_logic::tests::test_parse_string ... 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] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circomspect_program_analysis-c5cb2e68a7a8a6c2)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test analysis_runner::tests::test_template ... ok
[INFO] [stdout] test bitwise_complement::tests::test_bitwise_complement ... ok
[INFO] [stdout] test definition_complexity::tests::test_small_template ... ok
[INFO] [stdout] test privacy_taint::tests::test_addition_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_array_tainted ... ok
[INFO] [stdout] test analysis_runner::tests::test_function ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_xor_tainted ... ok
[INFO] [stdout] test constraint_analysis::tests::test_single_step_constraint ... ok
[INFO] [stdout] circomspect: analyzing template 'Num2Bits'
[INFO] [stdout] test privacy_taint::tests::test_assignment_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bit_extract_partial ... ok
[INFO] [stdout] test analysis_runner::tests::test_underlying_str ... ok
[INFO] [stdout] test privacy_taint::tests::test_array_index_private_index_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_division_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_and_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_bitwise_or_tainted ... ok
[INFO] [stdout] test bn254_specific_circuit::tests::test_num2bits_strict ... ok
[INFO] [stdout] test field_comparisons::tests::test_field_comparisons ... ok
[INFO] [stdout] test privacy_taint::tests::test_clean_signal ... ok
[INFO] [stdout] test nonstrict_binary_conversion::tests::test_nonstrict_num2bits ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_and_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_downgraded_tainted_combination ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_not_tainted ... ok
[INFO] [stdout] test field_arithmetic::tests::test_field_arithmetic ... ok
[INFO] [stdout] warning: Output signal `out` is tainted by private inputs (taint level: PartialLeak), which may leak privacy.
[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]   = 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: 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] circomspect: analyzing template 'Split'
[INFO] [stdout] test privacy_taint::tests::test_shift_left_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_logic_component_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_logical_or_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_power_tainted ... ok
[INFO] [stdout] test constant_conditional::tests::test_constant_conditional ... ok
[INFO] [stdout] test privacy_taint::tests::test_mux_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_multiple_bit_extract_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_equal_tainted ... ok
[INFO] [stdout] test privacy_taint::tests::test_num2bits_component_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_shift_right_partial ... ok
[INFO] [stdout] test privacy_taint::tests::test_poseidon_downgraded ... ok
[INFO] [stdout] test privacy_taint::tests::test_subtraction_tainted ... 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 unused_output_signal::tests::test_maybe_equal ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_pass_through_taint ... ok
[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]    = 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 `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]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-output.
[INFO] [stdout] 
[INFO] [stdout] warning: Constraint contains tainted variables, which may leak private information through the constraint system.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:33:5
[INFO] [stdout]    │
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ This constraint involves tainted variables: in, small, big
[INFO] [stdout]    │
[INFO] [stdout]    = Consider whether this constraint really needs to expose private information, or redesign the circuit logic.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#private-tainted-constraint.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:5
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^ The assigned signal `big` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 31 │     n2b_big.in <== big;
[INFO] [stdout]    │     ------------------ The signal `big` is constrained here.
[INFO] [stdout] 32 │ 
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `big` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:5
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │     ^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `small` is not constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 29 │     n2b_small.in <== small;
[INFO] [stdout]    │     ---------------------- The signal `small` is constrained here.
[INFO] [stdout]    ·
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │     ------------------------------ The signal `small` is constrained here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:25:21
[INFO] [stdout]    │
[INFO] [stdout] 25 │     small <-- in % (1 << n);
[INFO] [stdout]    │                     ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:26:19
[INFO] [stdout]    │
[INFO] [stdout] 26 │     big <-- in \ (1 << n);
[INFO] [stdout]    │                   ^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Field element arithmetic could overflow, which may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:33:12
[INFO] [stdout]    │
[INFO] [stdout] 33 │     in === small + big * (1 << n);
[INFO] [stdout]    │            ^^^^^^^^^^^^^^^^^^^^^^ Field element arithmetic here.
[INFO] [stdout]    │
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-arithmetic.
[INFO] [stdout] 
[INFO] [stdout] note: Comparisons with field elements greater than `p/2` may produce unexpected results.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:20:12
[INFO] [stdout]    │
[INFO] [stdout] 20 │     assert(n <= 126);
[INFO] [stdout]    │            ^^^^^^^^ Field element comparison here.
[INFO] [stdout]    │
[INFO] [stdout]    = Field elements are always normalized to the interval `(-p/2, p/2]` before they are compared.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#field-element-comparison.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:28:27
[INFO] [stdout]    │
[INFO] [stdout] 28 │     component n2b_small = Num2Bits(n);
[INFO] [stdout]    │                           ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] warning: Using `Num2Bits` to convert field elements to bits may lead to aliasing issues.
[INFO] [stdout]    ┌─ /opt/rustwide/workdir/examples/instantiation.circom:30:25
[INFO] [stdout]    │
[INFO] [stdout] 30 │     component n2b_big = Num2Bits(m);
[INFO] [stdout]    │                         ^^^^^^^^^^^ Circomlib template `Num2Bits` instantiated here.
[INFO] [stdout]    │
[INFO] [stdout]    = Consider using `Num2Bits_strict` if the input size may be >= than the prime size.
[INFO] [stdout]    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#non-strict-binary-conversion.
[INFO] [stdout] 
[INFO] [stdout] test analysis_runner::tests::test_with_files ... ok
[INFO] [stdout] test unconstrained_less_than::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_bit_extract_partial ... ok
[INFO] [stdout] test analysis_runner::tests::test_with_directory ... FAILED
[INFO] [stdout] test taint_analysis::tests::test_taint_analysis ... ok
[INFO] [stdout] test analysis_runner::tests::test_cfg_reference_linking ... FAILED
[INFO] [stdout] test privacy_taint::tests::test_subcircuit_multiple_outputs_mixed_taint ... ok
[INFO] [stdout] test signal_assignments::tests::test_signal_assignments ... ok
[INFO] [stdout] test unconstrained_division::tests::test_unconstrained_less_than ... ok
[INFO] [stdout] test under_constrained_signals::tests::test_under_constrained_signals ... ok
[INFO] [stdout] test side_effect_analysis::tests::test_side_effect_analysis ... ok
[INFO] [stdout] test unused_output_signal::tests::test_unused_output_signal ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- analysis_runner::tests::test_with_directory stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'analysis_runner::tests::test_with_directory' (46) panicked at program_analysis/src/analysis_runner.rs:605:9:
[INFO] [stdout] Test directory should exist: "/opt/rustwide/workdir/examples2"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56416bc3d702 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56416bc3d702 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::trace_unsynchronized::<std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56416bc3d702 - std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x56416bc3d702 - <<std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[585f66e14d78f9ba]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x56416bc53dca - <core[585f66e14d78f9ba]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56416bc53dca - core[585f66e14d78f9ba]::fmt::write
[INFO] [stdout]    6:     0x56416bc43046 - std[3f03f8b59f91bef1]::io::default_write_fmt::<alloc[15e7b27aba85d2e2]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56416bc43046 - <alloc[15e7b27aba85d2e2]::vec::Vec<u8> as std[3f03f8b59f91bef1]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56416bc1af3f - <std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x56416bc1af3f - std[3f03f8b59f91bef1]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56416bc35409 - std[3f03f8b59f91bef1]::panicking::default_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56416b90eade - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56416b90eade - test[30224e0cb089acd2]::test_main_with_exit_callback::<test[30224e0cb089acd2]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56416bc355c2 - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56416bc355c2 - std[3f03f8b59f91bef1]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56416bc1aff8 - std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56416bc0fac9 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_end_short_backtrace::<std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x56416bc1bf3d - __rustc[caa99d26c7bae192]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56416bc545bc - core[585f66e14d78f9ba]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56416b893e52 - circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_with_directory
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:605:9
[INFO] [stdout]   20:     0x56416b890677 - circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_with_directory::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:595:29
[INFO] [stdout]   21:     0x56416b89a546 - <circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_with_directory::{closure#0} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x56416b902e8b - <fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x56416b902e8b - test[30224e0cb089acd2]::__rust_begin_short_backtrace::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x56416b90f6ea - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panicking::catch_unwind::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test_in_process
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x56416b909bb4 - test[30224e0cb089acd2]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x56416b909bb4 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_begin_short_backtrace::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x56416b9121e2 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x56416b9121e2 - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panicking::catch_unwind::<(), core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x56416b9121e2 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x56416b9121e2 - <std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x56416bc3cc0f - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn core[585f66e14d78f9ba]::ops::function::FnOnce<(), Output = ()> + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x56416bc3cc0f - <std[3f03f8b59f91bef1]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x70b45d7f8aa4 - <unknown>
[INFO] [stdout]   43:     0x70b45d885a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- analysis_runner::tests::test_cfg_reference_linking stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'analysis_runner::tests::test_cfg_reference_linking' (42) panicked at program_analysis/src/analysis_runner.rs:718:9:
[INFO] [stdout] Test directory should exist: "/opt/rustwide/workdir/examples2"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56416bc3d702 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56416bc3d702 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::trace_unsynchronized::<std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56416bc3d702 - std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x56416bc3d702 - <<std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[585f66e14d78f9ba]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x56416bc53dca - <core[585f66e14d78f9ba]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56416bc53dca - core[585f66e14d78f9ba]::fmt::write
[INFO] [stdout]    6:     0x56416bc43046 - std[3f03f8b59f91bef1]::io::default_write_fmt::<alloc[15e7b27aba85d2e2]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56416bc43046 - <alloc[15e7b27aba85d2e2]::vec::Vec<u8> as std[3f03f8b59f91bef1]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56416bc1af3f - <std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x56416bc1af3f - std[3f03f8b59f91bef1]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56416bc35409 - std[3f03f8b59f91bef1]::panicking::default_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56416b90eade - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56416b90eade - test[30224e0cb089acd2]::test_main_with_exit_callback::<test[30224e0cb089acd2]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56416bc355c2 - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56416bc355c2 - std[3f03f8b59f91bef1]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56416bc1aff8 - std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56416bc0fac9 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_end_short_backtrace::<std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x56416bc1bf3d - __rustc[caa99d26c7bae192]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56416bc545bc - core[585f66e14d78f9ba]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56416b8944f4 - circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_cfg_reference_linking
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:718:9
[INFO] [stdout]   20:     0x56416b8906a7 - circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_cfg_reference_linking::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/program_analysis/src/analysis_runner.rs:648:36
[INFO] [stdout]   21:     0x56416b89a586 - <circomspect_program_analysis[ebe7778f05843554]::analysis_runner::tests::test_cfg_reference_linking::{closure#0} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x56416b902e8b - <fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x56416b902e8b - test[30224e0cb089acd2]::__rust_begin_short_backtrace::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x56416b90f6ea - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panicking::catch_unwind::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x56416b90f6ea - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test_in_process
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x56416b90f6ea - test[30224e0cb089acd2]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x56416b909bb4 - test[30224e0cb089acd2]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x56416b909bb4 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_begin_short_backtrace::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x56416b9121e2 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x56416b9121e2 - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panicking::catch_unwind::<(), core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x56416b9121e2 - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x56416b9121e2 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x56416b9121e2 - <std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x56416bc3cc0f - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn core[585f66e14d78f9ba]::ops::function::FnOnce<(), Output = ()> + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x56416bc3cc0f - <std[3f03f8b59f91bef1]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x70b45d7f8aa4 - <unknown>
[INFO] [stdout]   43:     0x70b45d885a64 - 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. 51 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.43s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p circomspect-program-analysis --lib`
[INFO] running `Command { std: "docker" "inspect" "997e0d49da0254d8bac9da8baabe91ce2d0015536f18eb4098c03c05418ae6b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "997e0d49da0254d8bac9da8baabe91ce2d0015536f18eb4098c03c05418ae6b0", kill_on_drop: false }`
[INFO] [stdout] 997e0d49da0254d8bac9da8baabe91ce2d0015536f18eb4098c03c05418ae6b0
