Lines Matching defs:Program
291 /// executeProgram - This method runs "Program", capturing the output of the
295 std::string BugDriver::executeProgram(const Module *Program,
317 if (writeProgramToFile(BitcodeFile, UniqueFD, Program)) {
358 "*** Program execution timed out! This mechanism is designed to handle\n"
379 std::string BugDriver::executeProgramSafely(const Module *Program,
382 return executeProgram(Program, OutputFile, "", "", SafeInterpreter, Error);
417 compileProgram(Program, &Error);
421 ReferenceOutputFile = executeProgramSafely(Program, Filename, &Error);
441 bool BugDriver::diffProgram(const Module *Program,
448 executeProgram(Program, "", BitcodeFile, SharedObject, nullptr, ErrMsg));