The test that works with Integermessage and user-defined synchrony degree, stalls. It seems that a loop occurs in the generated routing table. By removing channels from the topology and part of the test (in the .cl files) it completes.
The test that works with Integermessage and user-defined synchrony degree, stalls.
It seems that a loop occurs in the generated routing table.
By removing channels from the topology and part of the test (in the .cl files) it completes.