|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Types | |
| using | native_type = int64_t |
Static Public Attributes | |
| static constexpr bool | is_native |
| static constexpr bool | is_signed |
| static constexpr auto | type = node_type::integer |
| static constexpr bool | can_partially_represent_native = true |
| Static Public Attributes inherited from integer_limits< T > | |
| static constexpr T | min |
| static constexpr T | max |
| using integer_traits_base< T >::native_type = int64_t |
|
staticconstexpr |
|
staticconstexpr |
|
staticconstexpr |
|
staticconstexpr |