|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Types | |
| using | type = std::add_volatile_t<std::add_const_t<T>> |
| using node_unwrapper< const volatile value< T > >::type = std::add_volatile_t<std::add_const_t<T>> |