[INFO] cloning repository https://github.com/anko9801/mini_symbolic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/anko9801/mini_symbolic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fanko9801%2Fmini_symbolic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fanko9801%2Fmini_symbolic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b5e3fe92d89b590d69339e9a8dd51ba7d87641c9
[INFO] checking anko9801/mini_symbolic against try#b1f2594eac607c1f051534800237eeedb5590a49 for pr-139493-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fanko9801%2Fmini_symbolic" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/anko9801/mini_symbolic
[INFO] finished tweaking git repo https://github.com/anko9801/mini_symbolic
[INFO] tweaked toml for git repo https://github.com/anko9801/mini_symbolic written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/anko9801/mini_symbolic on toolchain b1f2594eac607c1f051534800237eeedb5590a49
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/anko9801/mini_symbolic 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" "+b1f2594eac607c1f051534800237eeedb5590a49" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 98e4e3c43ed65962cf876ea28fd225d77a4a2c268adc61e770aa4bb8376e11a5
[INFO] running `Command { std: "docker" "start" "-a" "98e4e3c43ed65962cf876ea28fd225d77a4a2c268adc61e770aa4bb8376e11a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "98e4e3c43ed65962cf876ea28fd225d77a4a2c268adc61e770aa4bb8376e11a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98e4e3c43ed65962cf876ea28fd225d77a4a2c268adc61e770aa4bb8376e11a5", kill_on_drop: false }`
[INFO] [stdout] 98e4e3c43ed65962cf876ea28fd225d77a4a2c268adc61e770aa4bb8376e11a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a6fb2a59480112ddcf4b9b192c34b47ac2e3a73cbe020818015e8655a93a817
[INFO] running `Command { std: "docker" "start" "-a" "1a6fb2a59480112ddcf4b9b192c34b47ac2e3a73cbe020818015e8655a93a817", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling unicode-width v0.1.9
[INFO] [stderr]    Compiling quote v1.0.16
[INFO] [stderr]    Compiling libloading v0.7.3
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling clang-sys v1.3.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling syn v1.0.89
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]     Checking aliasable v0.1.3
[INFO] [stderr]     Checking owning_ref v0.4.1
[INFO] [stderr]     Checking env_logger v0.6.2
[INFO] [stderr]    Compiling regex v1.5.5
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling ouroboros_macro v0.15.0
[INFO] [stderr]     Checking ouroboros v0.15.0
[INFO] [stderr]    Compiling z3-sys v0.7.1
[INFO] [stderr]     Checking z3 v0.11.2
[INFO] [stderr]     Checking symbolic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variant `mov` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     mov,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Mov`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `add` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     add,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Add`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `sub` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     sub,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Sub`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `imul` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     imul,
[INFO] [stdout]    |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Imul`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `idiv` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     idiv,
[INFO] [stdout]    |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Idiv`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `cdq` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     cdq,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cdq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `cmp` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     cmp,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `inc` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     inc,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Inc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `dec` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     dec,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Dec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jnz` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     jnz,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Jnz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jne` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     jne,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Jne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jz` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     jz,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `je` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     je,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Je`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jl` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     jl,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jg` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     jg,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ret` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     ret,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `nop` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     nop,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Nop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rax` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     rax,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rbx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     rbx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rbx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rcx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 |     rcx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rcx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rdx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     rdx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rdx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rsi` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     rsi,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rsi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rdi` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     rdi,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rdi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `r12` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     r12,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `R12`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rbp` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     rbp,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rbp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BV` and `Int`
[INFO] [stdout]  --> src/project.rs:3:17
[INFO] [stdout]   |
[INFO] [stdout] 3 |     ast::{Bool, Int, BV},
[INFO] [stdout]   |                 ^^^  ^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, and `Real`
[INFO] [stdout]  --> src/test.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     ast::{Array, Ast, AstKind, Bool, Dynamic, Float, Int, Real, BV},
[INFO] [stdout]   |           ^^^^^       ^^^^^^^  ^^^^  ^^^^^^^  ^^^^^  ^^^  ^^^^  ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `mov` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     mov,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Mov`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `add` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     add,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Add`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `sub` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     sub,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Sub`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `imul` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     imul,
[INFO] [stdout]    |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Imul`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `idiv` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     idiv,
[INFO] [stdout]    |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Idiv`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `cdq` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     cdq,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cdq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `cmp` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     cmp,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `inc` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     inc,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case (notice the capitalization): `Inc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `dec` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     dec,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Dec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jnz` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     jnz,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Jnz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jne` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     jne,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Jne`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jz` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     jz,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `je` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     je,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Je`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jl` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     jl,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `jg` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     jg,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Jg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ret` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     ret,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `nop` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     nop,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Nop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rax` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     rax,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rax`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rbx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     rbx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rbx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rcx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 |     rcx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rcx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rdx` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     rdx,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rdx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rsi` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     rsi,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rsi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rdi` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     rdi,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rdi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `r12` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     r12,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `R12`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `rbp` should have an upper camel case name
[INFO] [stdout]   --> src/parse.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     rbp,
[INFO] [stdout]    |     ^^^ help: convert the identifier to upper camel case: `Rbp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BV` and `Int`
[INFO] [stdout]  --> src/project.rs:3:17
[INFO] [stdout]   |
[INFO] [stdout] 3 |     ast::{Bool, Int, BV},
[INFO] [stdout]   |                 ^^^  ^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, and `Real`
[INFO] [stdout]  --> src/test.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     ast::{Array, Ast, AstKind, Bool, Dynamic, Float, Int, Real, BV},
[INFO] [stdout]   |           ^^^^^       ^^^^^^^  ^^^^  ^^^^^^^  ^^^^^  ^^^  ^^^^  ^^
[INFO] [stdout]   |
[INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]  --> src/main.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | mod test;
[INFO] [stdout]   | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dst`
[INFO] [stdout]   --> src/arch.rs:79:28
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_dst`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dst`
[INFO] [stdout]   --> src/arch.rs:79:28
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                            ^^^ help: if this is intentional, prefix it with an underscore: `_dst`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/parse.rs:297:21
[INFO] [stdout]     |
[INFO] [stdout] 297 |                     _ => {
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/parse.rs:297:21
[INFO] [stdout]     |
[INFO] [stdout] 239 |                     add => {
[INFO] [stdout]     |                     --- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 242 |                     sub => {
[INFO] [stdout]     |                     --- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 245 |                     imul => {
[INFO] [stdout]     |                     ---- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 248 |                     idiv => {
[INFO] [stdout]     |                     ---- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 297 |                     _ => {
[INFO] [stdout]     |                     ^ ...and 10 other patterns collectively make this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c3`
[INFO] [stdout]   --> src/test.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let c3 = ast::BV::from_i64(&ctx, 3, 64);
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_c3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `SF`
[INFO] [stdout]   --> src/test.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let SF = ast::Bool::new_const(&ctx, "SF");
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_SF`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `OF`
[INFO] [stdout]   --> src/test.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let OF = ast::Bool::new_const(&ctx, "OF");
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_OF`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Arch` is never used
[INFO] [stdout]  --> src/arch.rs:6:11
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub trait Arch {
[INFO] [stdout]   |           ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/parse.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout]  9 | enum Operation {
[INFO] [stdout]    |      --------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 12 |     sub,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] ...
[INFO] [stdout] 17 |     inc,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 18 |     dec,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 19 |     jnz,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 20 |     jne,
[INFO] [stdout] 21 |     jz,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 22 |     je,
[INFO] [stdout] 23 |     jl,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 24 |     jg,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 25 |     ret,
[INFO] [stdout] 26 |     nop,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Operation` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_bool` is never used
[INFO] [stdout]   --> src/project.rs:53:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<'ctx> Project<'ctx> {
[INFO] [stdout]    | ------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test` is never used
[INFO] [stdout]   --> src/test.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn test() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tomori_test` is never used
[INFO] [stdout]   --> src/test.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 | pub fn tomori_test() {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `arch_test` is never used
[INFO] [stdout]   --> src/test.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn arch_test() {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:35:20
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn get_operand(&self, op: &Operand) -> z3::ast::BV {
[INFO] [stdout]    |                    ^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn get_operand(&self, op: &Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:42:25
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn get_register(&self, reg: &Register) -> &z3::ast::BV {
[INFO] [stdout]    |                         ^^^^^                     ^^^^^^^^^^^^
[INFO] [stdout]    |                         |                         ||
[INFO] [stdout]    |                         |                         |the same lifetime is hidden here
[INFO] [stdout]    |                         |                         the same lifetime is elided here
[INFO] [stdout]    |                         the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn get_register(&self, reg: &Register) -> &z3::ast::BV<'_> {
[INFO] [stdout]    |                                                               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn get_cflag(&self, reg: &Flag) -> &z3::ast::Bool {
[INFO] [stdout]    |                      ^^^^^                 ^^^^^^^^^^^^^^
[INFO] [stdout]    |                      |                     ||
[INFO] [stdout]    |                      |                     |the same lifetime is hidden here
[INFO] [stdout]    |                      |                     the same lifetime is elided here
[INFO] [stdout]    |                      the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn get_cflag(&self, reg: &Flag) -> &z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:50:23
[INFO] [stdout]    |
[INFO] [stdout] 50 |     pub fn get_immval(&self, val: i64) -> z3::ast::BV {
[INFO] [stdout]    |                       ^^^^^               ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 50 |     pub fn get_immval(&self, val: i64) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:79:21
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:86:21
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn inst_add(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn inst_add(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn inst_sub(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn inst_sub(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:113:22
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn inst_imul(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                      ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn inst_imul(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:127:22
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn inst_idiv(&mut self, src: Operand) -> (z3::ast::BV, z3::ast::BV) {
[INFO] [stdout]     |                      ^^^^^^^^^                    ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                            |
[INFO] [stdout]     |                      |                            the same lifetime is hidden here
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn inst_idiv(&mut self, src: Operand) -> (z3::ast::BV<'_>, z3::ast::BV<'_>) {
[INFO] [stdout]     |                                                              ++++             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:167:21
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub fn inst_inc(&mut self, dst: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                     ^^^^^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub fn inst_inc(&mut self, dst: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:181:21
[INFO] [stdout]     |
[INFO] [stdout] 181 |     pub fn inst_dec(&mut self, dst: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                     ^^^^^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 181 |     pub fn inst_dec(&mut self, dst: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:198:13
[INFO] [stdout]     |
[INFO] [stdout] 198 |         let ZF = self.project.get_bool_with_ctx(ctx, "ZF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:199:13
[INFO] [stdout]     |
[INFO] [stdout] 199 |         let SF = self.project.get_bool_with_ctx(ctx, "SF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let OF = self.project.get_bool_with_ctx(ctx, "OF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:202:13
[INFO] [stdout]     |
[INFO] [stdout] 202 |         let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:219:17
[INFO] [stdout]     |
[INFO] [stdout] 219 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:233:17
[INFO] [stdout]     |
[INFO] [stdout] 233 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:234:17
[INFO] [stdout]     |
[INFO] [stdout] 234 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:251:17
[INFO] [stdout]     |
[INFO] [stdout] 251 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:252:17
[INFO] [stdout]     |
[INFO] [stdout] 252 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:266:17
[INFO] [stdout]     |
[INFO] [stdout] 266 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:267:17
[INFO] [stdout]     |
[INFO] [stdout] 267 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:284:17
[INFO] [stdout]     |
[INFO] [stdout] 284 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:285:17
[INFO] [stdout]     |
[INFO] [stdout] 285 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:330:17
[INFO] [stdout]     |
[INFO] [stdout] 330 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:331:17
[INFO] [stdout]     |
[INFO] [stdout] 331 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:345:17
[INFO] [stdout]     |
[INFO] [stdout] 345 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:346:17
[INFO] [stdout]     |
[INFO] [stdout] 346 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:37:20
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn get_int(&self, name: &str) -> z3::ast::BV {
[INFO] [stdout]    |                    ^^^^^                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn get_int(&self, name: &str) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn get_const_int(&self, val: i64) -> z3::ast::BV {
[INFO] [stdout]    |                          ^^^^^               ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn get_const_int(&self, val: i64) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:53:21
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool {
[INFO] [stdout]    |                     ^^^^^                 ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:65:27
[INFO] [stdout]    |
[INFO] [stdout] 65 |     pub fn get_const_bool(&self, val: bool) -> z3::ast::Bool {
[INFO] [stdout]    |                           ^^^^^                ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 65 |     pub fn get_const_bool(&self, val: bool) -> z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:76:18
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn solve(&self) -> Option<z3::Model> {
[INFO] [stdout]    |                  ^^^^^            ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                  |
[INFO] [stdout]    |                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn solve(&self) -> Option<z3::Model<'_>> {
[INFO] [stdout]    |                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |     let ZF = ast::Bool::new_const(&ctx, "ZF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let SF = ast::Bool::new_const(&ctx, "SF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let OF = ast::Bool::new_const(&ctx, "OF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/parse.rs:297:21
[INFO] [stdout]     |
[INFO] [stdout] 297 |                     _ => {
[INFO] [stdout]     |                     ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/parse.rs:297:21
[INFO] [stdout]     |
[INFO] [stdout] 239 |                     add => {
[INFO] [stdout]     |                     --- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 242 |                     sub => {
[INFO] [stdout]     |                     --- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 245 |                     imul => {
[INFO] [stdout]     |                     ---- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 248 |                     idiv => {
[INFO] [stdout]     |                     ---- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 297 |                     _ => {
[INFO] [stdout]     |                     ^ ...and 10 other patterns collectively make this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c3`
[INFO] [stdout]   --> src/test.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let c3 = ast::BV::from_i64(&ctx, 3, 64);
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_c3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `SF`
[INFO] [stdout]   --> src/test.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let SF = ast::Bool::new_const(&ctx, "SF");
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_SF`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `OF`
[INFO] [stdout]   --> src/test.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let OF = ast::Bool::new_const(&ctx, "OF");
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_OF`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Arch` is never used
[INFO] [stdout]  --> src/arch.rs:6:11
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub trait Arch {
[INFO] [stdout]   |           ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/parse.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout]  9 | enum Operation {
[INFO] [stdout]    |      --------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 12 |     sub,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] ...
[INFO] [stdout] 17 |     inc,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 18 |     dec,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 19 |     jnz,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 20 |     jne,
[INFO] [stdout] 21 |     jz,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 22 |     je,
[INFO] [stdout] 23 |     jl,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 24 |     jg,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 25 |     ret,
[INFO] [stdout] 26 |     nop,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Operation` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_bool` is never used
[INFO] [stdout]   --> src/project.rs:53:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<'ctx> Project<'ctx> {
[INFO] [stdout]    | ------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test` is never used
[INFO] [stdout]   --> src/test.rs:21:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn test() {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tomori_test` is never used
[INFO] [stdout]   --> src/test.rs:56:8
[INFO] [stdout]    |
[INFO] [stdout] 56 | pub fn tomori_test() {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `arch_test` is never used
[INFO] [stdout]   --> src/test.rs:85:8
[INFO] [stdout]    |
[INFO] [stdout] 85 | pub fn arch_test() {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:35:20
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn get_operand(&self, op: &Operand) -> z3::ast::BV {
[INFO] [stdout]    |                    ^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn get_operand(&self, op: &Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:42:25
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn get_register(&self, reg: &Register) -> &z3::ast::BV {
[INFO] [stdout]    |                         ^^^^^                     ^^^^^^^^^^^^
[INFO] [stdout]    |                         |                         ||
[INFO] [stdout]    |                         |                         |the same lifetime is hidden here
[INFO] [stdout]    |                         |                         the same lifetime is elided here
[INFO] [stdout]    |                         the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 42 |     pub fn get_register(&self, reg: &Register) -> &z3::ast::BV<'_> {
[INFO] [stdout]    |                                                               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn get_cflag(&self, reg: &Flag) -> &z3::ast::Bool {
[INFO] [stdout]    |                      ^^^^^                 ^^^^^^^^^^^^^^
[INFO] [stdout]    |                      |                     ||
[INFO] [stdout]    |                      |                     |the same lifetime is hidden here
[INFO] [stdout]    |                      |                     the same lifetime is elided here
[INFO] [stdout]    |                      the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 46 |     pub fn get_cflag(&self, reg: &Flag) -> &z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:50:23
[INFO] [stdout]    |
[INFO] [stdout] 50 |     pub fn get_immval(&self, val: i64) -> z3::ast::BV {
[INFO] [stdout]    |                       ^^^^^               ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 50 |     pub fn get_immval(&self, val: i64) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:79:21
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 79 |     pub fn inst_mov(&self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:86:21
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn inst_add(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 86 |     pub fn inst_add(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/arch.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn inst_sub(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]    |                     ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn inst_sub(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:113:22
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn inst_imul(&mut self, dst: Operand, src: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                      ^^^^^^^^^ the lifetime is elided here     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn inst_imul(&mut self, dst: Operand, src: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:127:22
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn inst_idiv(&mut self, src: Operand) -> (z3::ast::BV, z3::ast::BV) {
[INFO] [stdout]     |                      ^^^^^^^^^                    ^^^^^^^^^^^  ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |                            |
[INFO] [stdout]     |                      |                            the same lifetime is hidden here
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 127 |     pub fn inst_idiv(&mut self, src: Operand) -> (z3::ast::BV<'_>, z3::ast::BV<'_>) {
[INFO] [stdout]     |                                                              ++++             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:167:21
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub fn inst_inc(&mut self, dst: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                     ^^^^^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 167 |     pub fn inst_inc(&mut self, dst: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/arch.rs:181:21
[INFO] [stdout]     |
[INFO] [stdout] 181 |     pub fn inst_dec(&mut self, dst: Operand) -> z3::ast::BV {
[INFO] [stdout]     |                     ^^^^^^^^^                   ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 181 |     pub fn inst_dec(&mut self, dst: Operand) -> z3::ast::BV<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:198:13
[INFO] [stdout]     |
[INFO] [stdout] 198 |         let ZF = self.project.get_bool_with_ctx(ctx, "ZF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:199:13
[INFO] [stdout]     |
[INFO] [stdout] 199 |         let SF = self.project.get_bool_with_ctx(ctx, "SF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let OF = self.project.get_bool_with_ctx(ctx, "OF");
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:202:13
[INFO] [stdout]     |
[INFO] [stdout] 202 |         let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:219:17
[INFO] [stdout]     |
[INFO] [stdout] 219 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:233:17
[INFO] [stdout]     |
[INFO] [stdout] 233 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:234:17
[INFO] [stdout]     |
[INFO] [stdout] 234 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 40.45s
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:251:17
[INFO] [stdout]     |
[INFO] [stdout] 251 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v5.1.2
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:252:17
[INFO] [stdout]     |
[INFO] [stdout] 252 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 9`
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:266:17
[INFO] [stdout]     |
[INFO] [stdout] 266 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:267:17
[INFO] [stdout]     |
[INFO] [stdout] 267 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:284:17
[INFO] [stdout]     |
[INFO] [stdout] 284 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:285:17
[INFO] [stdout]     |
[INFO] [stdout] 285 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cFalse` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let cFalse = self.project.get_const_bool(false);
[INFO] [stdout]     |                 ^^^^^^ help: convert the identifier to snake case: `c_false`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:305:17
[INFO] [stdout]     |
[INFO] [stdout] 305 |             let ZF = self.get_cflag(&Flag::ZF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:306:17
[INFO] [stdout]     |
[INFO] [stdout] 306 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `cTrue` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let cTrue = self.project.get_const_bool(true);
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `c_true`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:330:17
[INFO] [stdout]     |
[INFO] [stdout] 330 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:331:17
[INFO] [stdout]     |
[INFO] [stdout] 331 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:345:17
[INFO] [stdout]     |
[INFO] [stdout] 345 |             let SF = self.get_cflag(&Flag::SF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]    --> src/arch.rs:346:17
[INFO] [stdout]     |
[INFO] [stdout] 346 |             let OF = self.get_cflag(&Flag::OF);
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:37:20
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn get_int(&self, name: &str) -> z3::ast::BV {
[INFO] [stdout]    |                    ^^^^^                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 37 |     pub fn get_int(&self, name: &str) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn get_const_int(&self, val: i64) -> z3::ast::BV {
[INFO] [stdout]    |                          ^^^^^               ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn get_const_int(&self, val: i64) -> z3::ast::BV<'_> {
[INFO] [stdout]    |                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:53:21
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool {
[INFO] [stdout]    |                     ^^^^^                 ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn get_bool(&self, name: &str) -> z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:65:27
[INFO] [stdout]    |
[INFO] [stdout] 65 |     pub fn get_const_bool(&self, val: bool) -> z3::ast::Bool {
[INFO] [stdout]    |                           ^^^^^                ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 65 |     pub fn get_const_bool(&self, val: bool) -> z3::ast::Bool<'_> {
[INFO] [stdout]    |                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/project.rs:76:18
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn solve(&self) -> Option<z3::Model> {
[INFO] [stdout]    |                  ^^^^^            ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                  |
[INFO] [stdout]    |                  the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 76 |     pub fn solve(&self) -> Option<z3::Model<'_>> {
[INFO] [stdout]    |                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ZF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:97:9
[INFO] [stdout]    |
[INFO] [stdout] 97 |     let ZF = ast::Bool::new_const(&ctx, "ZF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `SF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let SF = ast::Bool::new_const(&ctx, "SF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `sf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `OF` should have a snake case name
[INFO] [stdout]   --> src/test.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let OF = ast::Bool::new_const(&ctx, "OF");
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case (notice the capitalization): `of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "1a6fb2a59480112ddcf4b9b192c34b47ac2e3a73cbe020818015e8655a93a817", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a6fb2a59480112ddcf4b9b192c34b47ac2e3a73cbe020818015e8655a93a817", kill_on_drop: false }`
[INFO] [stdout] 1a6fb2a59480112ddcf4b9b192c34b47ac2e3a73cbe020818015e8655a93a817
