Include file:
#include "mcrl2/utilities/test_utilities.h"
Utility functions for unit testing.
mcrl2::utilities::
file_exists
(const char *filename)¶mcrl2::utilities::
rand_alnum
()¶Generate a random alphanumeric character.
mcrl2::utilities::
rand_alnum_str
(const std::string::size_type n)¶Generate a random string of length n.
mcrl2::utilities::
temporary_filename
(std::string const &prefix = "")¶Get filename with random suffix.
Warning
is prone to race conditions