when ocd kicks in

pdschubert · pdschubert · commit 36a2eebb55de · 2022-06-01T16:02:39.000+02:00
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h
@@ -773,7 +773,7 @@ class IDESolver
 
   EdgeFunctionPtrType jumpFunction(const PathEdge<n_t, d_t> Edge) {
     IF_LOG_ENABLED(
-        PHASAR_LOG_LEVEL(DEBUG, "\nJumpFunctions Forward-Lookup:");
+        PHASAR_LOG_LEVEL(DEBUG, "JumpFunctions Forward-Lookup:");
         PHASAR_LOG_LEVEL(DEBUG, "   Source D: " << IDEProblem.DtoString(
                                     Edge.factAtSource()));
         PHASAR_LOG_LEVEL(
diff --git a/lib/PhasarLLVM/Pointer/LLVMPointsToSet.cpp b/lib/PhasarLLVM/Pointer/LLVMPointsToSet.cpp
@@ -81,7 +81,7 @@ LLVMPointsToSet::LLVMPointsToSet(ProjectIRDB &IRDB, bool UseLazyEvaluation,
       }
     }
   }
-  PHASAR_LOG_LEVEL(DEBUG, "LLVMPointsToSet completed\n");
+  PHASAR_LOG_LEVEL(DEBUG, "LLVMPointsToSet completed");
 }
 
 LLVMPointsToSet::LLVMPointsToSet(ProjectIRDB &IRDB,

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ LLVMPointsToSet::LLVMPointsToSet(ProjectIRDB &IRDB, bool UseLazyEvaluation,`
`81`	`81`	`}`
`82`	`82`	`}`
`83`	`83`	`}`
`84`		`- PHASAR_LOG_LEVEL(DEBUG, "LLVMPointsToSet completed\n");`
	`84`	`+ PHASAR_LOG_LEVEL(DEBUG, "LLVMPointsToSet completed");`
`85`	`85`	`}`
`86`	`86`
`87`	`87`	`LLVMPointsToSet::LLVMPointsToSet(ProjectIRDB &IRDB,`