/******************************************************************************
 * Copyright (c) 2000-2021 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
 *
 * Contributors:
 *   Balasko, Jeno
 *   Szabados, Kristof
 *   Szabo, Janos Zoltan – initial implementation
 *
 ******************************************************************************/
module TlostTimer {

type component CT {
  timer T1 := 1.0, T2 := 2.0;
}

testcase tc1() runs on CT
{
  T1.start;
  T2.start;
  T2.timeout;
  if (T1.read != 0.0) { setverdict(fail); }
  if (T1.running) { setverdict(fail); }
  alt {
    [] any timer.timeout { setverdict(pass); }
    [else] { setverdict(fail); }
  }
}

testcase tc2() runs on CT
{
  T1.start;
  T2.start;
  T2.timeout;
  if (T1.running) { setverdict(fail); }
  all timer.stop;
  alt {
    [] T1.timeout { setverdict(fail); }
    [] any timer.timeout { setverdict(fail); }
    [else] { setverdict(pass); }
  }
}

control {
  execute(tc1());
  execute(tc2());
}

}
