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: