diff options
| author | Griffin Smith <grfn@gws.fyi> | 2020-07-19T04·36-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2020-07-19T16·26+0000 |
| commit | 54a575077006494c83ee043ebc21e09c4fe8b596 (patch) | |
| tree | e3a322ecf3f2065d37be10571288f1994b04ebb2 /third_party/nix/default.nix | |
| parent | 6ff0d7992f675ef4ff7afce7c8c82b4f0de35b00 (diff) | |
test(3p/nix): Add property tests for attribute set r/1395
Add a set of property tests for the attribute set (Bindings) class checking that the Merge operation satisfies the monoid laws. This will hopefully become useful to make sure we're not breaking the language semantics as we work towards optimizing or replacing the implementation, but also serves as a test bed for adding rapidcheck-based property tests to the codebase. Change-Id: I1b4b7b6503d08d80c1c5a8f9408fd4b787d00e8e Reviewed-on: https://cl.tvl.fyi/c/depot/+/1283 Reviewed-by: isomer <isomer@tvl.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/nix/default.nix')
| -rw-r--r-- | third_party/nix/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/third_party/nix/default.nix b/third_party/nix/default.nix index c4a30501697f..54e77ec50d11 100644 --- a/third_party/nix/default.nix +++ b/third_party/nix/default.nix @@ -55,7 +55,6 @@ in pkgs.llvmPackages.libcxxStdenv.mkDerivation { flex glog grpc - gtest libseccomp libsodium openssl @@ -67,6 +66,11 @@ in pkgs.llvmPackages.libcxxStdenv.mkDerivation { doCheck = false; doInstallCheck = true; + installCheckInputs = with pkgs; [ + gtest + rapidcheck + ]; + propagatedBuildInputs = with pkgs; [ boost largeBoehm |