diff options
| author | Griffin Smith <root@gws.fyi> | 2022-09-17T17·50-0400 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-09-17T19·51+0000 |
| commit | 3935c34401799bd8f782a0ead23859d38a011b42 (patch) | |
| tree | e59a3a5c0a4cf2144617e6e8debe7d3a58022d14 /tvix/eval/src/lib.rs | |
| parent | 51f1924f196761f041970b32456af49fc5d7b1ee (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 'tvix/eval/src/lib.rs')
| -rw-r--r-- | tvix/eval/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tvix/eval/src/lib.rs b/tvix/eval/src/lib.rs index b0baf3c249e9..34bb3b57e97c 100644 --- a/tvix/eval/src/lib.rs +++ b/tvix/eval/src/lib.rs @@ -11,6 +11,8 @@ mod vm; mod warnings; #[cfg(test)] +mod properties; +#[cfg(test)] mod tests; // Re-export the public interface used by other crates. |