|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| template<typename T> | |
| TOML_NODISCARD_CTOR | array_init_elem (T &&val, value_flags flags=preserve_source_value_flags) |
Public Attributes | |
| node_ptr | value |
|
inline |
|
mutable |