Skip to content

Commit

Permalink
trailing whitespace IDESolver.h
Browse files Browse the repository at this point in the history
  • Loading branch information
fabianbs96 authored Aug 15, 2023
1 parent 9136cad commit a2ab5fa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion include/phasar/DataFlow/IfdsIde/Solver/IDESolver.h
Original file line number Diff line number Diff line change
Expand Up @@ -392,7 +392,7 @@ class IDESolver
INC_COUNTER("FF Queries", 1, Full);
const container_type ReturnedFacts = computeReturnFlowFunction(
RetFunction, d3, d4, n, Container{d2});
ADD_TO_HISTOGRAM("Data-flow facts", returnedFacts.size(), 1,
ADD_TO_HISTOGRAM("Data-flow facts", returnedFacts.size(), 1,
Full);
saveEdges(eP, RetSiteN, d4, ReturnedFacts, ESGEdgeKind::Ret);
// for each target value of the function
Expand Down

0 comments on commit a2ab5fa

Please sign in to comment.