FireFly
a8c3fbf0cc
There is a pull request [1] addressing these upstream--it doesn't appear likely to be merged anytime soon though... this is a no-op til we enable -Wdeprecated-declarations, but helps in the direction of #744 [1]: https://github.com/emil-e/rapidcheck/pull/325 Change-Id: I27e2c7d81df152de8674696f2a56d5f21c414ce3
36 lines
568 B
C++
36 lines
568 B
C++
#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();
|
|
};
|
|
|
|
}
|