|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <literal_divergence.h>
Public Attributes | |
| std::string | kind |
| nlohmann::json | value |
| bool | in_block |
| bool dynamic_type_detail::numeric_bindingt::in_block |
| std::string dynamic_type_detail::numeric_bindingt::kind |
| nlohmann::json dynamic_type_detail::numeric_bindingt::value |