[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 master#8c32e313cccf7df531e2d49ffb8227bb92304aee for pr-145608-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcorazza%2Fctf02" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-1-tc1/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-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/corazza/ctf02 on toolchain 8c32e313cccf7df531e2d49ffb8227bb92304aee [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "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" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded serde_with_macros v3.8.1 [INFO] [stderr] Downloaded itf v0.2.4 [INFO] [stderr] Downloaded serde_with v3.8.1 [INFO] [stderr] Downloaded cw-multi-test v0.16.5 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4e00cd5ec44129b477b36be8c4dc8c1deda1fb910b6da22bae36dbbfb5d54a02 [INFO] running `Command { std: "docker" "start" "-a" "4e00cd5ec44129b477b36be8c4dc8c1deda1fb910b6da22bae36dbbfb5d54a02", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4e00cd5ec44129b477b36be8c4dc8c1deda1fb910b6da22bae36dbbfb5d54a02", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4e00cd5ec44129b477b36be8c4dc8c1deda1fb910b6da22bae36dbbfb5d54a02", kill_on_drop: false }` [INFO] [stdout] 4e00cd5ec44129b477b36be8c4dc8c1deda1fb910b6da22bae36dbbfb5d54a02 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 36f19a6bc5af394f694492e4a87b6dceea0973af51809b82a64b6e00f2351a27 [INFO] running `Command { std: "docker" "start" "-a" "36f19a6bc5af394f694492e4a87b6dceea0973af51809b82a64b6e00f2351a27", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling serde_json v1.0.117 [INFO] [stderr] Compiling thiserror v1.0.61 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Compiling schemars v0.8.21 [INFO] [stderr] Checking bech32 v0.9.1 [INFO] [stderr] Checking bnum v0.10.0 [INFO] [stderr] Checking forward_ref v1.0.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking der v0.6.1 [INFO] [stderr] Compiling semver v1.0.23 [INFO] [stderr] Compiling anyhow v1.0.86 [INFO] [stderr] Compiling either v1.12.0 [INFO] [stderr] Checking bytes v1.6.0 [INFO] [stderr] Compiling itertools v0.10.5 [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 sec1 v0.7.3 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking curve25519-dalek v3.2.0 [INFO] [stderr] Checking sha2 v0.9.9 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking spki v0.6.0 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking pkcs8 v0.9.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking rfc6979 v0.4.0 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking sec1 v0.3.0 [INFO] [stderr] Checking rand_core v0.6.4 [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 group v0.12.1 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking hashbrown v0.12.3 [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 serde_derive v1.0.203 [INFO] [stderr] Compiling thiserror-impl v1.0.61 [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 schemars_derive v0.8.21 [INFO] [stderr] Checking prost v0.9.0 [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 itf v0.2.4 [INFO] [stderr] Checking cosmwasm-std v1.5.5 [INFO] [stderr] Checking cosmwasm-schema v1.5.5 [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: 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: 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_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] [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_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[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[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[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[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] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [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: 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] 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)]` 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)]` 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[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] 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[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 = 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)]` 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] 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] 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, [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] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "contract_model_test_generated") due to 5 previous errors; 2 warnings emitted [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [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: E0412, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `oaksecurity-cosmwasm-ctf-02` (test "contract_model_test") due to 14 previous errors; 3 warnings emitted [INFO] running `Command { std: "docker" "inspect" "36f19a6bc5af394f694492e4a87b6dceea0973af51809b82a64b6e00f2351a27", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "36f19a6bc5af394f694492e4a87b6dceea0973af51809b82a64b6e00f2351a27", kill_on_drop: false }` [INFO] [stdout] 36f19a6bc5af394f694492e4a87b6dceea0973af51809b82a64b6e00f2351a27