equal
deleted
inserted
replaced
731 skip("doesn't exist") |
731 skip("doesn't exist") |
732 return None |
732 return None |
733 else: |
733 else: |
734 return None # not a supported test, don't record |
734 return None # not a supported test, don't record |
735 |
735 |
736 if options.blacklist: |
736 if options.blacklist and filename in options.blacklist: |
737 filename = options.blacklist.get(test) |
737 skip("blacklisted") |
738 if filename is not None: |
738 return None |
739 skip("blacklisted") |
|
740 return None |
|
741 |
739 |
742 if options.retest and not os.path.exists(test + ".err"): |
740 if options.retest and not os.path.exists(test + ".err"): |
743 ignore("not retesting") |
741 ignore("not retesting") |
744 return None |
742 return None |
745 |
743 |