|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python_converter.h>
Public Attributes | |
| const nlohmann::json * | call |
| std::string | enclosing_function |
| const nlohmann::json* numpy_param_call_site::call |
| std::string numpy_param_call_site::enclosing_function |