equal
deleted
inserted
replaced
38 main (int argc, char *argv[]) |
38 main (int argc, char *argv[]) |
39 { |
39 { |
40 // |
40 // |
41 // Make the random number generators generate reproducible results. |
41 // Make the random number generators generate reproducible results. |
42 // |
42 // |
43 RandomVariable::UseGlobalSeed (1, 1, 2, 3, 5, 8); |
43 uint32_t seed[6] = {1, 1, 2, 3, 5, 8}; |
44 |
44 SeedManager::SetSeed(seed); |
45 // |
45 // |
46 // Allow the user to override any of the defaults and the above Bind() at |
46 // Allow the user to override any of the defaults and the above Bind() at |
47 // run-time, via command-line arguments |
47 // run-time, via command-line arguments |
48 // |
48 // |
49 CommandLine cmd; |
49 CommandLine cmd; |