diff --git a/src/ExprSynthesizer.cpp b/src/ExprSynthesizer.cpp index a7a7629e6..2c7fa1f32 100644 --- a/src/ExprSynthesizer.cpp +++ b/src/ExprSynthesizer.cpp @@ -1567,18 +1567,18 @@ class StringConstTester : public BasicTester { buildEnv["COMPILE_CMD"] = GCC_CMD; std::vector build_succ = P.buildWithRepairedCode(CLANG_TEST_WRAP, buildEnv, code,macroCode,macroFile); if (build_succ.size()==0) { - outlog_printf(2, "Build failed!"); + outlog_printf(2, "Build failed!\n"); return std::map(); } bool passed = testNegativeCases(BenchProgram::EnvMapTy()); if (!passed) { - outlog_printf(2, "Failed negative cases!"); + outlog_printf(2, "Failed negative cases!\n"); return std::map(); } passed = testPositiveCases(BenchProgram::EnvMapTy()); if (!passed) { - outlog_printf(2, "Failed positive cases!"); + outlog_printf(2, "Failed positive cases!\n"); return std::map(); } diff --git a/src/Main.cpp b/src/Main.cpp index a6584944b..5e35d4fd4 100644 --- a/src/Main.cpp +++ b/src/Main.cpp @@ -114,7 +114,7 @@ int main(int argc, char* argv[]) { std::string run_work_dir = RunWorkDir.getValue(); if ((config_file_name == "") && (run_work_dir == "")) { - outlog_printf(0, "Must specify configuration file or existing working directory!"); + outlog_printf(0, "Must specify configuration file or existing working directory!\n"); exit(1); } diff --git a/src/RepairSearchEngine.cpp b/src/RepairSearchEngine.cpp index e8d45ceeb..5f1659640 100644 --- a/src/RepairSearchEngine.cpp +++ b/src/RepairSearchEngine.cpp @@ -340,7 +340,7 @@ int RepairSearchEngine::run(const std::string &out_file, size_t try_at_least, if (cnt == 0) outlog_printf(1, "Repair process ends without working fix!!\n"); else - outlog_printf(1, "Repair process ends!"); + outlog_printf(1, "Repair process ends!\n"); outlog_printf(1, "Total %lu different repair schemas!!!!\n", schema_cnt); outlog_printf(1, "Total %lu different repair candidate templates for scoring!!!\n", candidate_cnt); return 1;