kesto/circom-examples/test/equation.test.ts
circom-examples/test/equation.test.tsRaw
1const path = require("path");
2const tester = require("circom").tester;
3const chai = require("chai");
4const assert = chai.assert;
5
6export {};
7
8describe("equation test", function () {
9 this.timeout(200000);
10
11
12 it("Test equation", async () => {
13 const circuit = await tester(
14 path.join(__dirname, "../circuits", "equation.circom"),
15 {reduceConstraints: false}
16 );
17
18 const witness = await circuit.calculateWitness({
19 "x": 4,
20 "y": 2
21 });
22 await circuit.checkConstraints(witness);
23 });
24});