Skip to content

Commit

Permalink
Set og level trace in CDG pass (#2031)
Browse files Browse the repository at this point in the history
Log level trace in CDG pass
  • Loading branch information
KuechA authored Feb 7, 2025
1 parent edd5068 commit e109d34
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -102,9 +102,9 @@ open class ControlDependenceGraphPass(ctx: TranslationContext) : EOGStarterPass(
startNode,
PrevEOGLatticeElement(startNode to PowersetLattice.Element(startNode)),
)
log.debug("Iterating EOG of {}", startNode)
log.trace("Iterating EOG of {}", startNode)
val finalState = prevEOGState.iterateEOG(startNode.nextEOGEdges, startState, ::handleEdge)
log.debug("Done iterating EOG of {}", startNode)
log.trace("Done iterating EOG of {}", startNode)

val branchingNodeConditionals = getBranchingNodeConditions(startNode)

Expand Down

0 comments on commit e109d34

Please sign in to comment.