From 5dd5c7e254f01f96a2ddfcf2c163c08833ec0061 Mon Sep 17 00:00:00 2001 From: Griffin Smith 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 Tested-by: BuildkiteCI Reviewed-by: tazjin --- 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