Skip to content

Commit

Permalink
html correction
Browse files Browse the repository at this point in the history
  • Loading branch information
TannazVhdBMWExt committed Nov 14, 2024
1 parent 04b5798 commit 9f89137
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions lobster/tools/core/html_report.py
Original file line number Diff line number Diff line change
Expand Up @@ -135,10 +135,11 @@ def create_policy_diagram(doc, report, dot):

for level in report.config.values():
source = name_hash(level["name"])
for target in map(name_hash, level["traces"]):
all_trace_tos = sum(level["trace_to"], [])
for target in map(name_hash, all_trace_tos):
# Not a mistake; we want to show the tracing down, whereas
# in the config file we indicate how we trace up.
graph += ' n_%s -> n_%s;\n' % (target, source)
graph += ' n_%s -> n_%s;\n' % (source, target)
graph += "}\n"

with tempfile.TemporaryDirectory() as tmp_dir:
Expand Down

0 comments on commit 9f89137

Please sign in to comment.