Predicate remove_prefix_before_substring

Removes everything up to the occurrence of sub in the string str

Import path


                                import semmle.python.TestUtils


                            
                                
                                    string
                                
                                 
                            
                            
                                remove_prefix_before_substring
                            
                            
                                (
                                
                                    
                                        string
                                    
                                     
                                    str
                                
                                , 
                                
                                    
                                        string
                                    
                                     
                                    sub
                                
                                )