Add more test cases.

zkemail · May 12, 2024 · c1190ac · c1190ac
1 parent 9962a11
commit c1190ac
Show file tree

Hide file tree

Showing 31 changed files with 340 additions and 0 deletions.
diff --git a/packages/circom/tests/circuits/asterisk1.json b/packages/circom/tests/circuits/asterisk1.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "a*"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/asterisk2.json b/packages/circom/tests/circuits/asterisk2.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "b*"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/asterisk3.json b/packages/circom/tests/circuits/asterisk3.json
@@ -0,0 +1,16 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": ".*"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/asterisk4.json b/packages/circom/tests/circuits/asterisk4.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".*"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/asterisk5.json b/packages/circom/tests/circuits/asterisk5.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": ".*"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/asterisk6.json b/packages/circom/tests/circuits/asterisk6.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".*"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret1.json b/packages/circom/tests/circuits/caret1.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "^a"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret2.json b/packages/circom/tests/circuits/caret2.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "^(a|b|c)"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret3.json b/packages/circom/tests/circuits/caret3.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "^.+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret4.json b/packages/circom/tests/circuits/caret4.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "(\n|^)a+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret5.json b/packages/circom/tests/circuits/caret5.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "(\n|^).+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/caret6.json b/packages/circom/tests/circuits/caret6.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "(\n|^)[^abc]+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/dot1.json b/packages/circom/tests/circuits/dot1.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "."
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/dot2.json b/packages/circom/tests/circuits/dot2.json
@@ -0,0 +1,16 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "."
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/multi_accept1.json b/packages/circom/tests/circuits/multi_accept1.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "(b|c)"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/multi_accept2.json b/packages/circom/tests/circuits/multi_accept2.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "(b|c)*"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/multi_accept3.json b/packages/circom/tests/circuits/multi_accept3.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "(b|c)+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/multi_accept4.json b/packages/circom/tests/circuits/multi_accept4.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "([^abc]+|c+)+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/multi_accept5.json b/packages/circom/tests/circuits/multi_accept5.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "(\r|^)a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "([^abc]+|c+)+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus1.json b/packages/circom/tests/circuits/plus1.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "a+"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus2.json b/packages/circom/tests/circuits/plus2.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": "b+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus3.json b/packages/circom/tests/circuits/plus3.json
@@ -0,0 +1,16 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "a"
+        },
+        {
+            "is_public": true,
+            "regex_def": ".+"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus4.json b/packages/circom/tests/circuits/plus4.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".+"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus5.json b/packages/circom/tests/circuits/plus5.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".+"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/plus6.json b/packages/circom/tests/circuits/plus6.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".+"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/question1.json b/packages/circom/tests/circuits/question1.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "a?"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/question2.json b/packages/circom/tests/circuits/question2.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "a?"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/question3.json b/packages/circom/tests/circuits/question3.json
@@ -0,0 +1,12 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": ".?"
+        },
+        {
+            "is_public": false,
+            "regex_def": "b"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/question4.json b/packages/circom/tests/circuits/question4.json
@@ -0,0 +1,16 @@
+{
+    "parts": [
+        {
+            "is_public": false,
+            "regex_def": "aa"
+        },
+        {
+            "is_public": true,
+            "regex_def": "a?"
+        },
+        {
+            "is_public": false,
+            "regex_def": "a"
+        }
+    ]
+}
diff --git a/packages/circom/tests/circuits/reveal_check1.json b/packages/circom/tests/circuits/reveal_check1.json
@@ -0,0 +1,8 @@
+{
+    "parts": [
+        {
+            "is_public": true,
+            "regex_def": "aba"
+        }
+    ]
+}