From fc01aad8b6b72f6cb1f7b313ae88dca5a9de67b1 Mon Sep 17 00:00:00 2001 From: Jordi Baylina Date: Thu, 17 Sep 2020 22:53:06 +0200 Subject: [PATCH] Reduce mem --- src/compiler.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler.js b/src/compiler.js index 69e2dfd..b52eac1 100644 --- a/src/compiler.js +++ b/src/compiler.js @@ -359,7 +359,7 @@ async function reduceConstrains(ctx) { if (!c) continue; // Limit of number of lelements removed per step - if (nRemoved>100000) { + if (nRemoved>500000) { nextPossibleConstraints[possibleConstraints[i]] = true; continue; } @@ -452,6 +452,7 @@ async function reduceConstrains(ctx) { lSignal = ctx.signals[lSignal.e]; } + sig2constraint[s] = null; lSignal.c = ctx.stDISCARDED; }