2023-01-29 20:52:38 +02:00
|
|
|
#pragma once
|
2023-04-01 06:18:41 +03:00
|
|
|
///@file
|
2023-01-29 20:52:38 +02:00
|
|
|
|
|
|
|
#include <rapidcheck/gen/Arbitrary.h>
|
|
|
|
|
|
|
|
#include <hash.hh>
|
|
|
|
|
|
|
|
namespace rc {
|
|
|
|
using namespace nix;
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct Arbitrary<Hash> {
|
|
|
|
static Gen<Hash> arbitrary();
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|