|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <curand_kernel.h>
Public Attributes | |
| unsigned long long | i |
| unsigned long long | x |
| unsigned long long | direction_vectors [64] |
| unsigned long long curandStateSobol64::direction_vectors[64] |
| unsigned long long curandStateSobol64::i |
| unsigned long long curandStateSobol64::x |