Searched refs:ReceiverPortArgName (Results 1 – 1 of 1) sorted by relevance
266 const string ReceiverPortArgName = "RENODE_RECEIVER_PORT"; register in renode_pkg.renode_runtime279 if(!$value$plusargs({ReceiverPortArgName, "=%d"}, receiver_port)283 …+%s and +%s arguments in the command that invokes the simulation", ReceiverPortArgName, SenderPort…