Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val initialisation_parameters_from_slot_size :
slot_size:int ->
initialisation_parameters
The initialisation parameters can be too large for testing purposes. This function creates an unsafe initialisation parameters using some specified length (expected to be positive). The running time of this function is linear with respect to the size given. Order of magnitude can be around 1 minute for a size of 1MiB.
val load_parameters : initialisation_parameters -> unit
Same as load_parameters
except it erase parameters if they were already loaded. This is used to circumvent limitation from test frameworks where tests with various parameters could be run using the same binary.