/***************************************************
 ** @author   STF 433
 ** @version  0.0.1
 ** @purpose  1:23.5, Ensure timer running operation works
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
// #reqname  /Requirements/23 Timer operations/23.5 The Running timer operation/The operation returns the value true if the timer is listed on the running list, false otherwise.


module Sem_2305_timer_running_003 {
    type component TComp{
        timer t_timer := 1.0;
    }
    testcase TC_Sem_2305_timer_running_003() runs on TComp{
        t_timer.start;
        t_timer.stop;
        if (t_timer.running){
	        setverdict(fail);
        } else {
            setverdict(pass);
        }
    }
    control{
            execute(TC_Sem_2305_timer_running_003())
    }
}
