From 5dd5c7e254f01f96a2ddfcf2c163c08833ec0061 Mon Sep 17 00:00:00 2001
From: Griffin Smith <root@gws.fyi>
Date: Sun, 18 Sep 2022 13:30:32 -0400
Subject: test(tvix/eval): Add Eq-laws tests for NixAttrs

As before, this limits the cases to a relatively small number because
otherwise things get quite large.

Change-Id: I5371dc56418fca52e1dd1d905b20868f647091ba
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6649
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
---
 tvix/eval/src/value/attrs/tests.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'tvix/eval/src/value')

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() {
-- 
cgit 1.4.1