|
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 | c |
| unsigned long long | direction_vectors [64] |
| unsigned long long curandStateScrambledSobol64::c |
| unsigned long long curandStateScrambledSobol64::direction_vectors[64] |
| unsigned long long curandStateScrambledSobol64::i |
| unsigned long long curandStateScrambledSobol64::x |