about summary refs log tree commit diff
path: root/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix
blob: dc6ce2781593bed9784ba3cb5186f59911d6200b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
[
  (builtins.div 9 3)
  (builtins.div 7 1)
  (builtins.div 3 9)
  (builtins.div 4 4)
  (builtins.div 1 2)
  (builtins.div 1.0 2)
  (builtins.div 1 2.0)
  (builtins.div 1.0 2.0)
  (builtins.div (builtins.div 84 4) 0.5)

  # builtins.div should truncate towards 0
  (builtins.div 3 2)
  (builtins.div (-3) (-2))
  (builtins.div (-3) 2)
  (builtins.div 3 (-2))
  (-(builtins.div 3 2))

  (builtins.div 4 3)
  (builtins.div (-4) (-3))
  (builtins.div (-4) 3)
  (builtins.div 4 (-3))
  (-(builtins.div 4 3))

  (builtins.div 5 3)
  (builtins.div (-5) (-3))
  (builtins.div (-5) 3)
  (builtins.div 5 (-3))
  (-(builtins.div 5 3))

  (builtins.div 2147812578 (-28748))
  (builtins.div (-2147812578) 28748)
  (-(builtins.div 2147812578 28748))
]