def viz_trace(view):
    """
    Given a Manticore trace file, highlight the basic blocks.
    """
    tv = TraceVisualizer(view, None)
    if tv.workspace is None:
        tv.workspace = get_workspace()
    tv.visualize()
def viz_trace(view):
    """
    Given a Manticore trace file, highlight the basic blocks.
    """
    tv = TraceVisualizer(view, None)
    if tv.workspace is None:
        tv.workspace = get_workspace()
    tv.visualize()
def viz_trace ( view ) : tv = TraceVisualizer ( view , None ) if tv . workspace is None : tv . workspace = get_workspace ( ) tv . visualize ( )
Given a Manticore trace file, highlight the basic blocks.
Given a Manticore trace file highlight the basic blocks .