/******************************************************************************
 * Copyright (c) 2000-2016 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *   Balasko, Jeno
 *   Lovassy, Arpad
 *
 ******************************************************************************/
module main1 {

modulepar integer tsp_N := 1
type component CT {}

testcase tc_pass(integer pl_i) runs on CT {
  log("HelloTitan!");
  setverdict(pass,"Everything is ok, N:", pl_i);
}

testcase tc_dte() runs on CT {
  log("HeyTitan!");
  setverdict(fail,"Everything is nok");
  var integer a;
  var integer b:=a;
}

testcase tc_fail2() runs on CT {
  log("HeyTitan!");
  setverdict(fail,"Everything is nok");
  setverdict(fail,"2. Everything is nok");

}

testcase tc_inc() runs on CT {
  log("HeyTitan!");
  setverdict(inconc,"Something is inconsistent");
}

testcase tc_none() runs on CT {
  log("HeyTitan!");
  action("Action");
}

control{
  for(var integer i:=0; i<tsp_N; i:=i+1) {
    execute(tc_pass(i));
    execute(tc_dte());
    execute(tc_fail2());
    execute(tc_inc());
    execute(tc_none());
  }
}
}