check.hpp

#ifndef HALCHECK_TEST_CHECK_HPP
#define HALCHECK_TEST_CHECK_HPP
 
#include <halcheck/test/strategy.hpp>
 
namespace halcheck { namespace test {
 
test::strategy check();
 
}} // namespace halcheck::test
 
#endif