You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TSNsched uses the name of the port to specify some variables to the SMT solver. The solver does not care about the structure of the ports or switches, and if two ports have the same name, there will be multiple variables representing different elements of the network to the solver with the same name as well.
Until this get fixed, please, use unique name to all ports, or do not specify the name of the port at all.
The text was updated successfully, but these errors were encountered:
TSNsched uses the name of the port to specify some variables to the SMT solver. The solver does not care about the structure of the ports or switches, and if two ports have the same name, there will be multiple variables representing different elements of the network to the solver with the same name as well.
Until this get fixed, please, use unique name to all ports, or do not specify the name of the port at all.
The text was updated successfully, but these errors were encountered: