/*****************************************************************
 ** @author   STF 409
 ** @version  0.0.1
 ** @purpose  1:20, Ensure that the interleave-statement is accepted.
 ** @verdict  pass accept, noexecution
 *****************************************************************/

module Syn_20_TopLevel_003 {

type port MyPort message {
	inout charstring
}

type component GeneralComp {
	port MyPort p;
}

template charstring m_testOne := "ping1";
template charstring m_testTwo := "ping2";

testcase TC_Syn_20_TopLevel_003() runs on GeneralComp {
	p.send(m_testOne);
	p.send(m_testTwo);
	interleave {
		[] p.receive(m_testOne) {
		}
		[] p.receive(m_testTwo) {
		}
	}
	setverdict(pass);
}

}