regression_test/singlecontrol/hascontrolpart.ttcn

   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  *   Raduly, Csaba
  11  *
  12  ******************************************************************************/
  13 module hascontrolpart
  14 {
  15
  16 type component C {}
  17
  18 testcase success() runs on C
  19 {
  20   setverdict(pass);
  21 }
  22
  23 testcase nothing() runs on C
  24 {
  25   setverdict(pass);
  26 }
  27
  28 control {
  29   execute(success());
  30   execute(nothing());
  31 }
  32
  33 }
  34