randomRemove

Removes archive in a random order.

@safe

void

randomRemove

(

const DARTIndex[] dart_indices

,

MinstdRand0 rnd

,

)

Parameters

dart_indices DARTIndex[]: The dart_indices to remove
rnd MinstdRand0: the random seed
db DART: the database

tagion testbench dart dart_helper_functions functions