|  |  | @ -50,7 +50,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())]) | 
			
		
	
		
		
			
				
					
					|  |  |  |   @settings(max_examples=MAX_EXAMPLES, deadline=500, |  |  |  |   @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()) | 
			
		
	
		
		
			
				
					
					|  |  |  |   def test_car_interfaces(self, car_name, data): |  |  |  |   def test_car_interfaces(self, car_name, data): | 
			
		
	
	
		
		
			
				
					|  |  | 
 |