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

#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 *)

Member Data Documentation

◆ a

int* arg_struct_i_ui_ull_f::a

◆ b

unsigned int* arg_struct_i_ui_ull_f::b

◆ c

unsigned long long int* arg_struct_i_ui_ull_f::c

◆ d

float* arg_struct_i_ui_ull_f::d

◆ func

void *(* arg_struct_i_ui_ull_f::func) (int *, unsigned int *, unsigned long long int *, float *)

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