ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
LdLocation Struct Reference
#include <
ld_ast.h
>
Public Attributes
std::string
file
unsigned
line
= 0
unsigned
col
= 0
Member Data Documentation
◆
col
unsigned LdLocation::col = 0
◆
file
std::string LdLocation::file
◆
line
unsigned LdLocation::line = 0
The documentation for this struct was generated from the following file:
src/ld-frontend/parser/
ld_ast.h
LdLocation
Generated by
1.15.0