1 /******************************************************************************
2 * Copyright (c) 2000-2014 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 ******************************************************************************/
12 type record of integer ints;
13 type record of charstring strings;
15 modulepar ints mp_ints7, mp_ints4_0;
16 modulepar strings mp_strings;
18 testcase tc7() runs on C
20 var integer len7 := lengthof(mp_ints7);
22 if (len7 == 7) { setverdict(pass); }
23 else { setverdict(fail, match(len7, 7)); }
25 for (var integer i := 0; i < len7; i := i + 1) {
26 if (mp_ints7[i] == i) { setverdict(pass); }
27 else { setverdict(fail, match(mp_ints7[i], i)); }
31 testcase tc4() runs on C
33 var integer len4 := lengthof(mp_ints4_0);
34 if (len4 == 4) { setverdict(pass); }
35 else { setverdict(fail, match(len4, 4)); }