[INFO] cloning repository https://github.com/tohacking/zkwasm-output-limit-example
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tohacking/zkwasm-output-limit-example" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftohacking%2Fzkwasm-output-limit-example", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftohacking%2Fzkwasm-output-limit-example'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e38741007c336fe0f757dcc28f2ff3cb09fb8d50
[INFO] checking tohacking/zkwasm-output-limit-example against master#11d2046fe9962720558cb15f72541f7fd170dec9 for pr-139493-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftohacking%2Fzkwasm-output-limit-example" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/tohacking/zkwasm-output-limit-example
[INFO] finished tweaking git repo https://github.com/tohacking/zkwasm-output-limit-example
[INFO] tweaked toml for git repo https://github.com/tohacking/zkwasm-output-limit-example written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tohacking/zkwasm-output-limit-example on toolchain 11d2046fe9962720558cb15f72541f7fd170dec9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11d2046fe9962720558cb15f72541f7fd170dec9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tohacking/zkwasm-output-limit-example 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" "+11d2046fe9962720558cb15f72541f7fd170dec9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/DelphinusLab/zkWasm-rust.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded termion v4.0.0
[INFO] [stderr]   Downloaded numtoa v0.1.0
[INFO] [stderr]   Downloaded redox_termios v0.1.3
[INFO] [stderr]   Downloaded bumpalo v3.15.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+11d2046fe9962720558cb15f72541f7fd170dec9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ca6ddcc1e25fa4c012cd0105c72ac852c8d82ec501a3f96a9a3f8eaf0c621926
[INFO] running `Command { std: "docker" "start" "-a" "ca6ddcc1e25fa4c012cd0105c72ac852c8d82ec501a3f96a9a3f8eaf0c621926", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ca6ddcc1e25fa4c012cd0105c72ac852c8d82ec501a3f96a9a3f8eaf0c621926", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca6ddcc1e25fa4c012cd0105c72ac852c8d82ec501a3f96a9a3f8eaf0c621926", kill_on_drop: false }`
[INFO] [stdout] ca6ddcc1e25fa4c012cd0105c72ac852c8d82ec501a3f96a9a3f8eaf0c621926
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+11d2046fe9962720558cb15f72541f7fd170dec9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d8c5f14f7a3685b13d56c5121782c1b246b408048cfc22d7c93d3a5230e23d57
[INFO] running `Command { std: "docker" "start" "-a" "d8c5f14f7a3685b13d56c5121782c1b246b408048cfc22d7c93d3a5230e23d57", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.79
[INFO] [stderr]    Compiling bumpalo v3.15.4
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking numtoa v0.1.0
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]     Checking uint v0.9.5
[INFO] [stderr]     Checking primitive-types v0.12.2
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]     Checking termion v4.0.0
[INFO] [stderr]    Compiling syn v2.0.58
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.92
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.92
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.92
[INFO] [stderr]     Checking wasm-bindgen v0.2.92
[INFO] [stderr]     Checking js-sys v0.3.69
[INFO] [stderr]     Checking zkwasm-rust-sdk v0.1.0 (https://github.com/DelphinusLab/zkWasm-rust.git?branch=main#3dc33e15)
[INFO] [stderr]     Checking web-sys v0.3.69
[INFO] [stderr]     Checking provable_game_logic v0.1.0 (/opt/rustwide/workdir/provable_game_logic)
[INFO] [stdout] warning: unused import: `Deserialize`
[INFO] [stdout]  --> provable_game_logic/src/definition.rs:2:14
[INFO] [stdout]   |
[INFO] [stdout] 2 | use serde::{ Deserialize, Serialize };
[INFO] [stdout]   |              ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::rng::LCGRandGen`
[INFO] [stdout]  --> provable_game_logic/src/gameplay.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::rng::LCGRandGen;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `wasm_bindgen::prelude::*`
[INFO] [stdout]  --> provable_game_logic/src/gameplay.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use wasm_bindgen::prelude::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Deserialize`
[INFO] [stdout]  --> provable_game_logic/src/definition.rs:2:14
[INFO] [stdout]   |
[INFO] [stdout] 2 | use serde::{ Deserialize, Serialize };
[INFO] [stdout]   |              ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::rng::LCGRandGen`
[INFO] [stdout]  --> provable_game_logic/src/gameplay.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::rng::LCGRandGen;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `wasm_bindgen::prelude::*`
[INFO] [stdout]  --> provable_game_logic/src/gameplay.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use wasm_bindgen::prelude::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking testing_cli v0.1.0 (/opt/rustwide/workdir/testing_cli)
[INFO] [stderr]     Checking export v0.1.0 (/opt/rustwide/workdir/export)
[INFO] [stdout] warning: constant `previousState_score` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:22:11
[INFO] [stdout]    |
[INFO] [stdout] 22 |     const previousState_score: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 22 -     const previousState_score: u64 = 0;
[INFO] [stdout] 22 +     const PREVIOUS_STATE_SCORE: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_total_number_seen` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:23:11
[INFO] [stdout]    |
[INFO] [stdout] 23 |     const previousState_total_number_seen: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 23 -     const previousState_total_number_seen: u64 = 0;
[INFO] [stdout] 23 +     const PREVIOUS_STATE_TOTAL_NUMBER_SEEN: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_total_capture_tries` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:24:11
[INFO] [stdout]    |
[INFO] [stdout] 24 |     const previousState_total_capture_tries: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 24 -     const previousState_total_capture_tries: u64 = 0;
[INFO] [stdout] 24 +     const PREVIOUS_STATE_TOTAL_CAPTURE_TRIES: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_current_number` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:25:11
[INFO] [stdout]    |
[INFO] [stdout] 25 |     const previousState_current_number: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 25 -     const previousState_current_number: u64 = 0;
[INFO] [stdout] 25 +     const PREVIOUS_STATE_CURRENT_NUMBER: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_random_seed` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:26:11
[INFO] [stdout]    |
[INFO] [stdout] 26 |     const previousState_random_seed: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 26 -     const previousState_random_seed: u64 = 0;
[INFO] [stdout] 26 +     const PREVIOUS_STATE_RANDOM_SEED: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `transactionNonce` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let transactionNonce: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `transaction_nonce`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gameId` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let gameId: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `game_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner0` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let inputSigner0: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner1` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let inputSigner1: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner2` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let inputSigner2: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_score` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let previousState_score: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_score`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_total_number_seen` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let previousState_total_number_seen: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_total_number_seen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_total_capture_tries` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let previousState_total_capture_tries: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_total_capture_tries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_current_number` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let previousState_current_number: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_current_number`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_random_seed` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let previousState_random_seed: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_random_seed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_score` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:22:11
[INFO] [stdout]    |
[INFO] [stdout] 22 |     const previousState_score: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 22 -     const previousState_score: u64 = 0;
[INFO] [stdout] 22 +     const PREVIOUS_STATE_SCORE: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_total_number_seen` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:23:11
[INFO] [stdout]    |
[INFO] [stdout] 23 |     const previousState_total_number_seen: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 23 -     const previousState_total_number_seen: u64 = 0;
[INFO] [stdout] 23 +     const PREVIOUS_STATE_TOTAL_NUMBER_SEEN: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_total_capture_tries` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:24:11
[INFO] [stdout]    |
[INFO] [stdout] 24 |     const previousState_total_capture_tries: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 24 -     const previousState_total_capture_tries: u64 = 0;
[INFO] [stdout] 24 +     const PREVIOUS_STATE_TOTAL_CAPTURE_TRIES: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_current_number` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:25:11
[INFO] [stdout]    |
[INFO] [stdout] 25 |     const previousState_current_number: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 25 -     const previousState_current_number: u64 = 0;
[INFO] [stdout] 25 +     const PREVIOUS_STATE_CURRENT_NUMBER: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `previousState_random_seed` should have an upper case name
[INFO] [stdout]   --> testing_cli/src/main.rs:26:11
[INFO] [stdout]    |
[INFO] [stdout] 26 |     const previousState_random_seed: u64 = 0;
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 26 -     const previousState_random_seed: u64 = 0;
[INFO] [stdout] 26 +     const PREVIOUS_STATE_RANDOM_SEED: u64 = 0;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `transactionNonce` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let transactionNonce: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `transaction_nonce`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gameId` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let gameId: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `game_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner0` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let inputSigner0: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner1` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let inputSigner1: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `inputSigner2` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let inputSigner2: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: convert the identifier to snake case: `input_signer2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_score` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let previousState_score: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_score`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_total_number_seen` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let previousState_total_number_seen: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_total_number_seen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_total_capture_tries` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let previousState_total_capture_tries: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_total_capture_tries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_current_number` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let previousState_current_number: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_current_number`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `previousState_random_seed` should have a snake case name
[INFO] [stdout]   --> export/src/zkmain.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let previousState_random_seed: u64 = unsafe { wasm_input(1) };
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `previous_state_random_seed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.42s
[INFO] running `Command { std: "docker" "inspect" "d8c5f14f7a3685b13d56c5121782c1b246b408048cfc22d7c93d3a5230e23d57", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d8c5f14f7a3685b13d56c5121782c1b246b408048cfc22d7c93d3a5230e23d57", kill_on_drop: false }`
[INFO] [stdout] d8c5f14f7a3685b13d56c5121782c1b246b408048cfc22d7c93d3a5230e23d57
