Browse Source

Fix Optimization

feature/witness_bin
Jordi Baylina 5 years ago
parent
commit
832077fbe9
No known key found for this signature in database GPG Key ID: 7480C80C1BE43112
1 changed files with 6 additions and 1 deletions
  1. +6
    -1
      src/compiler.js

+ 6
- 1
src/compiler.js

@ -277,7 +277,12 @@ function reduceConstrains(ctx) {
c.a={ type: "LINEARCOMBINATION", values: {} };
c.b={ type: "LINEARCOMBINATION", values: {} };
c.c={ type: "LINEARCOMBINATION", values: {} };
isolatedSignal.category = "constant";
let lSignal = ctx.signals[isolatedSignal];
while (lSignal.equivalence) {
lSignal = ctx.signals[lSignal.equivalence];
}
lSignal.category = "constant";
}
}

Loading…
Cancel
Save