diff options
author | Griffin Smith <root@gws.fyi> | 2022-09-18T17·30-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-18T17·57+0000 |
commit | 5dd5c7e254f01f96a2ddfcf2c163c08833ec0061 (patch) | |
tree | 94415966eef33e312f7ac0ff914b497b982b4f0c /tvix/eval/src/value | |
parent | c7faba0c8ee0eea6b20540569ecbd99eb76fedfa (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/eval/src/value')
-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() { |