1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

#pragma once
///@file

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
#include <rapidcheck/gen/Arbitrary.h>
#pragma GCC diagnostic pop

#include "lix/libstore/path.hh"

namespace nix {

struct StorePathName {
    std::string name;
};

// For rapidcheck
void showValue(const StorePath & p, std::ostream & os);

}

namespace rc {
using namespace nix;

template<>
struct Arbitrary<StorePathName> {
    static Gen<StorePathName> arbitrary();
};

template<>
struct Arbitrary<StorePath> {
    static Gen<StorePath> arbitrary();
};

}