about summary refs log tree commit diff
path: root/OWNERS
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2023-08-05T15·58+0200
committerclbot <clbot@tvl.fyi>2023-08-11T22·22+0000
commit8fb4c949dc267050b75b2efbcfdff1ca1b307fc5 (patch)
treeff41cc6cef0c321a11fd759e4d9e162a81f9ea1a /OWNERS
parent81fc87e29ebee143aa27ff6167556db76a803d12 (diff)
test(tvix/eval): check truncation direction of builtins.div r/6480
builtins.div ought to truncate towards zero so that

    -(builtins.div a b) == builtins.div (-a) b
    -(builtins.div a b) == builtins.div a (-b)

Change-Id: I8b7c08cd7f4fa8a1363c786d42c8d484f6cd133d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9006
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Diffstat (limited to 'OWNERS')
0 files changed, 0 insertions, 0 deletions