diff options
| author | Griffin Smith <root@gws.fyi> | 2022-09-18T17·22-0400 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-09-18T17·57+0000 |
| commit | c7faba0c8ee0eea6b20540569ecbd99eb76fedfa (patch) | |
| tree | 1fa389f6e113f684155b8211a85a363a3960d649 /tools/tvlc | |
| parent | 96d869923a13eab14d2bb111500a59f775967d9a (diff) | |
test(tvix/eval): Add tests for the Eq laws of Value r/4905
Only running 20 cases for now, since Value can get quite big if you let it run for a while. Change-Id: I09ef19da22c789c4869793836c98937c44595340 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6648 Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tools/tvlc')
0 files changed, 0 insertions, 0 deletions