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