Commit ee89d7fd authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Fix typos; improve iteration on SCC

parent dcb9557a
......@@ -87,11 +87,13 @@ def add_start_nodes(filePath):
# Get Strongly Connected Components
sccs = staticanalyser.get_frontier_scc()
LOGGER.info("{} SCC found: {}".format(len(sccs), sccs))
LOGGER.info("Before adding start nodes:\n"+staticanalyser.get_statistics())
LOGGER.info("{} SCC found: {}".format(
sum(True for scc in sccs if scc), sccs
))
LOGGER.info("Before adding start nodes:\n" + staticanalyser.get_statistics())
# Lexicographic sort of nodes in each Strongly Connected Components
g = (sorted(scc, key=str.lower) for scc in sccs if len(scc) != 0)
g = (sorted(scc, key=str.lower) for scc in sccs if scc)
for scc in g:
# Mark the first node as a frontier
LOGGER.debug("SCC {}; first lexicographic node selected:{}".format(
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment