|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <call_kernel.h>
Public Attributes | |
| int * | a |
| unsigned int * | b |
| unsigned long long int * | c |
| float * | d |
| void *(* | func )(int *, unsigned int *, unsigned long long int *, float *) |
| int* arg_struct_i_ui_ull_f::a |
| unsigned int* arg_struct_i_ui_ull_f::b |
| unsigned long long int* arg_struct_i_ui_ull_f::c |
| float* arg_struct_i_ui_ull_f::d |