| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -59,7 +59,7 @@ class TestCarInterfaces(unittest.TestCase): | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					
 | 
					 | 
					 | 
					 | 
					
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  # FIXME: Due to the lists used in carParams, Phase.target is very slow and will cause | 
					 | 
					 | 
					 | 
					  # FIXME: Due to the lists used in carParams, Phase.target is very slow and will cause | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  #  many generated examples to overrun when max_examples > ~20, don't use it | 
					 | 
					 | 
					 | 
					  #  many generated examples to overrun when max_examples > ~20, don't use it | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  @parameterized.expand([(car,) for car in sorted(all_known_cars())]) | 
					 | 
					 | 
					 | 
					  @parameterized.expand([(car,) for car in sorted(all_known_cars()) if 'BOLT' in car]) | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  @settings(max_examples=MAX_EXAMPLES, deadline=None, | 
					 | 
					 | 
					 | 
					  @settings(max_examples=MAX_EXAMPLES, deadline=None, | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            phases=(Phase.reuse, Phase.generate, Phase.shrink)) | 
					 | 
					 | 
					 | 
					            phases=(Phase.reuse, Phase.generate, Phase.shrink)) | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					  @given(data=st.data()) | 
					 | 
					 | 
					 | 
					  @given(data=st.data()) | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					 | 
					
  |