Added to_addr test as hardcoded project. This one also consists of combining multiple regex match parts.

Author: ewynx

test_suite/hardcoded_tests/to_addr/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "to_addr"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.34.0"
+
+[dependencies]

test_suite/hardcoded_tests/to_addr/README.md

@@ -0,0 +1,25 @@
+# to_addr test
+
+This test for the circom code uses a circuit that includes 3 templates. The 3 templates have been generated with decomposed regex information (see `/decomposed`):
+- "to_all"
+- "email_addr_with_name"
+- "email_addr"
+
+They are combined as follows: "to_all" extracts a substring `s`. Then `s` is used as the input for both "email_addr_with_name" and "email_addr".
+
+- "email_addr_with_name" matches an email address between `<>` 
+- "email_addr" only matches the email address
+
+If "email_addr_with_name" found an email address, that one is returned. Otherwise the email address found with "email_addr" is returned. If nothing was found, the match fails. 
+
+## Recreate templates
+
+```
+zk-regex decomposed -d decomposed/to_all.json --noir-file-path src/to_all.nr -g true
+
+zk-regex decomposed -d decomposed/email_addr_with_name.json --noir-file-path src/email_addr_with_name.nr -g true
+
+zk-regex decomposed -d decomposed/email_addr.json --noir-file-path src/email_addr.nr -g true
+```
+
+Note that `email_addr_with_name.nr` and `email_addr.nr` have to be adjusted to return a bool instead of fail the assertion if they don't match the regex. Otherwise we can't execute both functions and see which one returns a substring. 

test_suite/hardcoded_tests/to_addr/decomposed/email_addr.json

@@ -0,0 +1,8 @@
+{
+  "parts": [
+    {
+      "is_public": true,
+      "regex_def": "[A-Za-z0-9!#$%&'*+=?\\-\\^_`{|}~./@]+@[A-Za-z0-9.\\-]+"
+    }
+  ]
+}

test_suite/hardcoded_tests/to_addr/decomposed/email_addr_with_name.json

@@ -0,0 +1,16 @@
+{
+  "parts": [
+    {
+      "is_public": false,
+      "regex_def": "[^\r\n]+<"
+    },
+    {
+      "is_public": true,
+      "regex_def": "[A-Za-z0-9!#$%&'*+=?\\-\\^_`{|}~./@]+@[a-zA-Z0-9.\\-]+"
+    },
+    {
+      "is_public": false,
+      "regex_def": ">"
+    }
+  ]
+}

test_suite/hardcoded_tests/to_addr/decomposed/to_all.json

@@ -0,0 +1,16 @@
+{
+  "parts": [
+      {
+          "is_public": false,
+          "regex_def": "(\r\n|^)to:"
+      },
+      {
+          "is_public": true,
+          "regex_def": "[^\r\n]+"
+      },
+      {
+          "is_public": false,
+          "regex_def": "\r\n"
+      }
+  ]
+}