diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-07-19 16:34:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-19 16:34:36 +0200 |
commit | 0665253b864c4b725c19337b2b1971158f55b16f (patch) | |
tree | f4cc62995896cecf412e63daab21ee12ef7829f8 /lib/path/tests | |
parent | da865b2b9e32d94f33c6862465bfa0e2f132a87e (diff) | |
parent | 581d7c88bea4216fb47c2a98f38af59f2d14485d (diff) |
Merge pull request #244044 from tweag/lib-readme
Create a Readme in `lib`
Diffstat (limited to 'lib/path/tests')
-rwxr-xr-x | lib/path/tests/prop.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/path/tests/prop.sh b/lib/path/tests/prop.sh index 9fea521577836..f321fdf1cf450 100755 --- a/lib/path/tests/prop.sh +++ b/lib/path/tests/prop.sh @@ -1,9 +1,12 @@ #!/usr/bin/env bash -# Property tests for the `lib.path` library -# +# Property tests for lib/path/default.nix # It generates random path-like strings and runs the functions on # them, checking that the expected laws of the functions hold +# Run: +# [nixpkgs]$ lib/path/tests/prop.sh +# or: +# [nixpkgs]$ nix-build lib/tests/release.nix set -euo pipefail shopt -s inherit_errexit |