/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:20.2, Ensure that the alt-statement with a guard works as expected (loopback case).
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_2002_TheAltStatement_002 {

type port MyPort message {
    inout charstring
}

type component GeneralComp {
    port MyPort p;
}

template charstring m_test := "ping";

testcase TC_Sem_2002_TheAltStatement_002() runs on GeneralComp {
    var integer counter := 1;
    p.send(m_test);
    alt {
        [counter == 1] p.receive(m_test) {
            setverdict(pass);
        }
    }
}

control {
    execute(TC_Sem_2002_TheAltStatement_002());
}

}