Searched refs:DETECTOR (Results 1 – 2 of 2) sorted by relevance
715 DETECTOR = bug_detector.BugDetector(sys.argv[1:], EXIT_CODE) variable718 result=DETECTOR.caught_result)
767 DETECTOR = bug_detector.BugDetector(sys.argv[1:], EXIT_CODE) variable770 result=DETECTOR.caught_result)