Add tests for diagnostics

commit-id:34dd50be

Author: cptartur

Cargo.lock

@@ -65,5 +65,6 @@ tempfile.workspace = true
 cairo-lang-starknet-classes.workspace = true
 walkdir.workspace = true
 test-case.workspace = true
+itertools.workspace = true
 docs = { workspace = true, features = ["testing"] }
 packages_validation = { path = "../testing/packages_validation"}

crates/forge/Cargo.toml

@@ -0,0 +1 @@
+tests/

crates/forge/tests/data/diagnostics/attributes/.cairofmtignore

@@ -0,0 +1,12 @@
+[package]
+name = "attributes"
+version = "0.1.0"
+edition = "2024_07"
+
+[dependencies]
+starknet = "2.9.3"
+
+[dev-dependencies]
+snforge_std = { path = "../../../../../../snforge_std" }
+
+[[target.starknet-contract]]

crates/forge/tests/data/diagnostics/attributes/Scarb.toml

@@ -0,0 +1,44 @@
+#[starknet::interface]
+pub trait IHelloStarknet<TContractState> {
+    fn increase_balance(ref self: TContractState, amount: felt252);
+    fn get_balance(self: @TContractState) -> felt252;
+    fn do_a_panic(self: @TContractState);
+    fn do_a_panic_with(self: @TContractState, panic_data: Array<felt252>);
+}
+
+#[starknet::contract]
+pub mod HelloStarknet {
+    use core::array::ArrayTrait;
+    use starknet::storage::{StoragePointerReadAccess, StoragePointerWriteAccess};
+
+    #[storage]
+    struct Storage {
+        balance: felt252,
+    }
+
+    #[abi(embed_v0)]
+    impl IHelloStarknetImpl of super::IHelloStarknet<ContractState> {
+        // Increases the balance by the given amount
+        fn increase_balance(ref self: ContractState, amount: felt252) {
+            self.balance.write(self.balance.read() + amount);
+        }
+
+        // Returns the current balance
+        fn get_balance(self: @ContractState) -> felt252 {
+            self.balance.read()
+        }
+
+        // Panics
+        fn do_a_panic(self: @ContractState) {
+            let mut arr = ArrayTrait::new();
+            arr.append('PANIC');
+            arr.append('DAYTAH');
+            panic(arr);
+        }
+
+        // Panics with given array data
+        fn do_a_panic_with(self: @ContractState, panic_data: Array<felt252>) {
+            panic(panic_data);
+        }
+    }
+}

crates/forge/tests/data/diagnostics/attributes/src/hello_starknet.cairo

@@ -0,0 +1 @@
+pub mod hello_starknet;

crates/forge/tests/data/diagnostics/attributes/src/lib.cairo

@@ -0,0 +1,11 @@
+use core::array::ArrayTrait;
+use core::result::ResultTrait;
+use snforge_std::cheatcodes::contract_class::DeclareResultTrait;
+use snforge_std::{ContractClassTrait, declare};
+
+@attrs@
+fn call_and_invoke1(_a: felt252, b: u256) {
+    let contract = declare("HelloStarknet").unwrap().contract_class();
+    let constructor_calldata = @ArrayTrait::new();
+    let (_contract_address1, _) = contract.deploy(constructor_calldata).unwrap()
+}

crates/forge/tests/data/diagnostics/attributes/tests/contract.cairo

@@ -0,0 +1,12 @@
+[package]
+name = "generic"
+version = "0.1.0"
+edition = "2024_07"
+
+[dependencies]
+starknet = "2.9.3"
+
+[dev-dependencies]
+snforge_std = { path = "../../../../../../snforge_std" }
+
+[[target.starknet-contract]]

crates/forge/tests/data/diagnostics/generic/Scarb.toml

@@ -0,0 +1,44 @@
+#[starknet::interface]
+pub trait IHelloStarknet<TContractState> {
+    fn increase_balance(ref self: TContractState, amount: felt252);
+    fn get_balance(self: @TContractState) -> felt252;
+    fn do_a_panic(self: @TContractState);
+    fn do_a_panic_with(self: @TContractState, panic_data: Array<felt252>);
+}
+
+#[starknet::contract]
+pub mod HelloStarknet {
+    use core::array::ArrayTrait;
+    use starknet::storage::{StoragePointerReadAccess, StoragePointerWriteAccess};
+
+    #[storage]
+    struct Storage {
+        balance: felt252,
+    }
+
+    #[abi(embed_v0)]
+    impl IHelloStarknetImpl of super::IHelloStarknet<ContractState> {
+        // Increases the balance by the given amount
+        fn increase_balance(ref self: ContractState, amount: felt252) {
+            self.balance.write(self.balance.read() + amount);
+        }
+
+        // Returns the current balance
+        fn get_balance(self: @ContractState) -> felt252 {
+            self.balance.read()
+        }
+
+        // Panics
+        fn do_a_panic(self: @ContractState) {
+            let mut arr = ArrayTrait::new();
+            arr.append('PANIC');
+            arr.append('DAYTAH');
+            panic(arr);
+        }
+
+        // Panics with given array data
+        fn do_a_panic_with(self: @ContractState, panic_data: Array<felt252>) {
+            panic(panic_data);
+        }
+    }
+}

crates/forge/tests/data/diagnostics/generic/src/hello_starknet.cairo

@@ -0,0 +1 @@
+pub mod hello_starknet;