mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			8 lines
		
	
	
		
			101 B
		
	
	
	
		
			Solidity
		
	
	
	
	
	
			
		
		
	
	
			8 lines
		
	
	
		
			101 B
		
	
	
	
		
			Solidity
		
	
	
	
	
	
contract C {
 | 
						|
  fixed[] b;
 | 
						|
  function f() internal { b[0] += 1; }
 | 
						|
}
 | 
						|
// ====
 | 
						|
// SMTEngine: all
 | 
						|
// ----
 |