=== starkware-libs/starknet-staking-6ce68235a === >>> git clone --depth 1 --no-tags https://github.com/starkware-libs/starknet-staking . [err] Cloning into '.'... >>> maat-check-versions [out] Name Version Source Installed [out] nodejs 23.11.0 ASDF_NODEJS_VERSION true [out] scarb 2.11.4 ASDF_SCARB_VERSION true [out] starknet-foundry nightly-2025-07-15 ASDF_STARKNET-FOUNDRY_VERSION true >>> maat-patch [err] Installed 1 package in 2ms [out] diff --git a/Scarb.toml b/Scarb.toml [out] index 65c1739..300b05e 100644 [out] --- a/Scarb.toml [out] +++ b/Scarb.toml [out] @@ -27,3 +27,14 @@ block_id.tag = "latest" [out] [out] [workspace.tool.scarb] [out] allow-prebuilt-plugins = ["snforge_std"] [out] + [out] +[patch.scarbs-xyz] [out] +assert_macros = "2.11.4" # NOTE: added by maat-patch, was: None [out] +starknet = "2.11.4" # NOTE: added by maat-patch, was: None [out] +cairo_test = "2.11.4" # NOTE: added by maat-patch, was: None [out] +snforge_std = {version = "0.46.0+nightly-2025-07-15", registry = "https://scarbs.dev/"} # NOTE: added by maat-patch, was: None [out] +snforge_scarb_plugin = {version = "0.46.0+nightly-2025-07-15", registry = "https://scarbs.dev/"} # NOTE: added by maat-patch, was: None [out] + [out] +[patch."https://github.com/foundry-rs/starknet-foundry.git"] [out] +snforge_std = {version = "0.46.0+nightly-2025-07-15", registry = "https://scarbs.dev/"} # NOTE: added by maat-patch, was: None [out] +snforge_scarb_plugin = {version = "0.46.0+nightly-2025-07-15", registry = "https://scarbs.dev/"} # NOTE: added by maat-patch, was: None [out] diff --git a/workspace/apps/staking/contracts/Scarb.toml b/workspace/apps/staking/contracts/Scarb.toml [out] index 86f76c9..a78df2a 100644 [out] --- a/workspace/apps/staking/contracts/Scarb.toml [out] +++ b/workspace/apps/staking/contracts/Scarb.toml [out] @@ -2,6 +2,7 @@ [out] name = "staking" [out] version = "1.14.5" [out] edition = "2023_11" [out] +cairo-version = "2.11.4" # NOTE: added by maat-patch, was: None [out] [out] [dependencies] [out] starknet.workspace = true [out] @@ -36,6 +37,7 @@ sort-module-level-items = true [out] [tool] [out] snforge.workspace = true [out] scarb.workspace = true [out] +scarb.allow-prebuilt-plugins = ["snforge_std"] # NOTE: maat-patch added 'snforge_std' [out] [out] [features] [out] fork_test = [] >>> scarb fetch [out] Updating git repository https://github.com/starkware-libs/starkware-starknet-utils [out] Downloading openzeppelin_access v2.0.0 [out] Downloading openzeppelin v2.0.0 [out] Downloading openzeppelin_security v2.0.0 [out] Downloading openzeppelin_upgrades v2.0.0 [out] Downloading openzeppelin_testing v4.2.0 [out] Downloading openzeppelin_utils v2.0.0 [out] Downloading openzeppelin_finance v2.0.0 [out] Downloading openzeppelin_account v2.0.0 [out] Downloading snforge_scarb_plugin v0.45.0 [out] Downloading openzeppelin_merkle_tree v2.0.0 [out] Downloading openzeppelin_token v2.0.0 [out] Downloading openzeppelin_presets v2.0.0 [out] Downloading snforge_std v0.45.0 [out] Downloading openzeppelin_introspection v2.0.0 [out] Downloading openzeppelin_governance v2.0.0 >>> scarb tree -q --workspace [out] error: no such command: `tree` [out] [out] Stack backtrace: [out] 0: anyhow::kind::Adhoc::new [out] 1: anyhow::__private::format_err.100642 [out] 2: scarb::commands::run [out] 3: scarb::main [out] 4: std::sys::backtrace::__rust_begin_short_backtrace [out] 5: main [out] 6: __libc_start_call_main [out] 7: __libc_start_main_impl [out] 8: _start Process finished with exit code 1 >>> scarb build --workspace --test [out] Compiling test(contracts_unittest) staking v1.14.5 (/mnt/maat-workbench/workspace/apps/staking/contracts/Scarb.toml) [out] Finished `dev` profile target(s) in 59 seconds >>> scarb lint --workspace --deny-warnings [err] error: unexpected argument '--deny-warnings' found [err] [err] tip: a similar argument exists: '--no-warnings' [err] [err] Usage: scarb lint --workspace --no-warnings [err] [err] For more information, try '--help'. Process finished with exit code 2 >>> SNFORGE_FUZZER_SEED=1 SNFORGE_IGNORE_FORK_TESTS=1 scarb test --workspace [out] Running test staking (SNFORGE_BACKTRACE=1 snforge test) [out] [ERROR] On Scarb versions < 2.12.0, the `snforge_std` package must be replaced with `snforge_std_compatibility`. Please update it in Scarb.toml Process finished with exit code 2 >>> maat-test-ls [err] 0.003908605s WARN cairo_language_server::config: client does not support `workspace/configuration` requests, config will not be reloaded [out] Opening file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/lib.cairo [out] [out] ============================== [out] Analysis completed, server is idle. [out] [out] ============================== [out] # Analyzed Crates [out] [out] - `core`: `["/mnt/maat-cache/scarb/registry/std/v2.11.4/core/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "core", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 11, [out] patch: 4, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: true, [out] associated_item_constraints: true, [out] coupons: true, [out] }, [out] } [out] ``` [out] - `openzeppelin`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin": DependencySettings { [out] discriminator: Some( [out] "openzeppelin 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_account": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_account 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_finance": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_finance 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_governance": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_governance 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_merkle_tree": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_merkle_tree 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_presets": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_presets 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_security": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_security 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_token": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_token 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_upgrades": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_upgrades 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_access`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_access-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_access", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_account`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_account-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_account", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_account": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_account 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_finance`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_finance-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_finance", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_finance": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_finance 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_token": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_token 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_governance`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_governance-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_governance", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_account": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_account 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_governance": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_governance 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_token": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_token 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_introspection`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_introspection-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_introspection", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_merkle_tree`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_merkle_tree-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_merkle_tree", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_merkle_tree": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_merkle_tree 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_presets`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_presets-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_presets", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_account": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_account 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_finance": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_finance 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_presets": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_presets 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_token": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_token 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_upgrades": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_upgrades 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_security`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_security-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_security", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_security": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_security 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_testing`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_testing-4.2.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_testing", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 4, [out] minor: 2, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_testing": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_testing 4.2.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "snforge_std": DependencySettings { [out] discriminator: Some( [out] "snforge_std 0.45.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_token`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_token-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_token", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_access": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_access 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_account": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_account 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_introspection": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_introspection 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_token": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_token 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_upgrades`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_upgrades-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_upgrades", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_upgrades": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_upgrades 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `openzeppelin_utils`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/openzeppelin_utils-2.0.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "openzeppelin_utils", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin_utils": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_utils 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `snforge_std`: `["/mnt/maat-cache/scarb/registry/src/scarbs.xyz-9djtpev4jug5q/snforge_std-0.45.0/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "snforge_std", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 0, [out] minor: 45, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "snforge_std": DependencySettings { [out] discriminator: Some( [out] "snforge_std 0.45.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `staking`: `["/mnt/maat-workbench/workspace/apps/staking/contracts/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "staking", [out] ), [out] edition: V2023_11, [out] version: Some( [out] Version { [out] major: 1, [out] minor: 14, [out] patch: 5, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] test, [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin": DependencySettings { [out] discriminator: Some( [out] "openzeppelin 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "snforge_std": DependencySettings { [out] discriminator: Some( [out] "snforge_std 0.45.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "staking": DependencySettings { [out] discriminator: Some( [out] "staking 1.14.5 (path+file:///mnt/maat-workbench/workspace/apps/staking/contracts/Scarb.toml)", [out] ), [out] }, [out] "starkware_utils": DependencySettings { [out] discriminator: Some( [out] "starkware_utils 1.0.0 (git+https://github.com/starkware-libs/starkware-starknet-utils?branch=main#1fe679e9d7f5c19db08559db7b52cfb305b5c69b)", [out] ), [out] }, [out] "starkware_utils_testing": DependencySettings { [out] discriminator: Some( [out] "starkware_utils_testing 1.0.0 (git+https://github.com/starkware-libs/starkware-starknet-utils?branch=main#1fe679e9d7f5c19db08559db7b52cfb305b5c69b)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `starkware_utils`: `["/mnt/maat-cache/scarb/registry/git/checkouts/starkware-starknet-utils-co5ag083kk1bq/1fe679e/packages/utils/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "starkware_utils", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 1, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin": DependencySettings { [out] discriminator: Some( [out] "openzeppelin 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "starkware_utils": DependencySettings { [out] discriminator: Some( [out] "starkware_utils 1.0.0 (git+https://github.com/starkware-libs/starkware-starknet-utils?branch=main#1fe679e9d7f5c19db08559db7b52cfb305b5c69b)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] - `starkware_utils_testing`: `["/mnt/maat-cache/scarb/registry/git/checkouts/starkware-starknet-utils-co5ag083kk1bq/1fe679e/packages/testing/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "starkware_utils_testing", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 1, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "openzeppelin": DependencySettings { [out] discriminator: Some( [out] "openzeppelin 2.0.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "openzeppelin_testing": DependencySettings { [out] discriminator: Some( [out] "openzeppelin_testing 4.2.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "snforge_std": DependencySettings { [out] discriminator: Some( [out] "snforge_std 0.45.0 (registry+https://scarbs.xyz/)", [out] ), [out] }, [out] "starkware_utils": DependencySettings { [out] discriminator: Some( [out] "starkware_utils 1.0.0 (git+https://github.com/starkware-libs/starkware-starknet-utils?branch=main#1fe679e9d7f5c19db08559db7b52cfb305b5c69b)", [out] ), [out] }, [out] "starkware_utils_testing": DependencySettings { [out] discriminator: Some( [out] "starkware_utils_testing 1.0.0 (git+https://github.com/starkware-libs/starkware-starknet-utils?branch=main#1fe679e9d7f5c19db08559db7b52cfb305b5c69b)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] [out] [out] ============================== [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/attestation/test.cairo (16) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 34, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 71, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 204, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 229, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 230, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 239, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 264, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 277, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 278, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 290, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 304, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 316, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 345, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 367, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 385, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 386, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/flow_test/test.cairo (38) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 11, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 17, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 23, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 29, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 35, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 41, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 47, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 53, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 59, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 65, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 71, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 77, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 83, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 89, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 95, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 101, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 107, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 113, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 119, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 125, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 131, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 137, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 143, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 149, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 155, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 161, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 167, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 173, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 179, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 185, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 196, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 197, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 239, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 300, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 378, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 508, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 635, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 734, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/flow_test/utils.cairo (1) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1831, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/minting_curve/test.cairo (10) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 15, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 39, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 65, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 66, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 81, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 82, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 97, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 98, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 113, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 128, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/pool/objects.cairo (1) [out] (W) Plugin diagnostic: Leaving `panic` in the code is discouraged. [Ln 207, Col 17] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/pool/pool_member_balance_trace/test.cairo (19) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 10, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 41, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 42, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 54, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 55, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 62, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 76, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 90, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 91, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 98, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 113, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 127, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 142, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 148, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 154, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 173, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 192, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 193, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 200, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/pool/pool.cairo (1) [out] (W) Plugin diagnostic: using [`<`, `<=`, `>=`, `>`] exit conditions is inefficient. Consider switching to `!=` or using ArrayTrait::multi_pop_front. [Ln 803, Col 18] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/pool/test.cairo (53) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 63, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 73, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 146, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 176, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 225, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 263, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 298, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 312, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 313, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 327, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 351, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 352, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 368, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 369, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 388, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 426, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 427, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 445, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 502, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 574, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 599, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 696, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 809, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 886, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 922, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1010, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1042, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1104, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1153, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1154, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1167, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1168, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1185, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1255, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1313, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1331, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1332, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1345, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1422, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1440, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1466, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1467, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1476, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1497, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1517, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1535, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1552, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1588, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1620, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1647, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1648, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1657, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1677, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/reward_supplier/test.cairo (15) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 46, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 72, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 96, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 129, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 143, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 232, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 233, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 253, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 254, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 278, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 307, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 333, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 368, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 369, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 385, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/staking/objects.cairo (20) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 175, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 193, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 194, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 199, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 200, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 205, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 206, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 214, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 239, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 264, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 265, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 277, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 278, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 290, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 291, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 304, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 305, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 316, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 337, Col 4] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 374, Col 4] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/staking/pause_test.cairo (38) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 20, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 56, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 97, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 98, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 111, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 112, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 125, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 126, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 134, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 135, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 146, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 147, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 158, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 159, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 170, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 171, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 182, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 183, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 194, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 195, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 207, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 208, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 219, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 220, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 231, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 232, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 243, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 244, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 255, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 256, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 270, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 271, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 282, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 283, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 301, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 302, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 313, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 314, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/staking/staker_balance_trace/test.cairo (22) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 7, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 27, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 28, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 36, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 37, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 44, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 56, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 68, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 69, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 76, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 89, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 102, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 114, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 122, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 131, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 145, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 154, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 163, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 172, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 181, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 200, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 201, Col 0] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/staking/staking.cairo (3) [out] (W) Plugin diagnostic: Each `if`-statement adds one level of nesting, which makes code look more complex than it really is. [Ln 652, Col 12] [out] (W) Plugin diagnostic: Consider using else if instead of else { if ... } [Ln 1272, Col 16] [out] (W) Plugin diagnostic: Consider using else if instead of else { if ... } [Ln 1270, Col 12] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/staking/test.cairo (192) [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 99, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 140, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 220, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 261, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 262, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 282, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 283, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 304, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 305, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 313, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 314, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 346, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 365, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 401, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 449, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 450, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 461, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 462, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 476, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 477, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 489, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 490, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 505, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 537, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 538, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 551, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 614, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 615, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 628, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 629, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 639, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 670, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 709, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 764, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 765, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 777, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 778, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 799, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 852, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 960, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 989, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1013, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1070, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1128, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1285, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1360, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1425, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1442, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1443, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1468, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1595, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1725, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1743, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1825, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1826, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1840, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1876, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1877, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1886, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1887, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1900, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1901, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1916, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1917, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1930, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2015, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2054, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2102, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2103, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2117, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2118, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2134, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2135, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2151, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2177, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2178, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2198, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2199, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2213, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2240, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2241, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2252, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2336, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2367, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2408, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2451, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2452, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2466, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2467, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2482, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2483, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2494, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2495, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2509, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2510, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2528, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2529, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2542, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2564, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2565, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2577, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2601, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2602, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2614, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2627, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2628, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2642, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2666, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2667, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2679, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2694, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2695, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2704, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2724, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2767, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2768, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2777, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2797, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2798, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2806, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2824, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2849, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2865, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2908, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 2938, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3015, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3186, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3224, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3236, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3243, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3252, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3272, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3284, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3285, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3293, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3311, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3323, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3343, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3357, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3358, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3367, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3368, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3389, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3390, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3399, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3400, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3410, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3450, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3466, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3467, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3480, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3502, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3524, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3525, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3534, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3535, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3544, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3560, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3603, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3625, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3626, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3638, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3639, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3654, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3673, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3707, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3708, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3720, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3749, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3848, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3872, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3873, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3895, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3896, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3919, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3920, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3943, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3944, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 3967, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4015, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4067, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4079, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4112, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4147, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4189, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4230, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4285, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4320, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4321, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4330, Col 0] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 4331, Col 0] [out] (W) Plugin diagnostic: Leaving `panic` in the code is discouraged. [Ln 3319, Col 8] [out] file:///mnt/maat-workbench/workspace/apps/staking/contracts/src/test_utils.cairo (2) [out] (W) Plugin diagnostic: Leaving `panic` in the code is discouraged. [Ln 721, Col 13] [out] (E) Plugin diagnostic: Unsupported attribute. [Ln 1207, Col 4] [out] total: 424 errors, 7 warnings, 0 infos, 0 hints [out] [out] ============================== [out] CairoLS process exited with code: SIGTERM