/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  1:19.11, Ensure that the IUT properly evaluates log statements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/

// The following requirements are tested:
 /*
 * checkstate operation -> return value (true or false)
 * */
module Sem_1911_log_statement_007 {

    type port MyMessagePortType message
	{
		inout integer
    }

    type component GeneralComp {
    port MyMessagePortType p_myPort;
    }


testcase TC_Sem_1911_log_statement_007 () runs on GeneralComp{

    log("Checkstate : ", p_myPort.checkstate("Started"));
    setverdict(pass);

}

control{

    execute(TC_Sem_1911_log_statement_007());

}

}
