yakindu/test-plugins/org.yakindu.sct.test.models/tests/HistoryWithoutInitialStep.sctunit

testgroup HistoryWithoutInitialStep for statechart HistoryWithoutInitialStep {
	
	
	test enterThroughInitialEntry { 
		
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)
		
		raise next
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)
	}
	

	test enterCThroughHistory {
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)

		raise toA
		cycle
		assert active(HistoryWithoutInitialStep.main_region.A)
		
		raise toHistory
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.C)
	}
		 

	test enterDThroughHistory {
		enter
		assert active(HistoryWithoutInitialStep.main_region.A) 
		
		raise toB
		cycle
		raise next
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)

		raise toA
		cycle
		assert active(HistoryWithoutInitialStep.main_region.A)
		
		raise toHistory
		cycle
		assert active(HistoryWithoutInitialStep.main_region.B.r1.D)
	}
		
		
}