SMT test title better explained
Jordi Baylina jordi@baylina.cat
Tue, 17 Dec 2019 17:12:29 +0100
1 files changed,
1 insertions(+),
1 deletions(-)
jump to
M
test/smtprocessor.js
→
test/smtprocessor.js
@@ -77,7 +77,7 @@ await circuit.assertOut(w, {newRoot: res.newRoot});
} -describe("SMT test", function () { +describe("SMT Processor test", function () { let circuit; let tree;