Searched refs:Init_Random (Results 1 – 6 of 6) sorted by relevance
36 Init_Random : constant := 8; constant106 Random_Elements.Reset (Gen, Init_Random);
45 Init_Random : constant := 10; constant233 Random_Elements.Reset (Gen, Init_Random);