Non-standard test results and related functions. More...

Classes
struct	halcheck::gen::result_exception
	A special exception type used to indicate an abnormal but non-failing result. More...

struct	halcheck::gen::discard_exception
	An exception type thrown to indicate that the current test case is invalid. More...

struct	halcheck::gen::succeed_effect
	An effect for indicating that no more test cases should be generated for the current test. More...

Functions
void	halcheck::gen::guard (bool cond)
	Throws a gen::discard_exception if the given condition is `false`.

void	halcheck::gen::succeed ()
	Indicates that no more test cases should be generated for the current test.

template<typename F >
lib::invoke_result_t< F, lib::atom >	halcheck::gen::retry (lib::atom id, std::uintmax_t max, F func)
	Executes a function. If the function calls discard, then it is retried, up to a certain number of times.

template<typename F >
lib::invoke_result_t< F, lib::atom >	halcheck::gen::retry (lib::atom id, F func)
	Executes a function. If the function calls discard, then it is retried, up to 100 times.

Detailed Description

Non-standard test results and related functions.

Classes