Skip to content

Commit 7e74ffe

Browse files
committed
Tested non array value
1 parent 5eebe8c commit 7e74ffe

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

test/circom-template-inputs-visitor.test.ts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,7 @@ describe("Circom Template Inputs Visitor", () => {
164164
expect(visitor.templateInputs.in1.dimension).to.deep.equal([]);
165165

166166
expect(visitor.templateInputs.in2.type).to.equal("input");
167-
expect(visitor.templateInputs.in2.dimension).to.deep.equal([15, 10]);
167+
expect(visitor.templateInputs.in2.dimension).to.deep.equal([15, 30]);
168168

169169
expect(visitor.templateInputs.out.type).to.equal("output");
170170
expect(visitor.templateInputs.out.dimension).to.deep.equal([]);
Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
pragma circom 2.1.6;
22

3-
template SomeCircuit(p1){
3+
template SomeCircuit(p1, p2){
44
signal input in1;
5-
signal input in2[p1[1] * p1[0]][p1[3] * p1[2]];
5+
signal input in2[p1[1] * p1[0]][p1[3] * p1[2] * p2];
66

77
signal output out <== in1 * in2[0][0];
88
}
99

10-
component main {public [in1]} = SomeCircuit([5, 3, 2, 5]);
10+
component main {public [in1]} = SomeCircuit([5, 3, 2, 5], 3);

0 commit comments

Comments
 (0)