regression_test/singlecontrol/hascontrolpart.ttcn

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