cbmc_viewer/tracet.py [47:55]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    'location': srcloct.VALID_SRCLOC,
    'hidden': bool,
    'detail': {
        'lhs': str,
        'lhs-lexical-scope': voluptuous.Any(str, None),
        'rhs-value': str,
        'rhs-binary': voluptuous.Any(str, None)
    }
}, required=True)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



cbmc_viewer/tracet.py [59:67]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    'location': srcloct.VALID_SRCLOC,
    'hidden': bool,
    'detail': {
        'lhs': str,
        'lhs-lexical-scope': voluptuous.Any(str, None),
        'rhs-value': str,
        'rhs-binary': voluptuous.Any(str, None)
    }
}, required=True)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -