mcrl2/utilities/test_utilities.h

Include file:

#include "mcrl2/utilities/test_utilities.h"

Utility functions for unit testing.

Functions

bool mcrl2::utilities::file_exists(const char *filename)

char mcrl2::utilities::rand_alnum()

Generate a random alphanumeric character.

std::string mcrl2::utilities::rand_alnum_str(const std::string::size_type n)

Generate a random string of length n.

std::string mcrl2::utilities::temporary_filename(std::string const &prefix = "")

Get filename with random suffix.

Warning

is prone to race conditions