Conformance tests for built-in functions on Value

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 []))

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

@@ -0,0 +1 @@
+(program 1.0.0 (con value [("CURRENCY", [("TOKEN", 123)])]))

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

@@ -0,0 +1 @@
+parse error

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

@@ -0,0 +1 @@
+parse error

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc

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

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

@@ -0,0 +1 @@
+parse error

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.expected

@@ -0,0 +1 @@
+parse error

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc

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

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

@@ -0,0 +1 @@
+parse error

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.expected

@@ -0,0 +1 @@
+parse error

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.expected

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

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

@@ -0,0 +1,15 @@
+(program 1.0.0
+  (con value
+    [ (#,
+        [ (#  , 123)
+        , (#bb, 50000)
+        ]
+      )
+    , (#ffff,
+        [ (#aa, -10)
+        , (#bb, 20)
+        ]
+      )
+    ]
+  )
+)

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

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

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

@@ -0,0 +1,4 @@
+(program
+  1.0.0
+  (con value [(#, [(#, 123), (#bb, 50000)]), (#ffff, [(#aa, -10), (#bb, 20)])])
+)

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

@@ -0,0 +1,8 @@
+(program 1.0.0
+  (con value
+    [ (#ffff, [ (#bb, 123), (#aa, 456)])
+    , (#aa  , [ (#aa, 123)])
+    , (#    , [ (#aa, 123)])
+    ]
+  )
+)

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

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

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

@@ -0,0 +1,7 @@
+(program
+  1.0.0
+  (con
+    value
+    [(#, [(#aa, 123)]), (#aa, [(#aa, 123)]), (#ffff, [(#aa, 456), (#bb, 123)])]
+  )
+)

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

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

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

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

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

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #00)
+    (con bytestring #00)
+    (con integer 1)
+    (con value [(#, [(#, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #aa)
+    (con bytestring #aa)
+    (con integer 5)
+    (con value [(#aa, [(#aa, 1)]), (#bb, [(#aa, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #aa)
+    (con bytestring #bb)
+    (con integer 10)
+    (con value [(#aa, [(#aa, 5), (#bb, 15), (#cc, 20)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.expected

@@ -0,0 +1 @@
+(program 1.0.0 (con value [(#aa, [(#aa, 5), (#bb, 10), (#cc, 20)])]))

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer -1)
+    (con value [])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer 1)
+    (con value [])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc

@@ -0,0 +1,8 @@
+(program 1.0.0
+  [ (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer 1)
+    (con value [(#, [(#, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc

@@ -0,0 +1,9 @@
+(program 1.0.0
+  [
+    (builtin insertCoin)
+    (con bytestring #)
+    (con bytestring #)
+    (con integer 0)
+    (con value [(#, [(#, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected

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

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc

@@ -0,0 +1,7 @@
+(program 1.0.0
+  [ (builtin lookupCoin)
+    (con bytestring #aa)
+    (con bytestring #bb)
+    (con value [(#aa, [(#aa, 100)]), (#bb, [(#aa, 1)])])
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected

@@ -0,0 +1,2 @@
+({cpu: 100000112100
+| mem: 100000000800})