From d2ba3934b91816398c7d0cdc706363cdcc08e356 Mon Sep 17 00:00:00 2001
From: yash <yasha4658@gmail.com>
Date: Mon, 13 Oct 2025 17:28:51 +0530
Subject: [PATCH 1/3] test workflow

---
 .../frameworks/noir/circuits/test/Nargo.toml          |  6 ++++++
 .../frameworks/noir/circuits/test/src/main.nr         | 11 +++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml
 create mode 100644 benchmarking-suite/frameworks/noir/circuits/test/src/main.nr

diff --git a/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml b/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml
new file mode 100644
index 00000000..0e6c7b44
--- /dev/null
+++ b/benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "test"
+type = "bin"
+authors = [""]
+
+[dependencies]
\ No newline at end of file
diff --git a/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr b/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr
new file mode 100644
index 00000000..3c30bf08
--- /dev/null
+++ b/benchmarking-suite/frameworks/noir/circuits/test/src/main.nr
@@ -0,0 +1,11 @@
+fn main(x: Field, y: pub Field) {
+    assert(x != y);
+}
+
+#[test]
+fn test_main() {
+    main(1, 2);
+
+    // Uncomment to make test fail
+    // main(1, 1);
+}

From aa3fb0d5d9b398bb572227010494f5528507c777 Mon Sep 17 00:00:00 2001
From: yash <yasha4658@gmail.com>
Date: Mon, 13 Oct 2025 17:35:59 +0530
Subject: [PATCH 2/3] workflow test

---
 .github/workflows/validate-circuits.yml            |  2 +-
 .../frameworks/circom/circuits/test.circom         | 11 +++++++++++
 .../frameworks/circom/circuits/test2.circom        | 14 ++++++++++++++
 3 files changed, 26 insertions(+), 1 deletion(-)
 create mode 100644 benchmarking-suite/frameworks/circom/circuits/test.circom
 create mode 100644 benchmarking-suite/frameworks/circom/circuits/test2.circom

diff --git a/.github/workflows/validate-circuits.yml b/.github/workflows/validate-circuits.yml
index c54ede75..49600026 100644
--- a/.github/workflows/validate-circuits.yml
+++ b/.github/workflows/validate-circuits.yml
@@ -75,7 +75,7 @@ jobs:
           echo "$HOME/.nargo/bin" >> $GITHUB_PATH
 
       - name: Add Noir to PATH
-        run: echo "$HOME/.nargo/bin" >> $GITHUB_PAT
+        run: echo "$HOME/.nargo/bin" >> $GITHUB_PATH
 
       - name: Detect changed circuit files
         id: detect
diff --git a/benchmarking-suite/frameworks/circom/circuits/test.circom b/benchmarking-suite/frameworks/circom/circuits/test.circom
new file mode 100644
index 00000000..737512ce
--- /dev/null
+++ b/benchmarking-suite/frameworks/circom/circuits/test.circom
@@ -0,0 +1,11 @@
+pragma circom 2.1.6;
+
+template Multiply() {
+  signal input a;
+  signal input b;
+  signal output out;
+
+  out <== a * b;
+}
+
+component main = Multiply();
\ No newline at end of file
diff --git a/benchmarking-suite/frameworks/circom/circuits/test2.circom b/benchmarking-suite/frameworks/circom/circuits/test2.circom
new file mode 100644
index 00000000..90af2299
--- /dev/null
+++ b/benchmarking-suite/frameworks/circom/circuits/test2.circom
@@ -0,0 +1,14 @@
+pragma circom 2.0.0;
+
+/*This circuit template checks that c is the multiplication of a and b.*/  
+
+template Multiplier2 () {  
+
+   // Declaration of signals.  
+   signal input a;  
+   signal input b;  
+   signal output c;  
+
+   // Constraints.  
+   c <== a * b;  
+}
\ No newline at end of file

From 5ef365b168dec8be94e64ca2cdf38149cc9db046 Mon Sep 17 00:00:00 2001
From: yash <yasha4658@gmail.com>
Date: Mon, 13 Oct 2025 17:46:20 +0530
Subject: [PATCH 3/3] test

---
 main.py | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 main.py

diff --git a/main.py b/main.py
new file mode 100644
index 00000000..5091021f
--- /dev/null
+++ b/main.py
@@ -0,0 +1,4 @@
+def main(): 
+    print("Hello, World!")
+
+main()
\ No newline at end of file