1const chai = require("chai");
 2const fs = require("fs");
 3
 4const Circuit = require("../src/circuit.js");
 5const BN128 = require("../src/BN128.js");
 6const F1Field = require("../src/zqfield.js");
 7
 8const assert = chai.assert;
 9
10
11describe("Calculate witness", () => {
12    it("Should calculate the witness of a sum circuit", () => {
13
14        const cirDef = JSON.parse(fs.readFileSync("../jaz/sum.json", "utf8"));
15        const cir = new Circuit(cirDef);
16        const witness = cir.calculateWitness({"a": "33", "b": "34"});
17
18        assert.equal(witness[cir.getSignalIdx("main.out")].toString(), "67");
19    });
20});