[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 master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fanko9801%2Fmini_symbolic" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/anko9801/mini_symbolic on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-tc1/source/Cargo.toml
[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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded aliasable v0.1.3
[INFO] [stderr]   Downloaded ouroboros_macro v0.15.0
[INFO] [stderr]   Downloaded ouroboros v0.15.0
[INFO] [stderr]   Downloaded z3 v0.11.2
[INFO] [stderr]   Downloaded clang-sys v1.3.1
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c1456b5e61bafa8b1519c9872c9ede8fedc62b5af178838cd411ed950f022646
[INFO] running `Command { std: "docker" "start" "-a" "c1456b5e61bafa8b1519c9872c9ede8fedc62b5af178838cd411ed950f022646", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c1456b5e61bafa8b1519c9872c9ede8fedc62b5af178838cd411ed950f022646", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1456b5e61bafa8b1519c9872c9ede8fedc62b5af178838cd411ed950f022646", kill_on_drop: false }`
[INFO] [stdout] c1456b5e61bafa8b1519c9872c9ede8fedc62b5af178838cd411ed950f022646
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e2d9cbdb89f93996d3299ebcaa6b514d4284c48dc5c893c6a501a99f566e2d9c
[INFO] running `Command { std: "docker" "start" "-a" "e2d9cbdb89f93996d3299ebcaa6b514d4284c48dc5c893c6a501a99f566e2d9c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.36
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling unicode-width v0.1.9
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling libloading v0.7.3
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling clang-sys v1.3.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling quote v1.0.16
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling syn v1.0.89
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]    Compiling regex v1.5.5
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]     Checking humantime v1.3.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 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)]` 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`, `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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, `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: the item `ast` is imported redundantly
[INFO] [stdout]  --> src/test.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3::*;
[INFO] [stdout]   |     ----- the item `ast` is already imported here
[INFO] [stdout] 3 | use z3::{
[INFO] [stdout] 4 |     ast,
[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)]` 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`, `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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, `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: the item `ast` is imported redundantly
[INFO] [stdout]  --> src/test.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3::*;
[INFO] [stdout]   |     ----- the item `ast` is already imported here
[INFO] [stdout] 3 | use z3::{
[INFO] [stdout] 4 |     ast,
[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)]` 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]     |                     ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` 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)]` 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)]` 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: 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)]` 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: 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: 66 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/parse.rs:297:21
[INFO] [stdout]     |
[INFO] [stdout] 297 |                     _ => {
[INFO] [stdout]     |                     ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` 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)]` 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: 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)]` 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: 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: 66 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 47.51s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v5.1.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3`
[INFO] running `Command { std: "docker" "inspect" "e2d9cbdb89f93996d3299ebcaa6b514d4284c48dc5c893c6a501a99f566e2d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2d9cbdb89f93996d3299ebcaa6b514d4284c48dc5c893c6a501a99f566e2d9c", kill_on_drop: false }`
[INFO] [stdout] e2d9cbdb89f93996d3299ebcaa6b514d4284c48dc5c893c6a501a99f566e2d9c
[INFO] checking anko9801/mini_symbolic against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar
[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] validating manifest of git repo https://github.com/anko9801/mini_symbolic on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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] 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" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e779b3a8961d128e27ce4d9683dcc5a4901d3673a6dc2481a5c23d47a95e2f43
[INFO] running `Command { std: "docker" "start" "-a" "e779b3a8961d128e27ce4d9683dcc5a4901d3673a6dc2481a5c23d47a95e2f43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e779b3a8961d128e27ce4d9683dcc5a4901d3673a6dc2481a5c23d47a95e2f43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e779b3a8961d128e27ce4d9683dcc5a4901d3673a6dc2481a5c23d47a95e2f43", kill_on_drop: false }`
[INFO] [stdout] e779b3a8961d128e27ce4d9683dcc5a4901d3673a6dc2481a5c23d47a95e2f43
[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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] da13f85c45c5c6d2171b5a6cfa19a4f2bb6fa3e0d26094c96b6d99b459a3847c
[INFO] running `Command { std: "docker" "start" "-a" "da13f85c45c5c6d2171b5a6cfa19a4f2bb6fa3e0d26094c96b6d99b459a3847c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.36
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling unicode-width v0.1.9
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling libloading v0.7.3
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling clang-sys v1.3.1
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling quote v1.0.16
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling syn v1.0.89
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]     Checking regex v1.5.5
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]     Checking aliasable v0.1.3
[INFO] [stderr]     Checking owning_ref v0.4.1
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]     Checking env_logger v0.6.2
[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)]` 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 `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)]` on by default
[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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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: 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: unused imports: `BV`, `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)]` on by default
[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: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, `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: the item `ast` is imported redundantly
[INFO] [stdout]  --> src/test.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3::*;
[INFO] [stdout]   |     ----- the item `ast` is already imported here
[INFO] [stdout] 3 | use z3::{
[INFO] [stdout] 4 |     ast,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BV`, `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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Array`, `AstKind`, `BV`, `Bool`, `Dynamic`, `Float`, `Int`, `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: the item `ast` is imported redundantly
[INFO] [stdout]  --> src/test.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3::*;
[INFO] [stdout]   |     ----- the item `ast` is already imported here
[INFO] [stdout] 3 | use z3::{
[INFO] [stdout] 4 |     ast,
[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)]` 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)]` 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]     |                     ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` 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]     |                     ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` 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)]` 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: 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)]` 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: 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: 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: 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: 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: 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)]` 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: 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)]` 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: 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: 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: 66 warnings emitted
[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: 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: 66 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.13s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v5.1.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3`
[INFO] running `Command { std: "docker" "inspect" "da13f85c45c5c6d2171b5a6cfa19a4f2bb6fa3e0d26094c96b6d99b459a3847c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da13f85c45c5c6d2171b5a6cfa19a4f2bb6fa3e0d26094c96b6d99b459a3847c", kill_on_drop: false }`
[INFO] [stdout] da13f85c45c5c6d2171b5a6cfa19a4f2bb6fa3e0d26094c96b6d99b459a3847c