[INFO] cloning repository https://github.com/1arie1/solana-program-examples-audit
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/1arie1/solana-program-examples-audit" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fsolana-program-examples-audit", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fsolana-program-examples-audit'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f24fdbf83c14849d1cabf480cf30d7fca3fa58b9
[INFO] checking 1arie1/solana-program-examples-audit against master#292be5c7c05138d753bbd4b30db7a3f1a5c914f7 for pr-148271
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F1arie1%2Fsolana-program-examples-audit" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/1arie1/solana-program-examples-audit
[INFO] finished tweaking git repo https://github.com/1arie1/solana-program-examples-audit
[INFO] tweaked toml for git repo https://github.com/1arie1/solana-program-examples-audit written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/1arie1/solana-program-examples-audit on toolchain 292be5c7c05138d753bbd4b30db7a3f1a5c914f7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+292be5c7c05138d753bbd4b30db7a3f1a5c914f7" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/1arie1/solana-program-examples-audit 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" "+292be5c7c05138d753bbd4b30db7a3f1a5c914f7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/Certora/solana-cvt.git`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 42 packages to latest compatible versions
[INFO] [stderr]       Adding anchor-spl v0.30.1 (available: v0.32.1)
[INFO] [stderr]       Adding calltrace v0.0.1 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding cvt v0.2.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding cvt-macros v0.0.1 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding derive_nondet v0.3.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding diff v0.1.13
[INFO] [stderr]       Adding early-panic v0.0.1 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding fastrand v2.3.0
[INFO] [stderr]       Adding glob v0.3.3
[INFO] [stderr]     Updating hashbrown v0.14.5 -> v0.16.0
[INFO] [stderr]       Adding hook_macro v0.1.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]     Updating indexmap v2.3.0 -> v2.12.0
[INFO] [stderr]       Adding macrotest v1.2.0
[INFO] [stderr]       Adding nondet v0.4.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]       Adding prettyplease v0.2.25 (available: v0.2.37)
[INFO] [stderr]     Updating serde v1.0.204 -> v1.0.228
[INFO] [stderr]       Adding serde_core v1.0.228
[INFO] [stderr]     Updating serde_derive v1.0.204 -> v1.0.228
[INFO] [stderr]       Adding serde_spanned v1.0.3
[INFO] [stderr]       Adding solana_cvt v0.2.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]     Updating spl-associated-token-account v2.3.0 -> v3.0.4
[INFO] [stderr]     Updating spl-discriminator v0.1.0 -> v0.2.5
[INFO] [stderr]     Updating spl-discriminator-derive v0.1.2 -> v0.2.0
[INFO] [stderr]     Updating spl-discriminator-syn v0.1.2 -> v0.2.1
[INFO] [stderr]     Updating spl-pod v0.1.0 -> v0.2.5 (available: v0.7.1)
[INFO] [stderr]       Adding spl-program-error v0.4.4
[INFO] [stderr]       Adding spl-program-error-derive v0.4.1
[INFO] [stderr]       Adding spl-tlv-account-resolution v0.6.5
[INFO] [stderr]       Adding spl-token-2022 v3.0.5
[INFO] [stderr]     Updating spl-token-group-interface v0.1.0 -> v0.2.5
[INFO] [stderr]     Updating spl-token-metadata-interface v0.2.0 -> v0.3.5
[INFO] [stderr]       Adding spl-transfer-hook-interface v0.6.5
[INFO] [stderr]       Adding spl-type-length-value v0.4.6
[INFO] [stderr]       Adding stubs v0.1.0 (https://github.com/Certora/solana-cvt.git?branch=dev#cb609466)
[INFO] [stderr]     Updating syn v2.0.72 -> v2.0.87 (available: v2.0.108)
[INFO] [stderr]       Adding target-triple v1.0.0
[INFO] [stderr]       Adding toml v0.9.8
[INFO] [stderr]       Adding toml_datetime v0.7.3
[INFO] [stderr]       Adding toml_parser v1.0.4
[INFO] [stderr]       Adding toml_writer v1.0.4
[INFO] [stderr]       Adding trybuild v1.0.113
[INFO] [stderr]       Adding winnow v0.7.13
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded solana-sdk-macro v1.18.17
[INFO] [stderr]   Downloaded thiserror v1.0.63
[INFO] [stderr]   Downloaded thiserror-impl v1.0.63
[INFO] [stderr]   Downloaded solana-frozen-abi-macro v1.18.17
[INFO] [stderr]   Downloaded solana-frozen-abi v1.18.17
[INFO] [stderr]   Downloaded toml_writer v1.0.4
[INFO] [stderr]   Downloaded ppv-lite86 v0.2.18
[INFO] [stderr]   Downloaded spl-discriminator-syn v0.2.1
[INFO] [stderr]   Downloaded shank_macro v0.0.8
[INFO] [stderr]   Downloaded solana-logger v1.18.17
[INFO] [stderr]   Downloaded macrotest v1.2.0
[INFO] [stderr]   Downloaded spl-memo v4.0.4
[INFO] [stderr]   Downloaded zerocopy v0.6.6
[INFO] [stderr]   Downloaded serde_spanned v0.6.7
[INFO] [stderr]   Downloaded glob v0.3.3
[INFO] [stderr]   Downloaded shank_macro_impl v0.0.8
[INFO] [stderr]   Downloaded serde_spanned v1.0.3
[INFO] [stderr]   Downloaded borsh-derive v1.5.1
[INFO] [stderr]   Downloaded bytemuck_derive v1.7.0
[INFO] [stderr]   Downloaded prettyplease v0.2.25
[INFO] [stderr]   Downloaded cc v1.1.7
[INFO] [stderr]   Downloaded toml v0.9.8
[INFO] [stderr]   Downloaded trybuild v1.0.113
[INFO] [stderr]   Downloaded solana-sdk v1.18.17
[INFO] [stderr]   Downloaded winnow v0.6.18
[INFO] [stderr]   Downloaded serde_json v1.0.122
[INFO] [stderr]   Downloaded solana-program v1.18.17
[INFO] [stderr]   Downloaded toml_edit v0.22.20
[INFO] [stderr]   Downloaded borsh v1.5.1
[INFO] [stderr]   Downloaded arrayref v0.3.8
[INFO] [stderr]   Downloaded regex v1.10.5
[INFO] [stderr]   Downloaded bytemuck v1.16.3
[INFO] [stderr]   Downloaded redox_syscall v0.5.3
[INFO] [stderr]   Downloaded regex-syntax v0.8.4
[INFO] [stderr]   Downloaded target-triple v1.0.0
[INFO] [stderr]   Downloaded shank v0.0.8
[INFO] [stderr]   Downloaded zerocopy-derive v0.6.6
[INFO] [stderr]   Downloaded regex-automata v0.4.7
[INFO] [stderr]   Downloaded solana-zk-token-sdk v1.18.17
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+292be5c7c05138d753bbd4b30db7a3f1a5c914f7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 61955dd5880e5c4fdb0e90c8d44ce128e3f4e358fe33f1917eaaa522f1f001f1
[INFO] running `Command { std: "docker" "start" "-a" "61955dd5880e5c4fdb0e90c8d44ce128e3f4e358fe33f1917eaaa522f1f001f1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "61955dd5880e5c4fdb0e90c8d44ce128e3f4e358fe33f1917eaaa522f1f001f1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61955dd5880e5c4fdb0e90c8d44ce128e3f4e358fe33f1917eaaa522f1f001f1", kill_on_drop: false }`
[INFO] [stdout] 61955dd5880e5c4fdb0e90c8d44ce128e3f4e358fe33f1917eaaa522f1f001f1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+292be5c7c05138d753bbd4b30db7a3f1a5c914f7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 636cf76eeb8f65545cad0d1ef3e874cec614ef8fb8937a56167a5b6bb04fdea1
[INFO] running `Command { std: "docker" "start" "-a" "636cf76eeb8f65545cad0d1ef3e874cec614ef8fb8937a56167a5b6bb04fdea1", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]    Compiling thiserror v1.0.63
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling serde_json v1.0.122
[INFO] [stderr]     Checking once_cell v1.19.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.87
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling digest v0.9.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling subtle v2.4.1
[INFO] [stderr]    Compiling winnow v0.5.40
[INFO] [stderr]    Compiling toml_datetime v0.6.8
[INFO] [stderr]    Compiling libsecp256k1-core v0.2.2
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.92
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling cc v1.1.7
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling bumpalo v3.16.0
[INFO] [stderr]    Compiling feature-probe v0.1.1
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling toml_edit v0.21.1
[INFO] [stderr]    Compiling libsecp256k1-gen-genmult v0.2.1
[INFO] [stderr]    Compiling bv v0.11.1
[INFO] [stderr]    Compiling libsecp256k1-gen-ecmult v0.2.1
[INFO] [stderr]    Compiling solana-frozen-abi-macro v1.18.17
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]    Compiling cfg_aliases v0.2.1
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]     Checking keccak v0.1.5
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]     Checking tinyvec v1.8.0
[INFO] [stderr]    Compiling borsh v1.5.1
[INFO] [stderr]    Compiling borsh-derive-internal v0.10.3
[INFO] [stderr]    Compiling borsh-schema-derive-internal v0.9.3
[INFO] [stderr]    Compiling borsh-schema-derive-internal v0.10.3
[INFO] [stderr]    Compiling borsh-derive-internal v0.9.3
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]    Compiling libsecp256k1 v0.6.0
[INFO] [stderr]    Compiling blake3 v1.5.1
[INFO] [stderr]     Checking ahash v0.7.8
[INFO] [stderr]     Checking crunchy v0.2.2
[INFO] [stderr]    Compiling solana-frozen-abi v1.18.17
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]    Compiling memoffset v0.9.1
[INFO] [stderr]    Compiling wasm-bindgen v0.2.92
[INFO] [stderr]     Checking arrayref v0.3.8
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking unicode-normalization v0.1.23
[INFO] [stderr]    Compiling proc-macro-crate v3.1.0
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.92
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling solana-program v1.18.17
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.92
[INFO] [stderr]     Checking anyhow v1.0.86
[INFO] [stderr]     Checking memmap2 v0.5.10
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]     Checking constant_time_eq v0.3.0
[INFO] [stderr]     Checking bs58 v0.4.0
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking arrayvec v0.7.4
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.6.6
[INFO] [stderr]    Compiling thiserror-impl v1.0.63
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling syn_derive v0.1.8
[INFO] [stderr]    Compiling bytemuck_derive v1.7.0
[INFO] [stderr]     Checking zeroize v1.3.0
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.92
[INFO] [stderr]     Checking zerocopy v0.6.6
[INFO] [stderr]    Compiling borsh-derive v1.5.1
[INFO] [stderr]     Checking base64 v0.12.3
[INFO] [stderr]    Compiling solana-sdk-macro v1.18.17
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]     Checking ppv-lite86 v0.2.18
[INFO] [stderr]     Checking bytemuck v1.16.3
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]     Checking regex-syntax v0.8.4
[INFO] [stderr]     Checking signature v1.6.4
[INFO] [stderr]     Checking ed25519 v1.5.3
[INFO] [stderr]    Compiling num_enum_derive v0.7.3
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking humantime v2.1.0
[INFO] [stderr]    Compiling unicode-segmentation v1.11.0
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]    Compiling solana-sdk v1.18.17
[INFO] [stderr]     Checking regex-automata v0.4.7
[INFO] [stderr]     Checking serde_bytes v0.11.15
[INFO] [stderr]     Checking bitflags v2.6.0
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]    Compiling toml v0.5.11
[INFO] [stderr]     Checking block-buffer v0.9.0
[INFO] [stderr]     Checking crypto-mac v0.8.0
[INFO] [stderr]     Checking sha2 v0.9.9
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking hmac v0.8.1
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking curve25519-dalek v3.2.1
[INFO] [stderr]     Checking hmac-drbg v0.3.0
[INFO] [stderr]     Checking pbkdf2 v0.4.0
[INFO] [stderr]    Compiling proc-macro-crate v0.1.5
[INFO] [stderr]     Checking tiny-bip39 v0.8.2
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking regex v1.10.5
[INFO] [stderr]     Checking cipher v0.3.0
[INFO] [stderr]     Checking ed25519-dalek v1.0.1
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking universal-hash v0.4.1
[INFO] [stderr]     Checking num_enum v0.7.3
[INFO] [stderr]    Compiling borsh-derive v0.10.3
[INFO] [stderr]    Compiling borsh-derive v0.9.3
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]     Checking derivation-path v0.2.0
[INFO] [stderr]     Checking env_logger v0.9.3
[INFO] [stderr]     Checking qstring v0.7.2
[INFO] [stderr]     Checking solana-logger v1.18.17
[INFO] [stderr]     Checking uriparse v0.6.4
[INFO] [stderr]     Checking ed25519-dalek-bip32 v0.2.0
[INFO] [stderr]     Checking borsh v0.9.3
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]     Checking borsh v0.10.3
[INFO] [stderr]     Checking polyval v0.5.3
[INFO] [stderr]    Compiling serde_with_macros v2.3.3
[INFO] [stderr]     Checking aes v0.7.5
[INFO] [stderr]     Checking ctr v0.8.0
[INFO] [stderr]     Checking pbkdf2 v0.11.0
[INFO] [stderr]     Checking aead v0.4.3
[INFO] [stderr]    Compiling qualifier_attr v0.2.2
[INFO] [stderr]     Checking chrono v0.4.38
[INFO] [stderr]    Compiling bs58 v0.5.1
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking siphasher v0.3.11
[INFO] [stderr]     Checking aes-gcm-siv v0.10.3
[INFO] [stderr]     Checking sha3 v0.9.1
[INFO] [stderr]    Compiling anchor-syn v0.30.1
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]    Compiling spl-program-error-derive v0.4.1
[INFO] [stderr]    Compiling spl-discriminator-syn v0.2.1
[INFO] [stderr]    Compiling anchor-lang-idl-spec v0.1.0
[INFO] [stderr]    Compiling spl-discriminator-derive v0.2.0
[INFO] [stderr]     Checking serde_with v2.3.3
[INFO] [stderr]    Compiling anchor-derive-space v0.30.1
[INFO] [stderr]     Checking solana-security-txt v1.1.1
[INFO] [stderr]    Compiling shank_macro_impl v0.0.8
[INFO] [stderr]    Compiling anchor-lang-idl v0.1.1
[INFO] [stderr]    Compiling shank_macro v0.0.8
[INFO] [stderr]     Checking shank v0.0.8
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]    Compiling anchor-attribute-event v0.30.1
[INFO] [stderr]    Compiling anchor-attribute-access-control v0.30.1
[INFO] [stderr]    Compiling anchor-attribute-constant v0.30.1
[INFO] [stderr]    Compiling anchor-attribute-error v0.30.1
[INFO] [stderr]    Compiling anchor-derive-accounts v0.30.1
[INFO] [stderr]    Compiling anchor-attribute-account v0.30.1
[INFO] [stderr]    Compiling anchor-derive-serde v0.30.1
[INFO] [stderr]    Compiling anchor-attribute-program v0.30.1
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[INFO] [stderr]     Checking light-poseidon v0.2.0
[INFO] [stderr]     Checking spl-program-error v0.4.4
[INFO] [stderr]     Checking spl-discriminator v0.2.5
[INFO] [stderr]     Checking spl-memo v4.0.4
[INFO] [stderr]     Checking spl-token v4.0.3
[INFO] [stderr]     Checking anchor-lang v0.30.1
[INFO] [stderr]     Checking counter-solana-native v0.1.0 (/opt/rustwide/workdir/basics/counter/native/program)
[INFO] [stderr]     Checking counter-mpl-stack v0.1.0 (/opt/rustwide/workdir/basics/counter/mpl-stack)
[INFO] [stderr]     Checking program-derived-addresses-program v0.1.0 (/opt/rustwide/workdir/basics/program-derived-addresses/native/program)
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: no expected values for `feature`
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: no expected values for `feature`
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/mpl-stack/src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `nondet`
[INFO] [stdout]  --> basics/counter/native/program/src/state.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use nondet::Nondet;
[INFO] [stdout]   |     ^^^^^^ use of unresolved module or unlinked crate `nondet`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `nondet`, use `cargo add nondet` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `certora`, `certora_vacuity`, `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `certora`, `certora_vacuity`, `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `nondet`
[INFO] [stdout]  --> basics/counter/native/program/src/state.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use nondet::Nondet;
[INFO] [stdout]   |     ^^^^^^ use of unresolved module or unlinked crate `nondet`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `nondet`, use `cargo add nondet` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `certora`, `certora_vacuity`, `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `certora`, `certora_vacuity`, `cpi`, `default`, and `no-entrypoint`
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]   --> basics/counter/native/program/src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | entrypoint!(process_instruction);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]    = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]    = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]    = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `counter-solana-native` (lib test) due to 1 previous error; 4 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `counter-solana-native` (lib) due to 1 previous error; 4 warnings emitted
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-heap`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: no expected values for `feature`
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_heap_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_heap_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_heap_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `custom-panic`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: no expected values for `feature`
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `solana`
[INFO] [stdout]  --> basics/program-derived-addresses/native/program/src/lib.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | entrypoint!(process_instruction);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: expected values for `target_os` are: `aix`, `amdhsa`, `android`, `cuda`, `cygwin`, `dragonfly`, `emscripten`, `espidf`, `freebsd`, `fuchsia`, `haiku`, `hermit`, `horizon`, `hurd`, `illumos`, `ios`, `l4re`, `linux`, `lynxos178`, `macos`, `managarm`, `motor`, `netbsd`, `none`, `nto`, `nuttx`, `openbsd`, `psp`, `psx`, `redox`, `rtems`, `solaris`, `solid_asp3`, `teeos`, and `trusty` and 12 more
[INFO] [stdout]   = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]   = help: try referring to `$crate::custom_panic_default` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]   = help: the macro `$crate::custom_panic_default` may come from an old version of the `solana_program` crate, try updating your dependency with `cargo update -p solana_program`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: this warning originates in the macro `$crate::custom_panic_default` which comes from the expansion of the macro `entrypoint` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "636cf76eeb8f65545cad0d1ef3e874cec614ef8fb8937a56167a5b6bb04fdea1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "636cf76eeb8f65545cad0d1ef3e874cec614ef8fb8937a56167a5b6bb04fdea1", kill_on_drop: false }`
[INFO] [stdout] 636cf76eeb8f65545cad0d1ef3e874cec614ef8fb8937a56167a5b6bb04fdea1
