shrink.hpp

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