|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <curand_kernel.h>
Public Attributes | |
| unsigned int | d |
| unsigned int | v [5] |
| int | boxmuller_flag |
| float | boxmuller_extra |
| double | boxmuller_extra_double |
| float curandStateXORWOW::boxmuller_extra |
| double curandStateXORWOW::boxmuller_extra_double |
| int curandStateXORWOW::boxmuller_flag |
| unsigned int curandStateXORWOW::d |
| unsigned int curandStateXORWOW::v[5] |