cbmc_viewer/tracet.py [433:443]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        'location': srcloct.xml_srcloc(
            step.find('location'), root
        ),
        'detail': {
            'name': step.find('function').get('display_name'),
            'name-path': step.find('function').get('identifier'),
            'location': srcloct.xml_srcloc(
                step.find('function').find('location'), root
            )
        }
    }
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



cbmc_viewer/tracet.py [450:460]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
        'location': srcloct.xml_srcloc(
            step.find('location'), root
        ),
        'detail': {
            'name': step.find('function').get('display_name'),
            'name-path': step.find('function').get('identifier'),
            'location': srcloct.xml_srcloc(
                step.find('function').find('location'), root
            )
        }
    }
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -