Set .Random.seed to a pre-saved value

Source: R/functions_utility.R

Set .Random.seed to a pre-saved value

set_global_seed(x)

Arguments

x

integer vector