// check the board merger, all ports are used

restrict 1-SINGLEROB

port = 0
include src/niscsn/check_port.tcs

port = 1
include src/niscsn/check_port.tcs

port = 2
include src/niscsn/check_port.tcs

restrict 1

port = 3
include src/niscsn/check_port.tcs