ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
arg_struct Struct Reference
#include <
call_kernel.h
>
Public Attributes
int
*
a
int
*
b
int
*
c
void *(*
func
)(
int
*,
int
*,
int
*)
Member Data Documentation
◆
a
int
* arg_struct::a
◆
b
int
* arg_struct::b
◆
c
int
* arg_struct::c
◆
func
void *(* arg_struct::func) (
int
*,
int
*,
int
*)
The documentation for this struct was generated from the following file:
src/cpp/library/CUDA/
call_kernel.h
arg_struct
Generated by
1.15.0