Loading ttcn/TraceParser/MainModule.ttcn3 +5 −2 Original line number Diff line number Diff line Loading @@ -41,7 +41,9 @@ module MainModule { //--- commonOBURSUPort.send(v_receivedMsg); //--- compPort.send(m_stop); transactionRSUTimer.start; alt{ [] compPort.receive(NrOfEmptyMsg :?) -> value v_vs.nrOfEmptyMsg; Loading Loading @@ -115,6 +117,7 @@ module MainModule { {setverdict (fail);} } compPort.send(m_stop); verdictPort.send(m_verdictStructure(getverdict)); stop; } Loading Loading
ttcn/TraceParser/MainModule.ttcn3 +5 −2 Original line number Diff line number Diff line Loading @@ -41,7 +41,9 @@ module MainModule { //--- commonOBURSUPort.send(v_receivedMsg); //--- compPort.send(m_stop); transactionRSUTimer.start; alt{ [] compPort.receive(NrOfEmptyMsg :?) -> value v_vs.nrOfEmptyMsg; Loading Loading @@ -115,6 +117,7 @@ module MainModule { {setverdict (fail);} } compPort.send(m_stop); verdictPort.send(m_verdictStructure(getverdict)); stop; } Loading