ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
source_region Struct Reference

#include <toml.hpp>

Public Attributes

source_position begin
source_position end
source_path_ptr path

Friends

std::ostream & operator<< (std::ostream &lhs, const source_region &rhs)

◆ operator<<

std::ostream & operator<< ( std::ostream & lhs,
const source_region & rhs )
friend

Member Data Documentation

◆ begin

source_position source_region::begin

◆ end

source_position source_region::end

◆ path

source_path_ptr source_region::path

The documentation for this struct was generated from the following file: