Commit | Line | Data |
---|---|---|
4e4a3e2c AK |
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 | * Adrien Kirjak – initial implementation | |
10 | * | |
11 | ** @version 0.0.1 | |
12 | ** @purpose 1:24.3, Ensure getverdict returns the actual verdict none | |
13 | ** @verdict pass accept, ttcn3verdict:pass | |
14 | ***************************************************/ | |
15 | ||
16 | // #reqname /Requirements/24 Test verdict operations/24.3 The Getverdict operation/Getverdict returns local verdict value | |
17 | ||
18 | module Sem_2403_getverdict_001 { | |
19 | type component TComp {} | |
20 | ||
21 | testcase TC_Sem_2403_getverdict_001() runs on TComp { | |
22 | var verdicttype v_verdict; | |
23 | setverdict(none); | |
24 | v_verdict := getverdict; | |
25 | if (v_verdict == none) | |
26 | { | |
27 | setverdict(pass) | |
28 | } | |
29 | else | |
30 | { | |
31 | setverdict(fail); | |
32 | } | |
33 | } | |
34 | ||
35 | control { | |
36 | execute(TC_Sem_2403_getverdict_001()) | |
37 | } | |
38 | } |