Conformance tests for value built-ins taking into account 128-bit integers (#7407)

basetunnel · web-flow · commit 2f25beb998f2 · 2025-11-07T07:30:21.000-08:00
diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs
@@ -165,20 +165,32 @@ failingEvaluationTests =
   , "test-cases/uplc/evaluation/builtin/constant/value/zero-asset"
   , "test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1"
   , "test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2"
+  , "test-cases/uplc/evaluation/builtin/constant/value/overflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/underflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent"
   , "test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/combine"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/empty"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient"
@@ -193,6 +205,10 @@ failingEvaluationTests =
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-zero"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-pos"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-neg"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow"
   ]
 
 {-| A list of budget tests which are currently expected to fail.  Once a fix for
@@ -263,20 +279,32 @@ failingBudgetTests =
   , "test-cases/uplc/evaluation/builtin/constant/value/zero-asset"
   , "test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1"
   , "test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2"
+  , "test-cases/uplc/evaluation/builtin/constant/value/overflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/underflow"
+  , "test-cases/uplc/evaluation/builtin/constant/value/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty"
   , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent"
   , "test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/combine"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl"
   , "test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/empty"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient"
@@ -291,6 +319,10 @@ failingBudgetTests =
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-zero"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-pos"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/by-neg"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow"
   ]
 
 -- Run the tests: see Note [Evaluation with and without costing] above.
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc
@@ -0,0 +1,3 @@
+(program 1.0.0
+  (con value [ (#, [ (# , 170141183460469231731687303715884105727)]) ])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 16100
+| mem: 200})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-overflow/no-overflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#, [(#, 170141183460469231731687303715884105727)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc
@@ -0,0 +1,3 @@
+(program 1.0.0
+  (con value [ (#, [ (# , -170141183460469231731687303715884105728)]) ])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 16100
+| mem: 200})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/no-underflow/no-underflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#, [(#, -170141183460469231731687303715884105728)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc
@@ -0,0 +1,3 @@
+(program 1.0.0
+  (con value [ (#, [ (# , 170141183460469231731687303715884105728)]) ])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc.budget.expected
@@ -0,0 +1 @@
+parse error
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/overflow/overflow.uplc.expected
@@ -0,0 +1 @@
+parse error
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc
@@ -0,0 +1,3 @@
+(program 1.0.0
+  (con value [ (#, [ (# , -170141183460469231731687303715884105729)]) ])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc.budget.expected
@@ -0,0 +1 @@
+parse error
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/underflow/underflow.uplc.expected
@@ -0,0 +1 @@
+parse error
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc
@@ -0,0 +1,10 @@
+-- Inserts 2^17 - 1, which is the maximum allowed value for a token
+(program 1.0.0
+  [
+    (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer 170141183460469231731687303715884105727)
+    (con value [(#, [(#, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000144100
+| mem: 100000001000})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-overflow/no-overflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#, [(#, 170141183460469231731687303715884105727)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc
@@ -0,0 +1,10 @@
+-- Inserts -2^127, which is the minimum allowed value of a token
+(program 1.0.0
+  [
+    (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer -170141183460469231731687303715884105728)
+    (con value [(#, [(#, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000144100
+| mem: 100000001000})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/no-underflow/no-underflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#, [(#, -170141183460469231731687303715884105728)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc
@@ -0,0 +1,10 @@
+-- Inserts 2^127, which exceeds the maximum value of a token
+(program 1.0.0
+  [
+    (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer 170141183460469231731687303715884105728)
+    (con value [(#, [(#, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/overflow/overflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc
@@ -0,0 +1,10 @@
+-- Inserts -2^127 - 1, which exceeds the minimum allowed value of a token
+(program 1.0.0
+  [
+    (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer -170141183460469231731687303715884105729)
+    (con value [(#, [(#, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/underflow/underflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc
@@ -0,0 +1,7 @@
+-- Computes (2^127) - 2, which stays under the maximum allowed value (2^127 - 1)
+(program 1.0.0
+  [ (builtin scaleValue)
+    (con integer 2)
+    (con value [(#aa, [(#aa, 85070591730234615865843651857942052863)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000080100
+| mem: 100000000600})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow/no-overflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#aa, [(#aa, 170141183460469231731687303715884105726)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc
@@ -0,0 +1,7 @@
+-- This computes -(2^127), which is the minimum allowed value
+(program 1.0.0
+  [ (builtin scaleValue)
+    (con integer 2)
+    (con value [(#aa, [(#aa, -85070591730234615865843651857942052864)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000080100
+| mem: 100000000600})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow/no-underflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#aa, [(#aa, -170141183460469231731687303715884105728)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc
@@ -0,0 +1,7 @@
+-- Performs 2 * 2^126 = 2^127 which exceeds the maximum allowed value (2^127 - 1)
+(program 1.0.0
+  [ (builtin scaleValue)
+    (con integer 2)
+    (con value [(#aa, [(#aa, 85070591730234615865843651857942052864)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/overflow/overflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc
@@ -0,0 +1,7 @@
+-- Computes -(2^127) - 2, which exceeds the minimum allowed vallue of -(2^127)
+(program 1.0.0
+  [ (builtin scaleValue)
+    (con integer 2)
+    (con value [(#aa, [(#aa, -85070591730234615865843651857942052865)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow/underflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc
@@ -0,0 +1,7 @@
+-- This adds up to 2^127 - 1, the maximum allowed value for a single token
+(program 1.0.0
+  [ (builtin unionValue)
+    (con value [(#aa, [(#aa, 170141183460469231731687303715884105726)])])
+    (con value [(#aa, [(#aa, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000080100
+| mem: 100000000600})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-overflow/no-overflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#aa, [(#aa, 170141183460469231731687303715884105727)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc
@@ -0,0 +1,8 @@
+-- This adds up to -2^-127, which is the minimum allowed value for a single
+-- token
+(program 1.0.0
+  [ (builtin unionValue)
+    (con value [(#aa, [(#aa, -170141183460469231731687303715884105727)])])
+    (con value [(#aa, [(#aa, -1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 100000080100
+| mem: 100000000600})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/no-underflow/no-underflow.uplc.expected
@@ -0,0 +1,3 @@
+(program
+  1.0.0 (con value [(#aa, [(#aa, -170141183460469231731687303715884105728)])])
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc
@@ -0,0 +1,8 @@
+-- This would add up to 2^127, which is over the allowed maximum value of a
+-- token
+(program 1.0.0
+  [ (builtin unionValue)
+    (con value [(#aa, [(#aa, 170141183460469231731687303715884105727)])])
+    (con value [(#aa, [(#aa, 1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/overflow/overflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc
@@ -0,0 +1,8 @@
+-- This would add up to (-2^-127 - 1), which is less than the allowed minimum value of a
+-- token
+(program 1.0.0
+  [ (builtin unionValue)
+    (con value [(#aa, [(#aa, -170141183460469231731687303715884105728)])])
+    (con value [(#aa, [(#aa, -1)])])
+  ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/underflow/underflow.uplc.expected
@@ -0,0 +1 @@
+evaluation failure

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+(program 1.0.0`
	`2`	`+ (con value [ (#, [ (# , 170141183460469231731687303715884105727)]) ])`
	`3`	`+)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+(program`
	`2`	`+ 1.0.0 (con value [(#, [(#, 170141183460469231731687303715884105727)])])`
	`3`	`+)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+(program 1.0.0`
	`2`	`+ (con value [ (#, [ (# , -170141183460469231731687303715884105728)]) ])`
	`3`	`+)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+(program`
	`2`	`+ 1.0.0 (con value [(#, [(#, -170141183460469231731687303715884105728)])])`
	`3`	`+)`