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

#include <call_kernel.h>

Public Attributes

char * a
char * b
char * c
void *(* func )(char *, char *, char *)

Member Data Documentation

◆ a

char* arg_struct_c3::a

◆ b

char* arg_struct_c3::b

◆ c

char* arg_struct_c3::c

◆ func

void *(* arg_struct_c3::func) (char *, char *, char *)

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