forked from lix-project/lix
f7f37035c8
Today, with the tests inside a `tests` intermingled with the
corresponding library's source code, we have a few problems:
- We have to be careful that wildcards don't end up with tests being
built as part of Nix proper, or test headers being installed as part
of Nix proper.
- Tests in libraries but not executables is not right:
- It means each executable runs the previous unit tests again, because
it needs the libraries.
- It doesn't work right on Windows, which doesn't want you to load a
DLL just for the side global variable . It could be made to work
with the dlopen equivalent, but that's gross!
This reorg solves these problems.
There is a remaining problem which is that sibbling headers (like
`hash.hh` the test header vs `hash.hh` the main `libnixutil` header) end
up shadowing each other. This PR doesn't solve that. That is left as
future work for a future PR.
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
(cherry picked from commit 91b6833686a6a6d9eac7f3f66393ec89ef1d3b57)
(cherry picked from commit a61e42adb528b3d40ce43e07c79368d779a8b624)
58 lines
1.6 KiB
C++
58 lines
1.6 KiB
C++
#include <regex>
|
|
|
|
#include <rapidcheck.h>
|
|
|
|
#include "tests/derived-path.hh"
|
|
|
|
namespace rc {
|
|
using namespace nix;
|
|
|
|
Gen<DerivedPath::Opaque> Arbitrary<DerivedPath::Opaque>::arbitrary()
|
|
{
|
|
return gen::just(DerivedPath::Opaque {
|
|
.path = *gen::arbitrary<StorePath>(),
|
|
});
|
|
}
|
|
|
|
Gen<SingleDerivedPath::Built> Arbitrary<SingleDerivedPath::Built>::arbitrary()
|
|
{
|
|
return gen::just(SingleDerivedPath::Built {
|
|
.drvPath = make_ref<SingleDerivedPath>(*gen::arbitrary<SingleDerivedPath>()),
|
|
.output = (*gen::arbitrary<StorePathName>()).name,
|
|
});
|
|
}
|
|
|
|
Gen<DerivedPath::Built> Arbitrary<DerivedPath::Built>::arbitrary()
|
|
{
|
|
return gen::just(DerivedPath::Built {
|
|
.drvPath = make_ref<SingleDerivedPath>(*gen::arbitrary<SingleDerivedPath>()),
|
|
.outputs = *gen::arbitrary<OutputsSpec>(),
|
|
});
|
|
}
|
|
|
|
Gen<SingleDerivedPath> Arbitrary<SingleDerivedPath>::arbitrary()
|
|
{
|
|
switch (*gen::inRange<uint8_t>(0, std::variant_size_v<SingleDerivedPath::Raw>)) {
|
|
case 0:
|
|
return gen::just<SingleDerivedPath>(*gen::arbitrary<SingleDerivedPath::Opaque>());
|
|
case 1:
|
|
return gen::just<SingleDerivedPath>(*gen::arbitrary<SingleDerivedPath::Built>());
|
|
default:
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
Gen<DerivedPath> Arbitrary<DerivedPath>::arbitrary()
|
|
{
|
|
switch (*gen::inRange<uint8_t>(0, std::variant_size_v<DerivedPath::Raw>)) {
|
|
case 0:
|
|
return gen::just<DerivedPath>(*gen::arbitrary<DerivedPath::Opaque>());
|
|
case 1:
|
|
return gen::just<DerivedPath>(*gen::arbitrary<DerivedPath::Built>());
|
|
default:
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
}
|