ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
numpy_param_call_site Struct Reference

#include <python_converter.h>

Public Attributes

const nlohmann::json * call
std::string enclosing_function

Member Data Documentation

◆ call

const nlohmann::json* numpy_param_call_site::call

◆ enclosing_function

std::string numpy_param_call_site::enclosing_function

The documentation for this struct was generated from the following file: