about summary refs log tree commit diff
path: root/tvix/eval/src/tests/tvix_tests
diff options
context:
space:
mode:
Diffstat (limited to 'tvix/eval/src/tests/tvix_tests')
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.exp2
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.nix1
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.exp2
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix1
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.exp2
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix1
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.exp2
-rw-r--r--tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix1
8 files changed, 8 insertions, 4 deletions
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.exp
index 25c0a9cc0f..c3ac813de6 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.exp
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.exp
@@ -1 +1 @@
-[ 18 18.9 18.9 19.1 19 ]
+[ 18 18.9 18.9 19.1 19 42 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.nix
index 6b2a29d798..b04b1d1fa6 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.nix
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-add.nix
@@ -4,4 +4,5 @@
   (builtins.add 7 11.9)
   (builtins.add 7.2 11.9)
   (builtins.add 7.1 11.9)
+  (builtins.add (builtins.add 21 10) 11)
 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.exp
index d71bbb7a06..73e9bc33b0 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.exp
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.exp
@@ -1 +1 @@
-[ 3 7 0 1 0 0.5 0.5 0.5 ]
+[ 3 7 0 1 0 0.5 0.5 0.5 42 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix
index 622ce889da..98b8b74bdf 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-div.nix
@@ -7,4 +7,5 @@
   (builtins.div 1.0 2)
   (builtins.div 1 2.0)
   (builtins.div 1.0 2.0)
+  (builtins.div (builtins.div 84 4) 0.5)
 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.exp
index 5ed8b8e2bd..e3e0f03a8a 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.exp
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.exp
@@ -1 +1 @@
-[ 36 0 0 14 ]
+[ 36 0 0 14 42 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix
index 5b61e387a6..2a8d6c4214 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix
@@ -3,4 +3,5 @@
   (builtins.mul 0 7)
   (builtins.mul 7 0)
   (builtins.mul 7 2)
+  (builtins.mul (builtins.mul 4 0.5) 21)
 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.exp
index c47a17fa27..51842eccfa 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.exp
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.exp
@@ -1 +1 @@
-[ -4 -3.1 -4.9 -4.7 -4 ]
+[ -4 -3.1 -4.9 -4.7 -4 42 ]
diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix
index 68b1913a00..2929c4dddd 100644
--- a/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix
+++ b/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-sub.nix
@@ -4,4 +4,5 @@
   (builtins.sub 7 11.9)
   (builtins.sub 7.2 11.9)
   (builtins.sub 7.9 11.9)
+  (builtins.sub (builtins.sub 123 23) 58)
 ]