/** @file randomize_serials.cpp
*
- * Utilitiy function used by the benchmarks.
+ * Utility function used by the benchmarks.
*/
/*
#include <ctime>
using namespace std;
-/** Generate a random amount of symbols and destroy them again immediatly.
+/** Generate a random amount of symbols and destroy them again immediately.
* This operation effectively makes the serial numbers of all subsequent
* symbols unpredictable. If the serials are unpredictable, then so are
* their hash values. If the hash values are unpredictable, then so are
*/
void randomify_symbol_serials()
{
- srand(time(NULL));
+ srand(time(nullptr));
const int m = rand() % 666;
for (int s=0; s<m; ++s ) {
symbol("dummy");