Commit 301dc8af authored by predusi's avatar predusi
Browse files

starting a timer in order to avoid test case hanging.

parent 5f65cb29
Loading
Loading
Loading
Loading
+5 −2
Original line number Diff line number Diff line
@@ -41,7 +41,9 @@ module MainModule {
                //---
                commonOBURSUPort.send(v_receivedMsg);
                //---

	            compPort.send(m_stop);
                transactionRSUTimer.start;
                
                alt{
                    [] compPort.receive(NrOfEmptyMsg :?) -> value v_vs.nrOfEmptyMsg;
@@ -115,6 +117,7 @@ module MainModule {
                        {setverdict (fail);}
                    }
               	compPort.send(m_stop);
               	
                verdictPort.send(m_verdictStructure(getverdict));
                stop;
            }