
testgroup ConstOnlyDefaultScope for statechart declarations.ConstOnlyDefaultScope {

	/*
	 * Test is the statechart is entered correctly.
	 */	
	test statechartEntry { 		
		enter		 
		assert active(declarations.ConstOnlyDefaultScope.main_region.A)
	
	} 
	

	/*
	 * Test is the statechart is entered correctly.
	 */	
	test stateTransition {
		
		enter
		raise A.e : 1
		cycle
		assert active(declarations.ConstOnlyDefaultScope.main_region.B)
		
	}
}
	