static int cutorch_setDevice(lua_State *L) { int device = (int)luaL_checknumber(L, 1)-1; THCudaCheck(cudaSetDevice(device)); THCRandom_manualSeed(THCRandom_initialSeed()); return 0; }
static int cutorch_manualSeed(lua_State *L) { unsigned long seed = luaL_checknumber(L, 1); THCRandom_manualSeed(cutorch_getstate(L), seed); return 0; }