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)
827 DETECTOR = bug_detector.BugDetector(sys.argv[1:], EXIT_CODE) variable830 result=DETECTOR.caught_result)