Function cmb_random_curseed

Function Documentation

uint64_t cmb_random_curseed(void)

Get the seed that was used for the ongoing run in this thread. Used as a debugging tool, e.g., to enable repeating whatever sequence of events led to some unexpected result, possibly in a debugger or with more printf() statements enabled next time.

Returns:

The 64-bit seed that was used to initialize the generator. If it returns 0x0000DEAD5EED0000, the generator was never initialized.