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

#include <call_kernel.h>

Public Attributes

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

Member Data Documentation

◆ a

unsigned arg_struct_u3::a

◆ b

unsigned arg_struct_u3::b

◆ c

unsigned arg_struct_u3::c

◆ func

void *(* arg_struct_u3::func) (unsigned, unsigned, unsigned)

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