3
edits
Using the Trace Tree Visualizer: Difference between revisions
m
no edit summary
(New page: Tamarin Tracing has a debug feature which visualizes the shape of the Trace Trees as they were compiled during execution. To utilize this feature, do the following: # Compile Tamarin-Trac...) |
mNo edit summary |
||
| Line 8: | Line 8: | ||
# Load the .graphml file into yEd. | # Load the .graphml file into yEd. | ||
You can visualize the tree in many ways via the layout menu option in yEd. However, | You can visualize the tree in many ways via the layout menu option in yEd. However, most tree-like setting is to do the following: | ||
# Click on tools->Fit Node To Label | # Click on tools->Fit Node To Label | ||
# Push ok | # Push ok | ||