[deliverable/titan.core.git] / regression_test / singlecontrol / alsohascontrolpart.ttcn

/******************************************************************************
 * Copyright (c) 2000-2015 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 ******************************************************************************/
module alsohascontrolpart
{

type component A {}

testcase successA() runs on A
{
  setverdict(pass);
}

testcase successB() runs on A
{
  setverdict(pass);
}

control {
  execute(successA());
  execute(successB());
}

}
Commit	Line	Data
970ed795	1	/******************************************************************************
3abe9331	2	* Copyright (c) 2000-2015 Ericsson Telecom AB
970ed795 EL	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 alsohascontrolpart
	9	{
	10
	11	type component A {}
	12
	13	testcase successA() runs on A
	14	{
	15	setverdict(pass);
	16	}
	17
	18	testcase successB() runs on A
	19	{
	20	setverdict(pass);
	21	}
	22
	23	control {
	24	execute(successA());
	25	execute(successB());
	26	}
	27
	28	}