diff options
author | Florian Klink <flokli@flokli.de> | 2024-05-26T18·32+0200 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2024-05-30T16·18+0000 |
commit | 5405ed9dc6ae8b1bc906668209b6aa33ad848a41 (patch) | |
tree | aff24d97884cf0f2b3dcd6c49c5847e800fac3c8 /tvix/eval/src/lib.rs | |
parent | baa39d9d098fa5a1af58c79483f2701a68139df1 (diff) |
fix(tvix/eval): proptests require arbitrary feature r/8183
`cargo test --no-default-features` fails, if we don't conditionalize this on the `arbitrary` feature too. Change-Id: I81a277810119fed0cfc37c942c422f731aa14b2e Reviewed-on: https://cl.tvl.fyi/c/depot/+/11726 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'tvix/eval/src/lib.rs')
-rw-r--r-- | tvix/eval/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tvix/eval/src/lib.rs b/tvix/eval/src/lib.rs index 845964cb7e00..398da4d6e22e 100644 --- a/tvix/eval/src/lib.rs +++ b/tvix/eval/src/lib.rs @@ -29,7 +29,7 @@ mod vm; mod warnings; mod nix_search_path; -#[cfg(test)] +#[cfg(all(test, feature = "arbitrary"))] mod properties; #[cfg(test)] mod test_utils; |