Skip to content

Commit

Permalink
Add program to test circuits
Browse files Browse the repository at this point in the history
  • Loading branch information
SoraSuegami committed Oct 11, 2024
1 parent 7769c13 commit 8d3bcd5
Show file tree
Hide file tree
Showing 32 changed files with 64 additions and 0 deletions.
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_asterisk1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./asterisk1_regex.circom";

component main = Asterisk1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_asterisk2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./asterisk2_regex.circom";

component main = Asterisk2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_asterisk3_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./asterisk3_regex.circom";

component main = Asterisk3Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_body_hash_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/body_hash_regex.circom";

component main = BodyHashRegex(1024);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_caret1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./caret1_regex.circom";

component main = Caret1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_caret2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./caret2_regex.circom";

component main = Caret2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_caret3_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./caret3_regex.circom";

component main = Caret3Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_caret4_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./caret4_regex.circom";

component main = Caret4Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_caret5_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./caret5_regex.circom";

component main = Caret5Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_dollar1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./dollar1_regex.circom";

component main = Dollar1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_dollar2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./dollar2_regex.circom";

component main = Dollar2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_dot1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./dot1_regex.circom";

component main = Dot1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_dot2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./dot2_regex.circom";

component main = Dot2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_email_addr_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/email_addr_regex.circom";

component main = EmailAddrRegex(256);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_email_domain_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/email_domain_regex.circom";

component main = EmailDomainRegex(256);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_from_addr_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/from_addr_regex.circom";

component main = FromAddrRegex(1024);
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./invitation_code_with_prefix_regex.circom";

component main = InvitationCodeWithPrefixRegex(256);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_message_id_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/message_id_regex.circom";

component main = MessageIdRegex(256);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_negate1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,2 +1,4 @@
pragma circom 2.1.5;

include "./negate1_regex.circom";
component main = Negate1Regex(64);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_negate2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,2 +1,4 @@
pragma circom 2.1.5;

include "./negate2_regex.circom";
component main = Negate2Regex(64);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_plus1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./plus1_regex.circom";

component main = Plus1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_plus2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./plus2_regex.circom";

component main = Plus2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_plus3_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./plus3_regex.circom";

component main = Plus3Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_plus4_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./plus4_regex.circom";

component main = Plus4Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_question1_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./question1_regex.circom";

component main = Question1Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_question2_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./question2_regex.circom";

component main = Question2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_question3_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./question3_regex.circom";

component main = Question3Regex(8);
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./reveal_check1_regex.circom";

component main = RevealCheck1Regex(8);
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "./reveal_check2_regex.circom";

component main = RevealCheck2Regex(8);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_subject_all_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/subject_all_regex.circom";

component main = SubjectAllRegex(256);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_timestamp_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/timestamp_regex.circom";

component main = TimestampRegex(1024);
2 changes: 2 additions & 0 deletions packages/circom/tests/circuits/test_to_addr_regex.circom
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
pragma circom 2.1.5;

include "../../circuits/common/to_addr_regex.circom";

component main = ToAddrRegex(1024);

0 comments on commit 8d3bcd5

Please sign in to comment.