Workflow test

.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

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();

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;  
+}

benchmarking-suite/frameworks/noir/circuits/test/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "test"
+type = "bin"
+authors = [""]
+
+[dependencies]

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);
+}

main.py

@@ -0,0 +1,4 @@
+def main(): 
+    print("Hello, World!")
+
+main()