Add tests for diagnostics

commit-id:34dd50be

Author: cptartur

Cargo.lock

@@ -66,5 +66,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 @@
+

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 @@
+

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

@@ -0,0 +1,31 @@
+fn smallest_element<T, impl TPartialOrd: PartialOrd<T>, impl TCopy: Copy<T>, impl TDrop: Drop<T>>(
+    list: @Array<T>,
+) -> T {
+    let mut smallest = *list[0];
+    let mut index = 1;
+
+    while index < list.len() {
+        if *list[index] < smallest {
+            smallest = *list[index];
+        }
+        index = index + 1;
+    }
+
+    smallest
+}
+
+struct MyStruct {
+    pub value: felt252,
+}
+
+#[test]
+#[fuzzer]
+#[fork(url: "http://127.0.0.1:3030", block_tag: latest)]
+#[ignore]
+fn call_and_invoke(_a: felt252, b: u256) {
+    let list: Array<MyStruct> = array![];
+
+    // We need to specify that we are passing a snapshot of `list` as an argument
+    let s = smallest_element(@list);
+    assert!(s == 3);
+}

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

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