Parametrized tests (#3669)

<!-- Reference any GitHub issues resolved by this PR -->

Towards #1431

**Stack**:
- #3697
- #3669 ⬅
- #3671
- #3670

## Introduced changes

Introduce parametrized tests by addin `#[test_case]` attribute.

## Checklist

<!-- Make sure all of these are complete -->

- [x] Linked relevant issue
- [ ] Updated relevant documentation
- [x] Added relevant tests
- [x] Performed self-review of the code
- [ ] Added changes to `CHANGELOG.md`

Author: franciszekjob

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

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

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

@@ -0,0 +1,12 @@
+[package]
+name = "test_case_attr"
+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/test_case_attr/src/lib.cairo

@@ -0,0 +1 @@
+

crates/forge/tests/data/diagnostics/test_case_attr/tests/basic.cairo

@@ -0,0 +1,17 @@
+#[test]
+#[test_case(3, 4, 7)]
+fn function_without_params() {
+    let _x = 10;
+}
+
+#[test]
+#[test_case(3, 4, 7)]
+fn function_with_invalid_params_count(x: felt252, y: felt252) {
+    let _x = 10;
+}
+
+#[test]
+#[test_case(name: array![1, 2, 3], 3, 4, 7)]
+fn invalid_name_arg(x: felt252, y: felt252, expected: felt252) {
+    let _x = 10;
+}

crates/forge/tests/data/test_case/Scarb.toml

@@ -0,0 +1,10 @@
+[package]
+name = "test_case"
+version = "0.1.0"
+edition = "2024_07"
+
+[dependencies]
+starknet = "2.10.0"
+
+[dev-dependencies]
+snforge_std = { path = "../../../../../snforge_std" }

crates/forge/tests/data/test_case/src/lib.cairo

@@ -0,0 +1,17 @@
+#[starknet::contract]
+pub mod HelloStarknet {
+    #[storage]
+    struct Storage {}
+}
+
+
+pub fn add(a: felt252, b: felt252) -> felt252 {
+    a + b
+}
+
+pub fn fib(a: felt252, b: felt252, n: felt252) -> felt252 {
+    match n {
+        0 => a,
+        _ => fib(b, a + b, n - 1),
+    }
+}

crates/forge/tests/data/test_case/tests/exit_first.cairo

@@ -0,0 +1,11 @@
+use test_case::fib;
+
+#[test]
+#[test_case(0, 1, 3)]
+#[test_case(0, 1, 100000)]
+fn test_fib_with_threshold(a: felt252, b: felt252, n: felt252) {
+    let threshold: u256 = 10;
+    let res = fib(a, b, n);
+    let res: u256 = res.try_into().unwrap();
+    assert!(res > threshold, "result should be greater than threshold");
+}

crates/forge/tests/data/test_case/tests/multiple_attributes.cairo

@@ -0,0 +1,54 @@
+use test_case::add;
+
+#[test]
+#[test_case(1, 2, 3)]
+#[test_case(3, 4, 7)]
+#[available_gas(l2_gas: 40000000)]
+fn with_available_gas(a: felt252, b: felt252, expected: felt252) {
+    let result = add(a, b);
+    assert!(result == expected);
+}
+
+#[available_gas(l2_gas: 10000)]
+#[test_case(1, 2, 3)]
+#[test_case(3, 4, 7)]
+#[test]
+fn with_available_gas_exceed_limit(a: felt252, b: felt252, expected: felt252) {
+    let result = add(a, b);
+    assert!(result == expected);
+}
+
+
+#[test]
+#[should_panic(expected: 'panic message')]
+#[test_case(1, 2, 3)]
+#[test_case(3, 4, 7)]
+fn with_should_panic(a: felt252, b: felt252, expected: felt252) {
+    let x: i8 = -1;
+    assert(x > 0, 'panic message');
+}
+
+#[test]
+#[test_case(1, 2)]
+#[test_case(3, 4)]
+#[fuzzer]
+fn with_fuzzer(a: felt252, b: felt252) {
+    add(a, b);
+}
+
+#[test_case(1, 2)]
+#[test_case(3, 4)]
+#[test]
+#[fuzzer]
+fn with_fuzzer_different_order(a: felt252, b: felt252) {
+    add(a, b);
+}
+
+#[test]
+#[test_case(1, 2, 3)]
+#[ignore]
+#[test_case(3, 4, 7)]
+fn with_ignore(a: felt252, b: felt252, expected: felt252) {
+    let result = add(a, b);
+    assert!(result == expected);
+}

crates/forge/tests/data/test_case/tests/single_attribute.cairo

@@ -0,0 +1,20 @@
+use test_case::add;
+
+#[test]
+#[test_case(1, 2, 3)]
+#[test_case(3, 4, 7)]
+#[test_case(5, 6, 11)]
+fn simple_addition(a: felt252, b: felt252, expected: felt252) {
+    let result = add(a, b);
+    assert!(result == expected);
+}
+
+#[test]
+#[test_case(name: "one_and_two", 1, 2, 3)]
+#[test_case(name: "three_and_four", 3, 4, 7)]
+#[test_case(name: "five_and_six", 5, 6, 11)]
+fn addition_with_name_arg(a: felt252, b: felt252, expected: felt252) {
+    let result = add(a, b);
+    assert!(result == expected);
+}
+

crates/forge/tests/e2e/fuzzing.rs

@@ -311,7 +311,7 @@ fn no_fuzzer_attribute() {
     assert_stdout_contains(
         output,
         indoc! {r"
-        error: Plugin diagnostic: #[test] function with parameters must have #[fuzzer] attribute
+        error: Plugin diagnostic: #[test] function with parameters must have #[fuzzer] or #[test_case] attribute
          --> [..]no_attribute.cairo:1:1
         #[test]