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.
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.