[INFO] cloning repository https://github.com/corazza/ctf02
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/corazza/ctf02" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcorazza%2Fctf02", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcorazza%2Fctf02'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 208818fbdc0a6e46c0b030d6f1444491184d83ac
[INFO] checking corazza/ctf02 against try#b4c55082edd8dec08ce8af276d7054d9c4db20c4 for pr-147984
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcorazza%2Fctf02" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config
[INFO] started tweaking git repo https://github.com/corazza/ctf02
[INFO] finished tweaking git repo https://github.com/corazza/ctf02
[INFO] tweaked toml for git repo https://github.com/corazza/ctf02 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/corazza/ctf02 on toolchain b4c55082edd8dec08ce8af276d7054d9c4db20c4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/corazza/ctf02 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" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking corazza/ctf02 against try#b4c55082edd8dec08ce8af276d7054d9c4db20c4 for pr-147984
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcorazza%2Fctf02" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config
[INFO] started tweaking git repo https://github.com/corazza/ctf02
[INFO] finished tweaking git repo https://github.com/corazza/ctf02
[INFO] tweaked toml for git repo https://github.com/corazza/ctf02 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/corazza/ctf02 on toolchain b4c55082edd8dec08ce8af276d7054d9c4db20c4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/corazza/ctf02 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" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde-json-wasm v0.5.2
[INFO] [stderr]   Downloaded cosmwasm-storage v1.5.2
[INFO] [stderr]   Downloaded cosmwasm-derive v1.5.5
[INFO] [stderr]   Downloaded cw-utils v1.0.3
[INFO] [stderr]   Downloaded cw-multi-test v0.16.5
[INFO] [stderr]   Downloaded cw2 v1.1.2
[INFO] [stderr]   Downloaded cosmwasm-std v1.5.5
[INFO] [stderr]   Downloaded cosmwasm-schema-derive v1.5.5
[INFO] [stderr]   Downloaded cosmwasm-crypto v1.5.5
[INFO] [stderr]   Downloaded cw-storage-plus v1.2.0
[INFO] [stderr]   Downloaded cosmwasm-schema v1.5.5
[INFO] [stderr]   Downloaded itf v0.2.4
[INFO] [stderr]   Downloaded bnum v0.10.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 21e23cfde89dfabef1c43091aa29c09f43a2eea453c688a4854d78129802c5da
[INFO] running `Command { std: "docker" "start" "-a" "21e23cfde89dfabef1c43091aa29c09f43a2eea453c688a4854d78129802c5da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "21e23cfde89dfabef1c43091aa29c09f43a2eea453c688a4854d78129802c5da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "21e23cfde89dfabef1c43091aa29c09f43a2eea453c688a4854d78129802c5da", kill_on_drop: false }`
[INFO] [stdout] 21e23cfde89dfabef1c43091aa29c09f43a2eea453c688a4854d78129802c5da
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b4c55082edd8dec08ce8af276d7054d9c4db20c4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0cf0ffa98626a810a8d806356a6c83f2dd41f3ece5d8e454c89b4e9542da7c46
[INFO] running `Command { std: "docker" "start" "-a" "0cf0ffa98626a810a8d806356a6c83f2dd41f3ece5d8e454c89b4e9542da7c46", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.85
[INFO] [stderr]     Checking subtle v2.5.0
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]     Checking const-oid v0.9.6
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]     Checking once_cell v1.19.0
[INFO] [stderr]     Checking base16ct v0.2.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]    Compiling schemars v0.8.21
[INFO] [stderr]     Checking opaque-debug v0.3.1
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking dyn-clone v1.0.17
[INFO] [stderr]     Checking forward_ref v1.0.0
[INFO] [stderr]     Checking bnum v0.10.0
[INFO] [stderr]     Checking bech32 v0.9.1
[INFO] [stderr]     Checking der v0.7.9
[INFO] [stderr]     Checking der v0.6.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking base64ct v1.6.0
[INFO] [stderr]    Compiling semver v1.0.23
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]     Checking base16ct v0.1.1
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]     Checking either v1.12.0
[INFO] [stderr]     Checking bytes v1.6.0
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking block-buffer v0.9.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking curve25519-dalek v3.2.0
[INFO] [stderr]     Checking sha2 v0.9.9
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]     Checking rfc6979 v0.4.0
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking sec1 v0.7.3
[INFO] [stderr]     Checking spki v0.6.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking ahash v0.7.8
[INFO] [stderr]     Checking pkcs8 v0.9.0
[INFO] [stderr]     Checking sec1 v0.3.0
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stderr]     Checking ff v0.13.0
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking ff v0.12.1
[INFO] [stderr]     Checking crypto-bigint v0.4.9
[INFO] [stderr]     Checking signature v1.6.4
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking group v0.12.1
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking elliptic-curve v0.12.3
[INFO] [stderr]     Checking rfc6979 v0.3.1
[INFO] [stderr]     Checking ecdsa v0.14.8
[INFO] [stderr]     Checking k256 v0.11.6
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]     Checking ecdsa v0.16.9
[INFO] [stderr]     Checking k256 v0.13.1
[INFO] [stderr]    Compiling serde_derive_internals v0.29.1
[INFO] [stderr]    Compiling darling_core v0.20.9
[INFO] [stderr]    Compiling cosmwasm-derive v1.5.5
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling cosmwasm-schema-derive v1.5.5
[INFO] [stderr]    Compiling prost-derive v0.9.0
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling schemars_derive v0.8.21
[INFO] [stderr]     Checking prost v0.9.0
[INFO] [stderr]     Checking thiserror v1.0.61
[INFO] [stderr]    Compiling darling_macro v0.20.9
[INFO] [stderr]    Compiling darling v0.20.9
[INFO] [stderr]    Compiling serde_with_macros v3.8.1
[INFO] [stderr]     Checking ed25519-zebra v3.1.0
[INFO] [stderr]     Checking serde-json-wasm v0.5.2
[INFO] [stderr]     Checking serde_with v3.8.1
[INFO] [stderr]     Checking num-bigint v0.4.5
[INFO] [stderr]     Checking cosmwasm-crypto v1.5.5
[INFO] [stderr]     Checking cosmwasm-std v1.5.5
[INFO] [stderr]     Checking cosmwasm-schema v1.5.5
[INFO] [stderr]     Checking itf v0.2.4
[INFO] [stderr]     Checking cw-storage-plus v1.2.0
[INFO] [stderr]     Checking cosmwasm-storage v1.5.2
[INFO] [stderr]     Checking cw2 v1.1.2
[INFO] [stderr]     Checking cw-utils v1.0.3
[INFO] [stderr]     Checking cw-multi-test v0.16.5
[INFO] [stderr]     Checking oaksecurity-cosmwasm-ctf-02 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]  --> src/contract.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 |     coin, to_binary, BankMsg, Binary, Deps, DepsMut, Env, MessageInfo, Response, StdResult, Uint128,
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]    --> src/contract.rs:158:39
[INFO] [stdout]     |
[INFO] [stdout] 158 |         QueryMsg::GetUser { user } => to_binary(&get_user(deps, user)?),
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]    --> src/contract.rs:159:46
[INFO] [stdout]     |
[INFO] [stdout] 159 |         QueryMsg::GetVotingPower { user } => to_binary(&get_voting_power(deps, user)?),
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::contract`, `crate::msg`, `crate::state`
[INFO] [stdout]  --> tests/integration_tests.rs:4:9
[INFO] [stdout]   |
[INFO] [stdout] 4 |         contract::{DENOM, LOCK_PERIOD},
[INFO] [stdout]   |         ^^^^^^^^ unresolved import
[INFO] [stdout] 5 |         msg::{ExecuteMsg, InstantiateMsg, QueryMsg},
[INFO] [stdout]   |         ^^^ unresolved import
[INFO] [stdout] 6 |         state::UserInfo,
[INFO] [stdout]   |         ^^^^^ unresolved import
[INFO] [stdout]   |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]   |
[INFO] [stdout] 4 |         oaksecurity_cosmwasm_ctf_02::contract::{DENOM, LOCK_PERIOD},
[INFO] [stdout]   |         +++++++++++++++++++++++++++++
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]   |
[INFO] [stdout] 5 |         oaksecurity_cosmwasm_ctf_02::msg::{ExecuteMsg, InstantiateMsg, QueryMsg},
[INFO] [stdout]   |         +++++++++++++++++++++++++++++
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]   |
[INFO] [stdout] 6 |         itf::state::UserInfo,
[INFO] [stdout]   |         +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../quint/test.itf.json`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/mbt_oaksecurity_cosmwasm_ctf_02.rs:183:20
[INFO] [stdout]     |
[INFO] [stdout] 183 |         let data = include_str!("../quint/test.itf.json");
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]   --> tests/integration_tests.rs:13:20
[INFO] [stdout]    |
[INFO] [stdout] 13 |             crate::contract::execute,
[INFO] [stdout]    |                    ^^^^^^^^ unresolved import
[INFO] [stdout]    |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]    |
[INFO] [stdout] 13 |             crate::oaksecurity_cosmwasm_ctf_02::contract::execute,
[INFO] [stdout]    |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout]  3 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 13 -             crate::contract::execute,
[INFO] [stdout] 13 +             contract::execute,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]   --> tests/integration_tests.rs:14:20
[INFO] [stdout]    |
[INFO] [stdout] 14 |             crate::contract::instantiate,
[INFO] [stdout]    |                    ^^^^^^^^ unresolved import
[INFO] [stdout]    |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]    |
[INFO] [stdout] 14 |             crate::oaksecurity_cosmwasm_ctf_02::contract::instantiate,
[INFO] [stdout]    |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout]  3 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 14 -             crate::contract::instantiate,
[INFO] [stdout] 14 +             contract::instantiate,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]   --> tests/integration_tests.rs:15:20
[INFO] [stdout]    |
[INFO] [stdout] 15 |             crate::contract::query,
[INFO] [stdout]    |                    ^^^^^^^^ unresolved import
[INFO] [stdout]    |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]    |
[INFO] [stdout] 15 |             crate::oaksecurity_cosmwasm_ctf_02::contract::query,
[INFO] [stdout]    |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout]  3 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 15 -             crate::contract::query,
[INFO] [stdout] 15 +             contract::query,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../quint/ctf-02/out.itf.json`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/contract_model_test.rs:188:20
[INFO] [stdout]     |
[INFO] [stdout] 188 |         let data = include_str!("../../../quint/ctf-02/out.itf.json");
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../quint/ctf-02/out.itf.json`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:207:20
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let data = include_str!("../../../quint/ctf-02/out.itf.json");
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `contract_model_test` in the crate root
[INFO] [stdout]    --> tests/contract_model_test.rs:105:16
[INFO] [stdout]     |
[INFO] [stdout] 105 |     use crate::contract_model_test::state_structs::*;
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^ could not find `contract_model_test` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]  --> src/contract.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 |     coin, to_binary, BankMsg, Binary, Deps, DepsMut, Env, MessageInfo, Response, StdResult, Uint128,
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]    --> src/contract.rs:158:39
[INFO] [stdout]     |
[INFO] [stdout] 158 |         QueryMsg::GetUser { user } => to_binary(&get_user(deps, user)?),
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `cosmwasm_std::to_binary`: use to_json_binary instead
[INFO] [stdout]    --> src/contract.rs:159:46
[INFO] [stdout]     |
[INFO] [stdout] 159 |         QueryMsg::GetVotingPower { user } => to_binary(&get_voting_power(deps, user)?),
[INFO] [stdout]     |                                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::msg`
[INFO] [stdout]    --> tests/contract_model_test.rs:106:16
[INFO] [stdout]     |
[INFO] [stdout] 106 |     use crate::msg::{ExecuteMsg, InstantiateMsg, QueryMsg};
[INFO] [stdout]     |                ^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                unresolved import
[INFO] [stdout]     |                help: a similar path exists: `oaksecurity_cosmwasm_ctf_02::msg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::contract`
[INFO] [stdout]    --> tests/contract_model_test.rs:107:16
[INFO] [stdout]     |
[INFO] [stdout] 107 |     use crate::contract::{DENOM, LOCK_PERIOD};
[INFO] [stdout]     |                ^^^^^^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                unresolved import
[INFO] [stdout]     |                help: a similar path exists: `oaksecurity_cosmwasm_ctf_02::contract`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `contract_model_test_generated` in the crate root
[INFO] [stdout]   --> tests/contract_model_test_generated.rs:99:16
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use crate::contract_model_test_generated::state_structs::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `contract_model_test_generated` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "integration_tests") due to 4 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0432]: unresolved import `crate::msg`
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:100:16
[INFO] [stdout]     |
[INFO] [stdout] 100 |     use crate::msg::*;
[INFO] [stdout]     |                ^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                unresolved import
[INFO] [stdout]     |                help: a similar path exists: `oaksecurity_cosmwasm_ctf_02::msg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `integration_tests` in the crate root
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:102:16
[INFO] [stdout]     |
[INFO] [stdout] 102 |     use crate::integration_tests::tests::ADMIN;
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^ could not find `integration_tests` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::ContractError`
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:101:9
[INFO] [stdout]     |
[INFO] [stdout] 101 |     use crate::ContractError;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^ no `ContractError` in the root
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum instead
[INFO] [stdout]     |
[INFO] [stdout] 101 -     use crate::ContractError;
[INFO] [stdout] 101 +     use oaksecurity_cosmwasm_ctf_02::ContractError;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BankMsg` and `CosmosMsg`
[INFO] [stdout]   --> tests/contract_model_test_generated.rs:93:30
[INFO] [stdout]    |
[INFO] [stdout] 93 |     use cosmwasm_std::{coin, BankMsg, CosmosMsg};
[INFO] [stdout]    |                              ^^^^^^^  ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:364:24
[INFO] [stdout]     |
[INFO] [stdout] 364 |                     if (!step_info.action_successful) {
[INFO] [stdout]     |                        ^                            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 364 -                     if (!step_info.action_successful) {
[INFO] [stdout] 364 +                     if !step_info.action_successful  {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SystemState` in this scope
[INFO] [stdout]    --> tests/contract_model_test.rs:125:65
[INFO] [stdout]     |
[INFO] [stdout] 125 |     fn compare_state(test_state: &TestState, app: &App, state: &SystemState) {
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::SystemState;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]    --> tests/contract_model_test.rs:132:35
[INFO] [stdout]     |
[INFO] [stdout] 132 |             let user_info: crate::state::UserInfo = app
[INFO] [stdout]     |                                   ^^^^^ unresolved import
[INFO] [stdout]     |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]     |
[INFO] [stdout] 132 |             let user_info: crate::itf::state::UserInfo = app
[INFO] [stdout]     |                                   +++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use oaksecurity_cosmwasm_ctf_02::state;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `state`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 132 -             let user_info: crate::state::UserInfo = app
[INFO] [stdout] 132 +             let user_info: state::UserInfo = app
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]    --> tests/contract_model_test.rs:176:20
[INFO] [stdout]     |
[INFO] [stdout] 176 |             crate::contract::execute,
[INFO] [stdout]     |                    ^^^^^^^^ unresolved import
[INFO] [stdout]     |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]     |
[INFO] [stdout] 176 |             crate::oaksecurity_cosmwasm_ctf_02::contract::execute,
[INFO] [stdout]     |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 176 -             crate::contract::execute,
[INFO] [stdout] 176 +             contract::execute,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]    --> tests/contract_model_test.rs:177:20
[INFO] [stdout]     |
[INFO] [stdout] 177 |             crate::contract::instantiate,
[INFO] [stdout]     |                    ^^^^^^^^ unresolved import
[INFO] [stdout]     |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]     |
[INFO] [stdout] 177 |             crate::oaksecurity_cosmwasm_ctf_02::contract::instantiate,
[INFO] [stdout]     |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 177 -             crate::contract::instantiate,
[INFO] [stdout] 177 +             contract::instantiate,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: unresolved import
[INFO] [stdout]    --> tests/contract_model_test.rs:178:20
[INFO] [stdout]     |
[INFO] [stdout] 178 |             crate::contract::query,
[INFO] [stdout]     |                    ^^^^^^^^ unresolved import
[INFO] [stdout]     |
[INFO] [stdout] help: a similar path exists
[INFO] [stdout]     |
[INFO] [stdout] 178 |             crate::oaksecurity_cosmwasm_ctf_02::contract::query,
[INFO] [stdout]     |                    +++++++++++++++++++++++++++++
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use oaksecurity_cosmwasm_ctf_02::contract;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `contract`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 178 -             crate::contract::query,
[INFO] [stdout] 178 +             contract::query,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `State` in this scope
[INFO] [stdout]    --> tests/contract_model_test.rs:189:31
[INFO] [stdout]     |
[INFO] [stdout] 189 |         let trace: itf::Trace<State> = trace_from_str(data).unwrap();
[INFO] [stdout]     |                               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these structs
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::State;
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use itf::State;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MsgArgs`
[INFO] [stdout]    --> tests/contract_model_test.rs:254:28
[INFO] [stdout]     |
[INFO] [stdout] 254 |                     if let MsgArgs::DepositArgs(deposit_args) = &step_info.msg_args {
[INFO] [stdout]     |                            ^^^^^^^ use of undeclared type `MsgArgs`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::MsgArgs;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MsgArgs`
[INFO] [stdout]    --> tests/contract_model_test.rs:279:28
[INFO] [stdout]     |
[INFO] [stdout] 279 |                     if let MsgArgs::WithdrawArgs(withdraw_args) = &step_info.msg_args {
[INFO] [stdout]     |                            ^^^^^^^ use of undeclared type `MsgArgs`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::MsgArgs;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MsgArgs`
[INFO] [stdout]    --> tests/contract_model_test.rs:305:28
[INFO] [stdout]     |
[INFO] [stdout] 305 |                     if let MsgArgs::StakeArgs(stake_args) = &step_info.msg_args {
[INFO] [stdout]     |                            ^^^^^^^ use of undeclared type `MsgArgs`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::MsgArgs;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MsgArgs`
[INFO] [stdout]    --> tests/contract_model_test.rs:330:28
[INFO] [stdout]     |
[INFO] [stdout] 330 |                     if let MsgArgs::UnstakeArgs(unstake_args) = &step_info.msg_args {
[INFO] [stdout]     |                            ^^^^^^^ use of undeclared type `MsgArgs`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout]  99 +     use crate::state_structs::MsgArgs;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `StdError`
[INFO] [stdout]   --> tests/contract_model_test.rs:99:30
[INFO] [stdout]    |
[INFO] [stdout] 99 |     use cosmwasm_std::{coin, StdError};
[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: `AppResponse`
[INFO] [stdout]    --> tests/contract_model_test.rs:101:57
[INFO] [stdout]     |
[INFO] [stdout] 101 |     use cw_multi_test::{App, ContractWrapper, Executor, AppResponse};
[INFO] [stdout]     |                                                         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::de::value::Error`
[INFO] [stdout]    --> tests/contract_model_test.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |     use serde::de::value::Error;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:142:31
[INFO] [stdout]     |
[INFO] [stdout] 142 |                         user: user.clone(),
[INFO] [stdout]     |                               ^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> tests/contract_model_test_generated.rs:168:31
[INFO] [stdout]     |
[INFO] [stdout] 168 |                         user: user.clone(),
[INFO] [stdout]     |                               ^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "contract_model_test_generated") due to 7 previous errors; 2 warnings emitted
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `anyhow`
[INFO] [stdout]    --> tests/mbt_oaksecurity_cosmwasm_ctf_02.rs:135:41
[INFO] [stdout]     |
[INFO] [stdout] 135 |         app_result: Result<AppResponse, anyhow::Error>,
[INFO] [stdout]     |                                         ^^^^^^ use of unresolved module or unlinked crate `anyhow`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `anyhow`, use `cargo add anyhow` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> tests/contract_model_test.rs:130:23
[INFO] [stdout]     |
[INFO] [stdout] 130 |                 user: user.clone(),
[INFO] [stdout]     |                       ^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "mbt_oaksecurity_cosmwasm_ctf_02") due to 2 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0282, E0412, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "contract_model_test") due to 15 previous errors; 3 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "0cf0ffa98626a810a8d806356a6c83f2dd41f3ece5d8e454c89b4e9542da7c46", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0cf0ffa98626a810a8d806356a6c83f2dd41f3ece5d8e454c89b4e9542da7c46", kill_on_drop: false }`
[INFO] [stdout] 0cf0ffa98626a810a8d806356a6c83f2dd41f3ece5d8e454c89b4e9542da7c46
