From a535f34671887369b0d7d28f8f24d69437bc1c15 Mon Sep 17 00:00:00 2001 From: Alejandro Date: Fri, 7 Jul 2023 17:46:11 +0200 Subject: [PATCH] Corrected .js files --- src/compiler.js | 6 +++--- src/main_pilverifier.js | 2 +- src/pil.js | 2 +- src/pil_verifier.js | 2 +- src/polsarray.js | 2 +- test/nonBinarySelectors.js | 4 ++-- 6 files changed, 9 insertions(+), 9 deletions(-) diff --git a/src/compiler.js b/src/compiler.js index 9d29698..c92b6e3 100644 --- a/src/compiler.js +++ b/src/compiler.js @@ -267,7 +267,7 @@ module.exports = async function compile(Fr, fileName, ctx, config = {}) { ctx.expressions.push(s.selT); pu.selT = selTidx; } - if (pu.f.length != pu.t.length ) error(s, `${s.type} with diferent number of elements`); + if (pu.f.length != pu.t.length ) error(s, `${s.type} with different number of elements`); if (s.type == "PLOOKUPIDENTITY") { ctx.plookupIdentities.push(pu); } else { @@ -293,7 +293,7 @@ module.exports = async function compile(Fr, fileName, ctx, config = {}) { ctx.expressions.push(s.connections[j]); ci.connections.push(etidx); } - if (ci.pols.length != ci.connections.length ) error(s, `connection with diferent number of elements`); + if (ci.pols.length != ci.connections.length ) error(s, `connection with different number of elements`); ctx.connectionIdentities.push(ci); } else if (s.type == "PUBLICDECLARATION") { if (ctx.publics[s.name]) error(s, `name already defined ${s.name}`); @@ -422,7 +422,7 @@ module.exports = async function compile(Fr, fileName, ctx, config = {}) { for (let i=0; i { + it("Test (permutation - wo selector - value not enough)", async () => { const res = await commonTestCode(F, 'non-binary-permutation-wo-selectors-value-not-enought', `pol commit a1, a2; a1 is a2; `, { a1: [4,3,4,4], a2: [1,3,4,4] }); - assert.equal("(string):6: permutation not enought found w=3 values: 1:4", res.join('')); + assert.equal("(string):6: permutation not enough found w=3 values: 1:4", res.join('')); }); });