diff options
Diffstat (limited to 'tvix/eval/src/value/attrs')
| -rw-r--r-- | tvix/eval/src/value/attrs/tests.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tvix/eval/src/value/attrs/tests.rs b/tvix/eval/src/value/attrs/tests.rs index a495dec6f27f..e25b362d2565 100644 --- a/tvix/eval/src/value/attrs/tests.rs +++ b/tvix/eval/src/value/attrs/tests.rs @@ -1,4 +1,15 @@ +use proptest::prelude::ProptestConfig; + use super::*; +use crate::properties::eq_laws; + +eq_laws!( + NixAttrs, + ProptestConfig { + cases: 5, + ..Default::default() + } +); #[test] fn test_empty_attrs() { |