cbmc_viewer/tracet.py [582:592]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        'location': srcloct.json_srcloc(
            step.get('sourceLocation'), root
        ),
        'detail': {
            'name': step['function']['displayName'],
            'name-path': step['function']['identifier'],
            'location': srcloct.json_srcloc(
                step['function']['sourceLocation'], root
            )
        }
    }
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



cbmc_viewer/tracet.py [599:609]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        'location': srcloct.json_srcloc(
            step.get('sourceLocation'), root
        ),
        'detail': {
            'name': step['function']['displayName'],
            'name-path': step['function']['identifier'],
            'location': srcloct.json_srcloc(
                step['function']['sourceLocation'], root
            )
        }
    }
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -