2023-01-29 17:37:32 +00:00
|
|
|
#pragma once
|
|
|
|
|
2023-01-29 18:52:38 +00:00
|
|
|
#include <rapidcheck/gen/Arbitrary.h>
|
2023-01-29 17:37:32 +00:00
|
|
|
|
2023-01-29 18:52:38 +00:00
|
|
|
#include <path.hh>
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
|
|
|
struct StorePathName {
|
|
|
|
std::string name;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
2023-01-29 17:37:32 +00:00
|
|
|
|
|
|
|
namespace rc {
|
|
|
|
using namespace nix;
|
|
|
|
|
2023-01-29 18:52:38 +00:00
|
|
|
template<>
|
|
|
|
struct Arbitrary<StorePathName> {
|
|
|
|
static Gen<StorePathName> arbitrary();
|
|
|
|
};
|
|
|
|
|
2023-01-29 17:37:32 +00:00
|
|
|
template<>
|
|
|
|
struct Arbitrary<StorePath> {
|
|
|
|
static Gen<StorePath> arbitrary();
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|