Additional conformance tests for insertCoin and valueContains (#7409)

* Add insertCoin conformance test where key size > 32 bytes is allowed

* Add conformance test for valueContains, rename empty -> pos-empty

* Exclude new conformance tests from agda conformance

* Rename long-key-zero -> long-key-zero-1

* Add another conformance test inserting zero quantity with key that is too long

* Exclude long key tests from agda conformance tests

* Add conformance tests for insertCoin where key length is too long

Author: basetunnel

plutus-conformance/agda/Spec.hs

@@ -180,6 +180,10 @@ failingEvaluationTests =
   , "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/insertCoin/long-key-zero-1"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/long-key-zero-2"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-1"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-2"
   , "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"
@@ -192,7 +196,8 @@ failingEvaluationTests =
   , "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/pos-empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq"
@@ -294,6 +299,10 @@ failingBudgetTests =
   , "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/insertCoin/long-key-zero-1"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/long-key-zero-2"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-1"
+  , "test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-2"
   , "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"
@@ -306,7 +315,8 @@ failingBudgetTests =
   , "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/pos-empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-empty"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient"
   , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq"

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-1/key-too-long-1.uplc

@@ -0,0 +1,9 @@
+-- A key larger than 32-bit, which is not allowed
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)
+    (con bytestring #)
+    (con integer 1)
+    (con value [])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-1/key-too-long-1.uplc.budget.expected

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-1/key-too-long-1.uplc.expected

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-2/key-too-long-2.uplc

@@ -0,0 +1,9 @@
+-- A key larger than 32-bit, which is not allowed
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)
+    (con integer 1)
+    (con value [])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-2/key-too-long-2.uplc.budget.expected

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/key-too-long-2/key-too-long-2.uplc.expected

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/long-key-zero-1/long-key-zero-1.uplc

@@ -0,0 +1,9 @@
+-- A key larger than 32-bit, which is only allowed when inserting 0 value
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)
+    (con bytestring #)
+    (con integer 0)
+    (con value [(#, [(#, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/long-key-zero-1/long-key-zero-1.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 100000144100
+| mem: 100000001000})

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/long-key-zero-1/long-key-zero-1.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con value [(#, [(#, 1)])]))