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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
#include "libstore/derivations.hh"
#include <memory>
#include <absl/strings/str_cat.h>
#include <gtest/gtest.h>
#include <rapidcheck.h>
#include <rapidcheck/Assertions.h>
#include <rapidcheck/gen/Arbitrary.h>
#include <rapidcheck/gen/Build.h>
#include <rapidcheck/gen/Container.h>
#include <rapidcheck/gen/Tuple.h>
#include <rapidcheck/gtest.h>
#include <rapidcheck/state.h>
#include "libexpr/eval.hh"
#include "libutil/hash.hh"
#include "libutil/types.hh"
namespace rc {
using nix::Derivation;
using nix::DerivationOutput;
template <>
struct Arbitrary<nix::Base> {
static Gen<nix::Base> arbitrary() {
return gen::element(nix::Base16, nix::Base32, nix::Base64);
}
};
template <>
struct Arbitrary<DerivationOutput> {
static Gen<DerivationOutput> arbitrary() {
return gen::apply(
[](std::string content, std::string path, std::string hash_algo,
bool recursive, bool include_algo_in_hash, nix::Base base) {
auto hash_type = nix::parseHashType(hash_algo);
auto hash = nix::hashString(hash_type, content);
return DerivationOutput(
path, recursive ? absl::StrCat("r:", hash_algo) : hash_algo,
hash.to_string(base, include_algo_in_hash));
},
gen::arbitrary<std::string>(),
gen::map(gen::arbitrary<std::string>(),
[](std::string s) { return absl::StrCat("/", s); }),
gen::element<std::string>("md5", "sha1", "sha256", "sha512"),
gen::arbitrary<bool>(), gen::arbitrary<bool>(),
gen::arbitrary<nix::Base>());
}
};
template <>
struct Arbitrary<Derivation> {
static Gen<Derivation> arbitrary() {
auto gen_path = gen::map(gen::arbitrary<std::string>(), [](std::string s) {
return absl::StrCat("/", s);
});
return gen::build<Derivation>(
gen::set(&nix::BasicDerivation::outputs),
gen::set(&nix::BasicDerivation::inputSrcs,
gen::container<nix::PathSet>(gen_path)),
gen::set(&nix::BasicDerivation::platform),
gen::set(&nix::BasicDerivation::builder, gen_path),
gen::set(&nix::BasicDerivation::args),
gen::set(&nix::BasicDerivation::env),
gen::set(&Derivation::inputDrvs,
gen::container<nix::DerivationInputs>(
gen_path, gen::arbitrary<nix::StringSet>())));
}
};
} // namespace rc
namespace nix {
void AssertDerivationsEqual(const Derivation& lhs, const Derivation& rhs) {
RC_ASSERT(lhs.outputs.size() == rhs.outputs.size());
for (const auto& [k, lhs_v] : lhs.outputs) {
auto rhs_v = rhs.outputs.find(k);
RC_ASSERT(rhs_v != rhs.outputs.end());
RC_ASSERT(lhs_v.path == rhs_v->second.path);
RC_ASSERT(lhs_v.hashAlgo == rhs_v->second.hashAlgo);
RC_ASSERT(lhs_v.hash == rhs_v->second.hash);
}
RC_ASSERT(lhs.inputSrcs == rhs.inputSrcs);
RC_ASSERT(lhs.platform == rhs.platform);
RC_ASSERT(lhs.builder == rhs.builder);
RC_ASSERT(lhs.args == rhs.args);
RC_ASSERT(lhs.env == rhs.env);
RC_ASSERT(lhs.inputDrvs == rhs.inputDrvs);
}
class DerivationsTest : public ::testing::Test {};
// NOLINTNEXTLINE
RC_GTEST_FIXTURE_PROP(DerivationsTest, UnparseParseRoundTrip,
(Derivation && drv)) {
auto unparsed = drv.unparse();
auto parsed = parseDerivation(unparsed);
AssertDerivationsEqual(drv, parsed);
}
class ParseDrvPathWithOutputsTest : public DerivationsTest {};
TEST(ParseDrvPathWithOutputsTest, ParseDrvPathWithOutputs) {
auto input = "/nix/store/my51f75kp056md84gq2v08pd140pcz57-test.drv!out";
auto result = nix::parseDrvPathWithOutputs(input);
ASSERT_EQ(result.first,
"/nix/store/my51f75kp056md84gq2v08pd140pcz57-test.drv");
ASSERT_EQ(result.second, nix::PathSet{"out"});
}
TEST(ParseDrvPathWithOutputsTest, ParseDrvPathWithMultipleOutputs) {
auto input = "/nix/store/my51f75kp056md84gq2v08pd140pcz57-test.drv!out,dev";
auto result = nix::parseDrvPathWithOutputs(input);
nix::PathSet expected = {"out", "dev"};
ASSERT_EQ(result.first,
"/nix/store/my51f75kp056md84gq2v08pd140pcz57-test.drv");
ASSERT_EQ(result.second, expected);
}
TEST(ParseDrvPathWithOutputsTest, ParseDrvPathWithNoOutputs) {
auto input = "/nix/store/my51f75kp056md84gq2v08pd140pcz57-test";
auto result = nix::parseDrvPathWithOutputs(input);
ASSERT_EQ(result.first, "/nix/store/my51f75kp056md84gq2v08pd140pcz57-test");
ASSERT_EQ(result.second, nix::PathSet());
}
} // namespace nix
|
