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

#include <toml.hpp>

Public Attributes

format_flags flags
std::string_view indent

Member Data Documentation

◆ flags

format_flags formatter_config::flags

◆ indent

std::string_view formatter_config::indent

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