utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
Apache License 2.0
41 stars 8 forks source link

Debugging stuck computations #20

Open michaelcadilhac opened 3 years ago

michaelcadilhac commented 3 years ago

Hi there,

I'm not sure what's the best way to report this, and to be honest, I don't know if this is Sylvan's fault or mine, but I have some computation that gets stuck. The 3 threads (I used sylvan_start (2, 0) to reduce the clutter) are in this position:

scNlOnoC This is the main thread, active looping.

sc2ferqa This is thread 2, with all conditions failing.

sc6Vk5Mf This is thread 3, constantly entering the first block.

How can I help debugging this?