test_utilities.h File Reference

Utility functions for unit testing. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Functions
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.
bool	mcrl2::utilities::file_exists (const char *filename)
std::string	mcrl2::utilities::temporary_filename (std::string const &prefix="")
	Get filename with random suffix.

Detailed Description

Utility functions for unit testing.

Definition in file test_utilities.h.