about summary refs log tree commit diff
path: root/tvix/eval/src/value
diff options
context:
space:
mode:
Diffstat (limited to 'tvix/eval/src/value')
-rw-r--r--tvix/eval/src/value/attrs/tests.rs11
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() {