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