__VERIFIER.c

extern unsigned long long __VERIFIER_next_nondet(unsigned int sign, unsigned int bits, const char *fn);

_Bool               __VERIFIER_nondet_bool()
    { return (_Bool)               __VERIFIER_next_nondet( 0,  1, "__VERIFIER_nondet_bool"); }
char                __VERIFIER_nondet_char()
    { return (char)                __VERIFIER_next_nondet( 1,  8, "__VERIFIER_nondet_char"); }
short               __VERIFIER_nondet_short()
    { return (short)               __VERIFIER_next_nondet( 1, 16, "__VERIFIER_nondet_short"); }
int                 __VERIFIER_nondet_int()
    { return (int)                 __VERIFIER_next_nondet( 1, 32, "__VERIFIER_nondet_int"); }
long                __VERIFIER_nondet_long()
    { return (long)                __VERIFIER_next_nondet( 1, 64, "__VERIFIER_nondet_long"); } /* approx */
long long           __VERIFIER_nondet_longlong()
    { return (long long)           __VERIFIER_next_nondet( 1, 64, "__VERIFIER_nondet_longlong"); }

unsigned char       __VERIFIER_nondet_uchar()
    { return (unsigned char)       __VERIFIER_next_nondet( 0,  8, "__VERIFIER_nondet_uchar"); }
unsigned short      __VERIFIER_nondet_ushort()
    { return (unsigned short)      __VERIFIER_next_nondet( 0, 16, "__VERIFIER_nondet_ushort"); }
unsigned int        __VERIFIER_nondet_uint()
    { return (unsigned int)        __VERIFIER_next_nondet( 0, 32, "__VERIFIER_nondet_uint"); }
unsigned long       __VERIFIER_nondet_ulong()
    { return (unsigned long)       __VERIFIER_next_nondet( 0, 64, "__VERIFIER_nondet_ulong"); } /* approx */
unsigned long long  __VERIFIER_nondet_ulonglong()
    { return (unsigned long long)  __VERIFIER_next_nondet( 0, 64, "__VERIFIER_nondet_ulonglong"); }

unsigned char       __VERIFIER_nondet_u8()
    { return (unsigned char)       __VERIFIER_next_nondet( 0,  8, "__VERIFIER_nondet_u8"); }
unsigned short      __VERIFIER_nondet_u16()
    { return (unsigned short)      __VERIFIER_next_nondet( 0, 16, "__VERIFIER_nondet_u16"); }
unsigned int        __VERIFIER_nondet_u32()
    { return (unsigned int)        __VERIFIER_next_nondet( 0, 32, "__VERIFIER_nondet_u32"); }

unsigned char       __VERIFIER_nondet_unsigned_char()
    { return (unsigned char)       __VERIFIER_next_nondet( 0,  8, "__VERIFIER_nondet_unsigned_char"); }
unsigned int        __VERIFIER_nondet_unsigned()
    { return (unsigned int)        __VERIFIER_next_nondet( 0, 32, "__VERIFIER_nondet_unsigned"); }
unsigned int        __VERIFIER_nondet_unsigned_int()
    { return (unsigned int)        __VERIFIER_next_nondet( 0, 32, "__VERIFIER_nondet_unsigned_int"); }
unsigned long       __VERIFIER_nondet_unsigned_long()
    { return (unsigned long)       __VERIFIER_next_nondet( 0, 64, "__VERIFIER_nondet_unsigned_long"); } /* approx */

float               __VERIFIER_nondet_float()
    { return (float)               __VERIFIER_next_nondet( 1, 32, "__VERIFIER_nondet_float"); }
double              __VERIFIER_nondet_double()
    { return (double)              __VERIFIER_next_nondet( 1, 64, "__VERIFIER_nondet_double"); } /* approx */