about summary refs log tree commit diff
path: root/RULES
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2022-09-17T17·50-0400
committerclbot <clbot@tvl.fyi>2022-09-17T19·51+0000
commit3935c34401799bd8f782a0ead23859d38a011b42 (patch)
treee59a3a5c0a4cf2144617e6e8debe7d3a58022d14 /RULES
parent51f1924f196761f041970b32456af49fc5d7b1ee (diff)
test(tvix/eval): Add proptests covering trait impls for String r/4894
Add a suite of proptests covering the laws of the handwritten stdlib
trait impls (Eq, Ord, and Hash) for String, generated from a new set of
macros for generating those tests which can be applied to other types.

Change-Id: Ib3276c9e96fca497aece094e5612707d3dc77ccd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6626
Autosubmit: grfn <grfn@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Diffstat (limited to 'RULES')
0 files changed, 0 insertions, 0 deletions