about summary refs log tree commit diff
path: root/tvix/eval/src/properties.rs
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/eval/src/properties.rs
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/eval/src/properties.rs')
0 files changed, 0 insertions, 0 deletions