about summary refs log tree commit diff
path: root/tvix
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2022-09-18T17·30-0400
committerclbot <clbot@tvl.fyi>2022-09-18T17·57+0000
commit5dd5c7e254f01f96a2ddfcf2c163c08833ec0061 (patch)
tree94415966eef33e312f7ac0ff914b497b982b4f0c /tvix
parentc7faba0c8ee0eea6b20540569ecbd99eb76fedfa (diff)
test(tvix/eval): Add Eq-laws tests for NixAttrs r/4906
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>
Diffstat (limited to 'tvix')
-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() {