Commit | Line | Data |
---|---|---|
b6b6eade PP |
1 | /****************************************************************************** |
2 | * Copyright (c) 2000-2016 Ericsson Telecom AB | |
3 | * All rights reserved. This program and the accompanying materials | |
4 | * are made available under the terms of the Eclipse Public License v1.0 | |
5 | * which accompanies this distribution, and is available at | |
6 | * http://www.eclipse.org/legal/epl-v10.html | |
7 | * | |
8 | * Contributors: | |
9 | * Balasko, Jeno | |
10 | * Lovassy, Arpad | |
11 | * | |
12 | ******************************************************************************/ | |
13 | module main1 { | |
14 | ||
15 | modulepar integer tsp_N := 1 | |
16 | type component CT {} | |
17 | ||
18 | testcase tc_pass(integer pl_i) runs on CT { | |
19 | log("HelloTitan!"); | |
20 | setverdict(pass,"Everything is ok, N:", pl_i); | |
21 | } | |
22 | ||
23 | testcase tc_dte() runs on CT { | |
24 | log("HeyTitan!"); | |
25 | setverdict(fail,"Everything is nok"); | |
26 | var integer a; | |
27 | var integer b:=a; | |
28 | } | |
29 | ||
30 | testcase tc_fail2() runs on CT { | |
31 | log("HeyTitan!"); | |
32 | setverdict(fail,"Everything is nok"); | |
33 | setverdict(fail,"2. Everything is nok"); | |
34 | ||
35 | } | |
36 | ||
37 | testcase tc_inc() runs on CT { | |
38 | log("HeyTitan!"); | |
39 | setverdict(inconc,"Something is inconsistent"); | |
40 | } | |
41 | ||
42 | testcase tc_none() runs on CT { | |
43 | log("HeyTitan!"); | |
44 | action("Action"); | |
45 | } | |
46 | ||
47 | control{ | |
48 | for(var integer i:=0; i<tsp_N; i:=i+1) { | |
49 | execute(tc_pass(i)); | |
50 | execute(tc_dte()); | |
51 | execute(tc_fail2()); | |
52 | execute(tc_inc()); | |
53 | execute(tc_none()); | |
54 | } | |
55 | } | |
56 | } |