Conformance tests for built-in functions on Value (#7359)

Author: basetunnel

plutus-conformance/agda/Spec.hs

@@ -153,6 +153,43 @@ failingEvaluationTests =
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-01"
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-02"
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-03"
+
+  -- The following are failing because the metatheory needs to be updated with
+  -- Value built-in functions
+  , "test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys"
+  , "test-cases/uplc/evaluation/builtin/constant/value/empty-tokens"
+  , "test-cases/uplc/evaluation/builtin/constant/value/empty"
+  , "test-cases/uplc/evaluation/builtin/constant/value/ill-formed"
+  , "test-cases/uplc/evaluation/builtin/constant/value/multi"
+  , "test-cases/uplc/evaluation/builtin/constant/value/unordered"
+  , "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/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/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/valueContains/ccy-missing"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/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"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing"
   ]
 
 {-| A list of budget tests which are currently expected to fail.  Once a fix for
@@ -212,6 +249,42 @@ failingBudgetTests =
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-01"
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-02"
   , "test-cases/uplc/evaluation/term/constant-case/unit/unit-03"
+  -- The following are failing because the metatheory needs to be updated with
+  -- Value built-in functions
+  , "test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys"
+  , "test-cases/uplc/evaluation/builtin/constant/value/empty-tokens"
+  , "test-cases/uplc/evaluation/builtin/constant/value/empty"
+  , "test-cases/uplc/evaluation/builtin/constant/value/ill-formed"
+  , "test-cases/uplc/evaluation/builtin/constant/value/multi"
+  , "test-cases/uplc/evaluation/builtin/constant/value/unordered"
+  , "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/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/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/valueContains/ccy-missing"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/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"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing"
   ]
 
 -- Run the tests: see Note [Evaluation with and without costing] above.

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 16100
+| mem: 200})

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 16100
+| mem: 200})

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 16100
+| mem: 200})

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.expected

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