testclass AssignmentAsExpression for statechart AssignmentAsExpression{
	
	@Test 
  	operation simpleAssignment(){ 
	  	enter
	  	assert active(AssignmentAsExpression.main_region.Add)
	  		  	
	  	assert b == 5
	  	assert a == 9	  	
	   	
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.Subtract) 
	  	assert d == 6
	  	
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.Multiply) 
	  	assert e == 15
	  	
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.Divide) 
	  	assert g == 1	  	
	  	
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.Modulo)
	  	assert i == 1

	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.Shift)
		assert j == 16
		assert k == 4
		
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.boolean_And)
		assert l == 1

	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.boolean_Or)
		assert p == 15
		
	  	proceed 1 cycle
	  	assert active(AssignmentAsExpression.main_region.boolean_Xor)
		assert u == 12		
	  	
	  	exit
	  } 
	 
}