| 
						
						
							
								
							
						
						
					 | 
				
				 | 
				
					@ -8,7 +8,6 @@ from configurations import pars | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					@pars | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					class TestPLA: | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					    def test_pla(self): | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        import stormpy.pars | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        program = stormpy.parse_prism_program(get_example_path("pdtmc", "brp16_2.pm")) | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        prop = "P<=0.84 [F s=5 ]" | 
				
			
			
		
	
		
			
				
					 | 
					 | 
				
				 | 
				
					        formulas = stormpy.parse_properties_for_prism_program(prop, program) | 
				
			
			
		
	
	
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
				
				 | 
				
					
  |