question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Bug in subcircuit

See original GitHub issue

The following code fails at finding all solutions:

Model model = new Model();
IntVar[] x = model.intVarArray("x", 10, 0, 20, true);
model.subCircuit(x, 0, model.intVar("length", 0, x.length - 1, true)).post();
model.getSolver().findAllSolutions();
assertEquals(1, model.getSolver().getSolutionCount());

Issue Analytics

  • State:closed
  • Created 6 years ago
  • Comments:6 (6 by maintainers)

github_iconTop GitHub Comments

1reaction
jgFagescommented, Sep 26, 2017

ahah yes I doubled checked ^^

0reactions
cprudhomcommented, Sep 26, 2017

Ok, my bad, I’ve introduced a bug 😕

Read more comments on GitHub >

github_iconTop Results From Across the Web

Logisim / Bugs / #30 OR gate in a subcircuit wired into another ...
The fix is to introduce a couple of Buffer components (or NOT gates) between Key Bin Convert and the registers. This slows down...
Read more >
SubCircuit button not working correctly · Issue #565 - GitHub
Describe the bug. The SubCircuit button in the simulator just shows a common error messsage irrespective of the dependencies of the current ...
Read more >
ngspice subcircuits with parameters + netlabels, broken
Bug Description. Simulation breaks with subcircuits with parameters in 5.1.2, if the subcircuit is connected to a named net.
Read more >
Debugging subcircuits
As you test larger circuits, you will likely find bugs. ... To enter the subcircuit's state, you can use any of three different...
Read more >
Re: [Ktechlab-devel] Another bug with subcircuits - The Mail Archive
... me that the bug is caused by not hiding the connectors from > the internal structure of the subcircuit (I guess ktechlab...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found