Browse Source

Removed test for states with empty regions.

markus.muehlbrandt@googlemail.com 12 years ago
parent
commit
d36b3c814a

+ 1 - 2
test-plugins/org.yakindu.sct.test.models/tests/AllTests.sctunit

@@ -12,8 +12,7 @@ testsuite AllTests {
 	IntegerExpressions,
 	InEventLifeCycle, InternalEventLifeCycle, OutEventLifeCycle,
 	Parenthesis, PriorityValues , RaiseEvent , SameNameDifferentRegion , ShallowHistory ,
-	SimpleHierachy , StateIsActive , StatechartLocalReactions , 
-	StateWithEmptyRegion,
+	SimpleHierachy , StateIsActive , StatechartLocalReactions,
 	StringExpressions, 
 	SyncFork,
 	SyncJoin, 

+ 0 - 10
test-plugins/org.yakindu.sct.test.models/tests/StateWithEmptyRegion.sctunit

@@ -1,10 +0,0 @@
-
-testgroup StateWithEmptyRegion for statechart StateWithEmptyRegion{
-	test StateWithEmptyRegionTest { 
-		enter
-		assert active(StateWithEmptyRegion.main_region.A)
-		cycle
-		
-		assert active(StateWithEmptyRegion.main_region.B)	 
-	} 
-}