diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs index e204df6afc9..a7cbf9c8793 100644 --- a/plutus-conformance/agda/Spec.hs +++ b/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. diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc new file mode 100644 index 00000000000..474af417750 --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.expected new file mode 100644 index 00000000000..c263ddafab1 --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc new file mode 100644 index 00000000000..4a4c5a0a5e9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc @@ -0,0 +1 @@ +(program 1.0.0 (con value [ (#, [])])) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc new file mode 100644 index 00000000000..7d7c99a0689 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc new file mode 100644 index 00000000000..bc07130b49c --- /dev/null +++ b/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)])])) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.budget.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.budget.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc new file mode 100644 index 00000000000..e763e7251aa --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.budget.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/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 \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc new file mode 100644 index 00000000000..b087be8e3fc --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.budget.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/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 \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc new file mode 100644 index 00000000000..1a9c60e3f31 --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/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}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.expected new file mode 100644 index 00000000000..a23e7bfa8b4 --- /dev/null +++ b/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 ) ] ) ] + ) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc new file mode 100644 index 00000000000..7217bdc12f9 --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/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}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.expected new file mode 100644 index 00000000000..36c980efc4d --- /dev/null +++ b/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)] ) ] + ) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc new file mode 100644 index 00000000000..baff51abc7e --- /dev/null +++ b/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) + ] + ) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.expected new file mode 100644 index 00000000000..ebe530f04cb --- /dev/null +++ b/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)])]) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc new file mode 100644 index 00000000000..e7c60f829ee --- /dev/null +++ b/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)]) + ] + ) +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.expected new file mode 100644 index 00000000000..49e62a4b95f --- /dev/null +++ b/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)])] + ) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc new file mode 100644 index 00000000000..db0d46e0d67 --- /dev/null +++ b/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)])])) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.budget.expected new file mode 100644 index 00000000000..d9531fb66be --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 16100 +| mem: 200}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.expected new file mode 100644 index 00000000000..2152a56765f --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc new file mode 100644 index 00000000000..d006566845f --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/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}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.expected new file mode 100644 index 00000000000..e9f92199788 --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc new file mode 100644 index 00000000000..dbe18ca9686 --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/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}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected new file mode 100644 index 00000000000..f96f4511f0a --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc new file mode 100644 index 00000000000..a34e1141b9a --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000144100 +| mem: 100000001000}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.expected new file mode 100644 index 00000000000..b88a45b409f --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc new file mode 100644 index 00000000000..720456e3aee --- /dev/null +++ b/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 []) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000144100 +| mem: 100000001000}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.expected new file mode 100644 index 00000000000..f1a03ed3959 --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc new file mode 100644 index 00000000000..06dc4ad8393 --- /dev/null +++ b/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 []) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000144100 +| mem: 100000001000}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.expected new file mode 100644 index 00000000000..bbf3c399db1 --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc new file mode 100644 index 00000000000..4f5677b8604 --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000144100 +| mem: 100000001000}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.expected new file mode 100644 index 00000000000..bbf3c399db1 --- /dev/null +++ b/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)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc new file mode 100644 index 00000000000..b617257ec6d --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000144100 +| mem: 100000001000}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc new file mode 100644 index 00000000000..a6d8a668d90 --- /dev/null +++ b/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)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected new file mode 100644 index 00000000000..8331e319f3a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000112100 +| mem: 100000000800}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.expected new file mode 100644 index 00000000000..87e0223f6f0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 0)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc new file mode 100644 index 00000000000..e29d789c496 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc @@ -0,0 +1,7 @@ +(program 1.0.0 + [ (builtin lookupCoin) + (con bytestring #aa) + (con bytestring #aa) + (con value [(#aa, [(#aa, 100)]), (#bb, [(#aa, 1)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected new file mode 100644 index 00000000000..8331e319f3a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000112100 +| mem: 100000000800}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.expected new file mode 100644 index 00000000000..e8ae2b63aa3 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 100)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc new file mode 100644 index 00000000000..7e29686d072 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin unionValue) + (con value [(#, [(#, 100000)])]) + (con value [(#, [(#, -100000)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc new file mode 100644 index 00000000000..8e29fb6c585 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin unionValue) + (con value [(#, [(#, -100000)])]) + (con value [(#, [(#, 100000)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc new file mode 100644 index 00000000000..e348bd8cfc3 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin unionValue) + (con value [(#, [(#, 100000)])]) + (con value [(#, [(#, 100000)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.expected new file mode 100644 index 00000000000..98489a8c18d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [(#, [(#, 200000)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc new file mode 100644 index 00000000000..0728dc49306 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin unionValue) + (con value []) + (con value [(#aa, [(#aa, 100000)]), (#bb, [(#aa, 125)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.expected new file mode 100644 index 00000000000..9f44081ccfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [(#aa, [(#aa, 100000)]), (#bb, [(#aa, 125)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc new file mode 100644 index 00000000000..47b855e04dc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin unionValue) + (con value [(#aa, [(#aa, 100000)]), (#bb, [(#aa, 125)])]) + (con value []) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.expected new file mode 100644 index 00000000000..9f44081ccfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [(#aa, [(#aa, 100000)]), (#bb, [(#aa, 125)])])) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc new file mode 100644 index 00000000000..076a0465431 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc @@ -0,0 +1,8 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])]) + (con value [(#aa, [(#aa, 10)]), (#1234, [(#abcd, 20)])]) + ] +) + + diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.expected new file mode 100644 index 00000000000..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool False)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc new file mode 100644 index 00000000000..91563cba07b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 100)]), (#bb, [(#aa, 1)])]) + (con value []) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.expected new file mode 100644 index 00000000000..3760fc7a698 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc new file mode 100644 index 00000000000..f980edfcd17 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])]) + (con value [(#aa, [(#aa, 10)]), (#ffff, [(#8888, 101)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.expected new file mode 100644 index 00000000000..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool False)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc new file mode 100644 index 00000000000..4cd2319d689 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])]) + (con value [(#aa, [(#aa, 10)]), (#ffff, [(#8888, 20)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.expected new file mode 100644 index 00000000000..3760fc7a698 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc new file mode 100644 index 00000000000..f2e0bc99f8f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc @@ -0,0 +1,7 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, -10)])]) + (con value [(#aa, [(#aa, -10)])]) + ] +) + diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc new file mode 100644 index 00000000000..166baca23d1 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc @@ -0,0 +1,7 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, -10)])]) + (con value [(#aa, [(#aa, -9)])]) + ] +) + diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc new file mode 100644 index 00000000000..c838d6cdb7c --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, -10)])]) + (con value [(#aa, [(#aa, -11)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc new file mode 100644 index 00000000000..467f6ba1e71 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, -10)])]) + (con value [(#aa, [(#aa, 100)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc new file mode 100644 index 00000000000..2ea2f662c96 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 100)])]) + (con value [(#aa, [(#aa, -10)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc new file mode 100644 index 00000000000..eabb508fb61 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#aa, 100)]), (#bb, [(#aa, 1)])]) + (con value [(#aa, [(#aa, 100)]), (#bb, [(#aa, 1)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.expected new file mode 100644 index 00000000000..3760fc7a698 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc new file mode 100644 index 00000000000..a894796e875 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc @@ -0,0 +1,6 @@ +(program 1.0.0 + [ (builtin valueContains) + (con value [(#aa, [(#bb, 100), (#cc, 2800)])]) + (con value [(#aa, [(#dd, 5)])]) + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 100000080100 +| mem: 100000000600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.expected new file mode 100644 index 00000000000..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool False)) \ No newline at end of file