From 494fcd9dde8ef7de75e7544f2614dd419c993b1c Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Wed, 17 Sep 2025 16:54:13 +0200 Subject: [PATCH 01/20] Add conformance tests for insertCoin --- .../insertCoin-01/insertCoin-01.uplc | 18 ++++++++++++++++++ .../insertCoin-01.uplc.budget.expected | 2 ++ .../insertCoin-01/insertCoin-01.uplc.expected | 1 + .../insertCoin-02/insertCoin-02.uplc | 15 +++++++++++++++ .../insertCoin-02.uplc.budget.expected | 2 ++ .../insertCoin-02/insertCoin-02.uplc.expected | 1 + .../insertCoin-03/insertCoin-03.uplc | 15 +++++++++++++++ .../insertCoin-03.uplc.budget.expected | 2 ++ .../insertCoin-03/insertCoin-03.uplc.expected | 1 + .../insertCoin-04/insertCoin-04.uplc | 15 +++++++++++++++ .../insertCoin-04.uplc.budget.expected | 2 ++ .../insertCoin-04/insertCoin-04.uplc.expected | 1 + .../insertCoin-05/insertCoin-05.uplc | 15 +++++++++++++++ .../insertCoin-05.uplc.budget.expected | 2 ++ .../insertCoin-05/insertCoin-05.uplc.expected | 1 + 15 files changed, 93 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc new file mode 100644 index 00000000000..378bdd6c04b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc @@ -0,0 +1,18 @@ +(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/insertCoin-01/insertCoin-01.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.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/insertCoin-01/insertCoin-01.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.expected new file mode 100644 index 00000000000..bbf3c399db1 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.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/insertCoin-02/insertCoin-02.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc new file mode 100644 index 00000000000..4ad2d060429 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc @@ -0,0 +1,15 @@ +(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/insertCoin-02/insertCoin-02.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.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/insertCoin-02/insertCoin-02.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.expected new file mode 100644 index 00000000000..bbf3c399db1 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.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/insertCoin-03/insertCoin-03.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc new file mode 100644 index 00000000000..be1dafdd314 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc @@ -0,0 +1,15 @@ +(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/insertCoin-03/insertCoin-03.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.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/insertCoin-03/insertCoin-03.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.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/insertCoin/insertCoin-04/insertCoin-04.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc new file mode 100644 index 00000000000..41a406770ef --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc @@ -0,0 +1,15 @@ +(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/insertCoin-04/insertCoin-04.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.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/insertCoin-04/insertCoin-04.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.expected new file mode 100644 index 00000000000..f1a03ed3959 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.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/insertCoin-05/insertCoin-05.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc new file mode 100644 index 00000000000..1b7848b66e4 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc @@ -0,0 +1,15 @@ +(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/insertCoin-05/insertCoin-05.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.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/insertCoin-05/insertCoin-05.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.expected new file mode 100644 index 00000000000..e9f92199788 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [(#, [(#, 1)]), (#00, [(#00, 1)])])) \ No newline at end of file From 799a008c82ba5644ce025c69cc44b2f8bc8cd221 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Wed, 17 Sep 2025 17:19:43 +0200 Subject: [PATCH 02/20] Add conformance tests for unionValue --- .../insertCoin/insertCoin-06/insertCoin-06.uplc | 15 +++++++++++++++ .../insertCoin-06.uplc.budget.expected | 2 ++ .../insertCoin-06/insertCoin-06.uplc.expected | 1 + .../unionValue-cancel/unionValue-cancel.uplc | 6 ++++++ .../unionValue-cancel.uplc.budget.expected | 2 ++ .../unionValue-cancel.uplc.expected | 1 + .../unionValue-combine/unionValue-combine.uplc | 6 ++++++ .../unionValue-combine.uplc.budget.expected | 2 ++ .../unionValue-combine.uplc.expected | 1 + .../unionValue-unitl/unionValue-unitl.uplc | 6 ++++++ .../unionValue-unitl.uplc.budget.expected | 2 ++ .../unionValue-unitl.uplc.expected | 1 + .../unionValue-unitr/unionValue-unitr.uplc | 6 ++++++ .../unionValue-unitr.uplc.budget.expected | 2 ++ .../unionValue-unitr.uplc.expected | 1 + 15 files changed, 54 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc new file mode 100644 index 00000000000..0d48a4dfb54 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc @@ -0,0 +1,15 @@ +(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/insertCoin-06/insertCoin-06.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.budget.expected new file mode 100644 index 00000000000..e37055b5fd0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.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/insertCoin-06/insertCoin-06.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.expected new file mode 100644 index 00000000000..f96f4511f0a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.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/unionValue/unionValue-cancel/unionValue-cancel.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc new file mode 100644 index 00000000000..7e29686d072 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.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/unionValue-cancel/unionValue-cancel.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.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/unionValue-cancel/unionValue-cancel.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.expected new file mode 100644 index 00000000000..f3491084cfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.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/unionValue-combine/unionValue-combine.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc new file mode 100644 index 00000000000..e348bd8cfc3 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-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/unionValue-combine/unionValue-combine.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-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/unionValue-combine/unionValue-combine.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.expected new file mode 100644 index 00000000000..98489a8c18d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-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/unionValue-unitl/unionValue-unitl.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc new file mode 100644 index 00000000000..0728dc49306 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-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/unionValue-unitl/unionValue-unitl.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-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/unionValue-unitl/unionValue-unitl.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.expected new file mode 100644 index 00000000000..9f44081ccfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-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/unionValue-unitr/unionValue-unitr.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc new file mode 100644 index 00000000000..47b855e04dc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-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/unionValue-unitr/unionValue-unitr.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-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/unionValue-unitr/unionValue-unitr.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.expected new file mode 100644 index 00000000000..9f44081ccfa --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con value [(#aa, [(#aa, 100000)]), (#bb, [(#aa, 125)])])) \ No newline at end of file From 7237f84e391ada96be3875265c545a5ccbe38686 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 14:43:21 +0200 Subject: [PATCH 03/20] Use conciser syntax for function application in tests --- .../insertCoin-01/insertCoin-01.uplc | 20 +++++-------------- .../insertCoin-02/insertCoin-02.uplc | 15 ++++---------- .../insertCoin-03/insertCoin-03.uplc | 14 ++++--------- .../insertCoin-04/insertCoin-04.uplc | 15 ++++---------- .../insertCoin-05/insertCoin-05.uplc | 15 ++++---------- .../insertCoin-06/insertCoin-06.uplc | 15 ++++---------- 6 files changed, 25 insertions(+), 69 deletions(-) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc index 378bdd6c04b..06dc4ad8393 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc @@ -1,18 +1,8 @@ (program 1.0.0 - [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #) - ] - (con bytestring #) - ] - (con integer 1) - ] - (con - value - [] - ) + [ (builtin insertCoin) + (con bytestring #) + (con bytestring #) + (con integer 1) + (con value []) ] ) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc index 4ad2d060429..4f5677b8604 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc @@ -1,15 +1,8 @@ (program 1.0.0 - [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #) - ] - (con bytestring #) - ] - (con integer 1) - ] + [ (builtin insertCoin) + (con bytestring #) + (con bytestring #) + (con integer 1) (con value [(#, [(#, 1)])]) ] ) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc index be1dafdd314..b617257ec6d 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc @@ -1,15 +1,9 @@ (program 1.0.0 [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #) - ] - (con bytestring #) - ] - (con integer 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/insertCoin-04/insertCoin-04.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc index 41a406770ef..720456e3aee 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc @@ -1,15 +1,8 @@ (program 1.0.0 - [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #) - ] - (con bytestring #) - ] - (con integer -1) - ] + [ (builtin insertCoin) + (con bytestring #) + (con bytestring #) + (con integer -1) (con value []) ] ) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc index 1b7848b66e4..d006566845f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc @@ -1,15 +1,8 @@ (program 1.0.0 - [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #00) - ] - (con bytestring #00) - ] - (con integer 1) - ] + [ (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/insertCoin-06/insertCoin-06.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc index 0d48a4dfb54..dbe18ca9686 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc @@ -1,15 +1,8 @@ (program 1.0.0 - [ - [ - [ - [ - (builtin insertCoin) - (con bytestring #aa) - ] - (con bytestring #aa) - ] - (con integer 5) - ] + [ (builtin insertCoin) + (con bytestring #aa) + (con bytestring #aa) + (con integer 5) (con value [(#aa, [(#aa, 1)]), (#bb, [(#aa, 1)])]) ] ) From bda81e5d9ffd55506778c19b0c20d49c8cb15074 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 14:51:04 +0200 Subject: [PATCH 04/20] Initial conformance tests for lookupCoin --- .../builtin/semantics/lookupCoin/absent/absent.uplc | 7 +++++++ .../lookupCoin/absent/absent.uplc.budget.expected | 1 + .../semantics/lookupCoin/absent/absent.uplc.expected | 1 + .../builtin/semantics/lookupCoin/present/present.uplc | 7 +++++++ .../lookupCoin/present/present.uplc.budget.expected | 1 + .../semantics/lookupCoin/present/present.uplc.expected | 1 + 6 files changed, 18 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.expected 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected @@ -0,0 +1 @@ +parse error \ 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.expected @@ -0,0 +1 @@ +parse error \ 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected @@ -0,0 +1 @@ +parse error \ 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file From f04a00e0a132d438ea854198f893d86fb2894824 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 14:57:55 +0200 Subject: [PATCH 05/20] Fix expected and expected budget for lookupCoin tests --- .../semantics/lookupCoin/absent/absent.uplc.budget.expected | 3 ++- .../builtin/semantics/lookupCoin/absent/absent.uplc.expected | 2 +- .../semantics/lookupCoin/present/present.uplc.budget.expected | 3 ++- .../builtin/semantics/lookupCoin/present/present.uplc.expected | 2 +- 4 files changed, 6 insertions(+), 4 deletions(-) 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 index fd56948990e..8331e319f3a 100644 --- 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 @@ -1 +1,2 @@ -parse error \ No newline at end of file +({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 index fd56948990e..87e0223f6f0 100644 --- 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 @@ -1 +1 @@ -parse error \ No newline at end of file +(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.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected index fd56948990e..8331e319f3a 100644 --- 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 @@ -1 +1,2 @@ -parse error \ No newline at end of file +({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 index fd56948990e..e8ae2b63aa3 100644 --- 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 @@ -1 +1 @@ -parse error \ No newline at end of file +(program 1.0.0 (con integer 100)) \ No newline at end of file From d5dbd853c9f2582044e6b1950b6d6c961d4e294a Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 15:14:31 +0200 Subject: [PATCH 06/20] add insertCoin/lookupCoin test --- .../insertCoinlookupCoin/insertCoinlookupCoin.uplc | 12 ++++++++++++ .../insertCoinlookupCoin.uplc.budget.expected | 2 ++ .../insertCoinlookupCoin.uplc.expected | 1 + 3 files changed, 15 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc new file mode 100644 index 00000000000..e8a06d67104 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc @@ -0,0 +1,12 @@ +(program 1.0.0 + [ (builtin lookupCoin) + (con bytestring #aa) + (con bytestring #bb) + [ (builtin insertCoin) + (con bytestring #aa) + (con bytestring #bb) + (con integer 123) + (con value [(#aa, [(#bb, 20)])]) + ] + ] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected new file mode 100644 index 00000000000..4d951a59327 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 200000240100 +| mem: 200000001600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected new file mode 100644 index 00000000000..9006f53272a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 123)) \ No newline at end of file From bf4ca84513351a83566f4dc71a7020488026853c Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 15:19:02 +0200 Subject: [PATCH 07/20] Add some simple tests for valueContains --- .../builtin/semantics/valueContains/empty/empty.uplc | 6 ++++++ .../valueContains/empty/empty.uplc.budget.expected | 2 ++ .../semantics/valueContains/empty/empty.uplc.expected | 1 + .../builtin/semantics/valueContains/refl/refl.uplc | 6 ++++++ .../semantics/valueContains/refl/refl.uplc.budget.expected | 2 ++ .../builtin/semantics/valueContains/refl/refl.uplc.expected | 1 + 6 files changed, 18 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/empty/empty.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.expected 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/refl/refl.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc new file mode 100644 index 00000000000..eabb508fb61 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.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/refl/refl.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.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/refl/refl.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.expected new file mode 100644 index 00000000000..3760fc7a698 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool True)) \ No newline at end of file From a3ee7b0edfd70db044e7c41407515cfd8d52497f Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Thu, 18 Sep 2025 18:27:28 +0200 Subject: [PATCH 08/20] More valueContains tests --- .../valueContains/negative-negative/negative-negative.uplc | 6 ++++++ .../negative-negative.uplc.budget.expected | 2 ++ .../negative-negative/negative-negative.uplc.expected | 1 + .../valueContains/negative-positive/negative-positive.uplc | 6 ++++++ .../negative-positive.uplc.budget.expected | 2 ++ .../negative-positive/negative-positive.uplc.expected | 1 + .../valueContains/positive-negative/positive-negative.uplc | 6 ++++++ .../positive-negative.uplc.budget.expected | 2 ++ .../positive-negative/positive-negative.uplc.expected | 1 + 9 files changed, 27 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc new file mode 100644 index 00000000000..66603f02d17 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc @@ -0,0 +1,6 @@ +(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/negative-negative/negative-negative.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.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/negative-negative/negative-negative.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.expected new file mode 100644 index 00000000000..3760fc7a698 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.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/negative-positive/negative-positive.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc new file mode 100644 index 00000000000..467f6ba1e71 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.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/negative-positive/negative-positive.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.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/negative-positive/negative-positive.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.expected new file mode 100644 index 00000000000..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.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/positive-negative/positive-negative.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc new file mode 100644 index 00000000000..2ea2f662c96 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.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/positive-negative/positive-negative.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.budget.expected new file mode 100644 index 00000000000..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.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/positive-negative/positive-negative.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.expected new file mode 100644 index 00000000000..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bool False)) \ No newline at end of file From de08c750451d3eddc3c46caff7432b190d76b152 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 21:57:36 +0200 Subject: [PATCH 09/20] Remove test in /interleaving --- .../insertCoinlookupCoin/insertCoinlookupCoin.uplc | 12 ------------ .../insertCoinlookupCoin.uplc.budget.expected | 2 -- .../insertCoinlookupCoin.uplc.expected | 1 - 3 files changed, 15 deletions(-) delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc deleted file mode 100644 index e8a06d67104..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc +++ /dev/null @@ -1,12 +0,0 @@ -(program 1.0.0 - [ (builtin lookupCoin) - (con bytestring #aa) - (con bytestring #bb) - [ (builtin insertCoin) - (con bytestring #aa) - (con bytestring #bb) - (con integer 123) - (con value [(#aa, [(#bb, 20)])]) - ] - ] -) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected deleted file mode 100644 index 4d951a59327..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 200000240100 -| mem: 200000001600}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected deleted file mode 100644 index 9006f53272a..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/interleaving/insertCoinlookupCoin/insertCoinlookupCoin.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 1.0.0 (con integer 123)) \ No newline at end of file From 76ed0c65b92805f54c787518bd547be82b7388c3 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 22:30:11 +0200 Subject: [PATCH 10/20] Give sensible names to insertCoin conformance tests --- .../insertCoin-05.uplc => multi-ccy-empty/multi-ccy-empty.uplc} | 0 .../multi-ccy-empty.uplc.budget.expected} | 0 .../multi-ccy-empty.uplc.expected} | 0 .../multi-ccy-nonempty.uplc} | 0 .../multi-ccy-nonempty.uplc.budget.expected} | 0 .../multi-ccy-nonempty.uplc.expected} | 0 .../insertCoin-04.uplc => negative-empty/negative-empty.uplc} | 0 .../negative-empty.uplc.budget.expected} | 0 .../negative-empty.uplc.expected} | 0 .../insertCoin-01.uplc => positive-empty/positive-empty.uplc} | 0 .../positive-empty.uplc.budget.expected} | 0 .../positive-empty.uplc.expected} | 0 .../positive-nonempty.uplc} | 0 .../positive-nonempty.uplc.budget.expected} | 0 .../positive-nonempty.uplc.expected} | 0 .../insertCoin-03.uplc => zero-positive/zero-positive.uplc} | 0 .../zero-positive.uplc.budget.expected} | 0 .../zero-positive.uplc.expected} | 0 18 files changed, 0 insertions(+), 0 deletions(-) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-05/insertCoin-05.uplc => multi-ccy-empty/multi-ccy-empty.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-01/insertCoin-01.uplc.budget.expected => multi-ccy-empty/multi-ccy-empty.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-05/insertCoin-05.uplc.expected => multi-ccy-empty/multi-ccy-empty.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-06/insertCoin-06.uplc => multi-ccy-nonempty/multi-ccy-nonempty.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-02/insertCoin-02.uplc.budget.expected => multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-06/insertCoin-06.uplc.expected => multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-04/insertCoin-04.uplc => negative-empty/negative-empty.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-03/insertCoin-03.uplc.budget.expected => negative-empty/negative-empty.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-04/insertCoin-04.uplc.expected => negative-empty/negative-empty.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-01/insertCoin-01.uplc => positive-empty/positive-empty.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-04/insertCoin-04.uplc.budget.expected => positive-empty/positive-empty.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-01/insertCoin-01.uplc.expected => positive-empty/positive-empty.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-02/insertCoin-02.uplc => positive-nonempty/positive-nonempty.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-05/insertCoin-05.uplc.budget.expected => positive-nonempty/positive-nonempty.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-02/insertCoin-02.uplc.expected => positive-nonempty/positive-nonempty.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-03/insertCoin-03.uplc => zero-positive/zero-positive.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-06/insertCoin-06.uplc.budget.expected => zero-positive/zero-positive.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/{insertCoin-03/insertCoin-03.uplc.expected => zero-positive/zero-positive.uplc.expected} (100%) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-empty/multi-ccy-empty.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-ccy-nonempty/multi-ccy-nonempty.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/negative-empty/negative-empty.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-04/insertCoin-04.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-01/insertCoin-01.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-empty/positive-empty.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-05/insertCoin-05.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-02/insertCoin-02.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/positive-nonempty/positive-nonempty.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-06/insertCoin-06.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/insertCoin-03/insertCoin-03.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/zero-positive/zero-positive.uplc.expected From 20f10847507e65b19ec8e4ae352fb7f6f91d706e Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 22:34:50 +0200 Subject: [PATCH 11/20] Add one more test to insertCoin --- .../semantics/insertCoin/multi-token/multi-token.uplc | 8 ++++++++ .../multi-token/multi-token.uplc.budget.expected | 2 ++ .../insertCoin/multi-token/multi-token.uplc.expected | 1 + 3 files changed, 11 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/insertCoin/multi-token/multi-token.uplc.expected 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 From db4d152ed5c38bcd2c0c78284c5dab81b21a089d Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 22:41:26 +0200 Subject: [PATCH 12/20] rename unionValue tests --- .../unionValue-cancel.uplc => cancel-01/cancel-01.uplc} | 0 .../cancel-01.uplc.budget.expected} | 0 .../cancel-01.uplc.expected} | 0 .../unionValue-combine.uplc => combine/combine.uplc} | 0 .../combine.uplc.budget.expected} | 0 .../combine.uplc.expected} | 0 .../{unionValue-unitl/unionValue-unitl.uplc => unitl/unitl.uplc} | 0 .../unitl.uplc.budget.expected} | 0 .../unionValue-unitl.uplc.expected => unitl/unitl.uplc.expected} | 0 .../{unionValue-unitr/unionValue-unitr.uplc => unitr/unitr.uplc} | 0 .../unitr.uplc.budget.expected} | 0 .../unionValue-unitr.uplc.expected => unitr/unitr.uplc.expected} | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-cancel/unionValue-cancel.uplc => cancel-01/cancel-01.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-cancel/unionValue-cancel.uplc.budget.expected => cancel-01/cancel-01.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-cancel/unionValue-cancel.uplc.expected => cancel-01/cancel-01.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-combine/unionValue-combine.uplc => combine/combine.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-combine/unionValue-combine.uplc.budget.expected => combine/combine.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-combine/unionValue-combine.uplc.expected => combine/combine.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitl/unionValue-unitl.uplc => unitl/unitl.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitl/unionValue-unitl.uplc.budget.expected => unitl/unitl.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitl/unionValue-unitl.uplc.expected => unitl/unitl.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitr/unionValue-unitr.uplc => unitr/unitr.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitr/unionValue-unitr.uplc.budget.expected => unitr/unitr.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/{unionValue-unitr/unionValue-unitr.uplc.expected => unitr/unitr.uplc.expected} (100%) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-cancel/unionValue-cancel.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-01/cancel-01.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-combine/unionValue-combine.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/combine/combine.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitl/unionValue-unitl.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitl/unitl.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unionValue-unitr/unionValue-unitr.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/unitr/unitr.uplc.expected From 839948d482e1d1a3e25de0fe0b560bf0db611403 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 22:41:59 +0200 Subject: [PATCH 13/20] Add cancel test with arguments swapped --- .../builtin/semantics/unionValue/cancel-02/cancel-02.uplc | 6 ++++++ .../unionValue/cancel-02/cancel-02.uplc.budget.expected | 2 ++ .../semantics/unionValue/cancel-02/cancel-02.uplc.expected | 1 + 3 files changed, 9 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unionValue/cancel-02/cancel-02.uplc.expected 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 From 866d33b72f1a1ee7f0f27a0d4c803196cc5317db Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 23:30:15 +0200 Subject: [PATCH 14/20] More valueContains conformance tests --- .../semantics/valueContains/ccy-missing/ccy-missing.uplc | 8 ++++++++ .../ccy-missing.uplc.budget.expected} | 0 .../ccy-missing.uplc.expected} | 0 .../multi-insufficient/multi-insufficient.uplc | 6 ++++++ .../multi-insufficient.uplc.budget.expected} | 0 .../multi-insufficient.uplc.expected} | 0 .../valueContains/multi-sufficient/multi-sufficient.uplc | 6 ++++++ .../multi-sufficient.uplc.budget.expected} | 0 .../multi-sufficient.uplc.expected} | 0 .../negative-negative.uplc => neg-neg-eq/neg-neg-eq.uplc} | 1 + .../neg-neg-eq.uplc.budget.expected} | 0 .../neg-neg-eq.uplc.expected} | 0 .../semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc | 7 +++++++ .../neg-neg-gt/neg-neg-gt.uplc.budget.expected | 2 ++ .../valueContains/neg-neg-gt/neg-neg-gt.uplc.expected | 1 + .../semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc | 6 ++++++ .../neg-neg-lt/neg-neg-lt.uplc.budget.expected | 2 ++ .../valueContains/neg-neg-lt/neg-neg-lt.uplc.expected | 1 + .../negative-positive.uplc => neg-pos/neg-pos.uplc} | 0 .../valueContains/neg-pos/neg-pos.uplc.budget.expected | 2 ++ .../semantics/valueContains/neg-pos/neg-pos.uplc.expected | 1 + .../positive-negative.uplc => pos-neg/pos-neg.uplc} | 0 .../valueContains/pos-neg/pos-neg.uplc.budget.expected | 2 ++ .../semantics/valueContains/pos-neg/pos-neg.uplc.expected | 1 + .../{refl/refl.uplc => reflexive/reflexive.uplc} | 0 .../reflexive/reflexive.uplc.budget.expected | 2 ++ .../valueContains/reflexive/reflexive.uplc.expected | 1 + .../valueContains/token-missing/token-missing.uplc | 6 ++++++ .../token-missing/token-missing.uplc.budget.expected | 1 + .../token-missing/token-missing.uplc.expected | 1 + 30 files changed, 57 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-negative/negative-negative.uplc.budget.expected => ccy-missing/ccy-missing.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-positive/negative-positive.uplc.expected => ccy-missing/ccy-missing.uplc.expected} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-positive/negative-positive.uplc.budget.expected => multi-insufficient/multi-insufficient.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{positive-negative/positive-negative.uplc.expected => multi-insufficient/multi-insufficient.uplc.expected} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{positive-negative/positive-negative.uplc.budget.expected => multi-sufficient/multi-sufficient.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-negative/negative-negative.uplc.expected => multi-sufficient/multi-sufficient.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-negative/negative-negative.uplc => neg-neg-eq/neg-neg-eq.uplc} (99%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{refl/refl.uplc.budget.expected => neg-neg-eq/neg-neg-eq.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{refl/refl.uplc.expected => neg-neg-eq/neg-neg-eq.uplc.expected} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{negative-positive/negative-positive.uplc => neg-pos/neg-pos.uplc} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{positive-negative/positive-negative.uplc => pos-neg/pos-neg.uplc} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/{refl/refl.uplc => reflexive/reflexive.uplc} (100%) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.expected 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..6bae60a08bc --- /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/negative-negative/negative-negative.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.expected 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..4ea23ad76f2 --- /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/negative-positive/negative-positive.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.expected 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..6b81100d565 --- /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/positive-negative/positive-negative.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc similarity index 99% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc index 66603f02d17..f2e0bc99f8f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-negative/negative-negative.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc @@ -4,3 +4,4 @@ (con value [(#aa, [(#aa, -10)])]) ] ) + diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected 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..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.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/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..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.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/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..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.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/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..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.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/negative-positive/negative-positive.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/negative-positive/negative-positive.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc 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..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.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/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..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.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/positive-negative/positive-negative.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/positive-negative/positive-negative.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc 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..183870dca0d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.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/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..3ee9f07f31d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.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/refl/refl.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/refl/refl.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc 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..00609b3a83f --- /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, [(#aa1, 100), (#aa2, 2800)])]) + (con value [(#aa, [(#aa3, 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected @@ -0,0 +1 @@ +parse error \ 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..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file From 263142a610c5e1e95e08aa5506ff1d1400896193 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 19 Sep 2025 23:47:57 +0200 Subject: [PATCH 15/20] Fix test for valueContains --- .../semantics/valueContains/token-missing/token-missing.uplc | 4 ++-- .../token-missing/token-missing.uplc.budget.expected | 3 ++- .../valueContains/token-missing/token-missing.uplc.expected | 2 +- 3 files changed, 5 insertions(+), 4 deletions(-) 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 index 00609b3a83f..a894796e875 100644 --- 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 @@ -1,6 +1,6 @@ (program 1.0.0 [ (builtin valueContains) - (con value [(#aa, [(#aa1, 100), (#aa2, 2800)])]) - (con value [(#aa, [(#aa3, 5)])]) + (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 index fd56948990e..183870dca0d 100644 --- 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 @@ -1 +1,2 @@ -parse error \ No newline at end of file +({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 index fd56948990e..3ee9f07f31d 100644 --- 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 @@ -1 +1 @@ -parse error \ No newline at end of file +(program 1.0.0 (con bool False)) \ No newline at end of file From 32453988a2154ebe5e2ab5ddc826ba6c0bd381b7 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Sat, 20 Sep 2025 00:24:54 +0200 Subject: [PATCH 16/20] Add conformance tests of value constants --- .../value/duplicate-keys/duplicate-keys.uplc | 10 ++++++++++ .../duplicate-keys.uplc.budget.expected | 2 ++ .../duplicate-keys/duplicate-keys.uplc.expected | 1 + .../constant/value/empty-tokens/empty-tokens.uplc | 1 + .../empty-tokens.uplc.budget.expected | 2 ++ .../value/empty-tokens/empty-tokens.uplc.expected | 1 + .../builtin/constant/value/empty/empty.uplc | 1 + .../value/empty/empty.uplc.budget.expected | 2 ++ .../constant/value/empty/empty.uplc.expected | 1 + .../constant/value/ill-formed/ill-formed.uplc | 1 + .../ill-formed/ill-formed.uplc.budget.expected | 1 + .../value/ill-formed/ill-formed.uplc.expected | 1 + .../builtin/constant/value/multi/multi.uplc | 15 +++++++++++++++ .../value/multi/multi.uplc.budget.expected | 2 ++ .../constant/value/multi/multi.uplc.expected | 4 ++++ .../constant/value/unordered/unordered.uplc | 8 ++++++++ .../unordered/unordered.uplc.budget.expected | 2 ++ .../value/unordered/unordered.uplc.expected | 7 +++++++ .../constant/value/zero-asset/zero-asset.uplc | 1 + .../zero-asset/zero-asset.uplc.budget.expected | 2 ++ .../value/zero-asset/zero-asset.uplc.expected | 1 + 21 files changed, 66 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/duplicate-keys/duplicate-keys.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty-tokens/empty-tokens.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/empty/empty.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/ill-formed/ill-formed.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/multi/multi.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/unordered/unordered.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/zero-asset/zero-asset.uplc.expected 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/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 From d91139671ca067c67c2ab7ff32e0cb39104d64d7 Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 3 Oct 2025 13:22:23 +0200 Subject: [PATCH 17/20] Update test cases now that valueContains does not allow negative amounts --- .../semantics/valueContains/ccy-missing/ccy-missing.uplc | 4 ++-- .../valueContains/multi-insufficient/multi-insufficient.uplc | 4 ++-- .../valueContains/multi-sufficient/multi-sufficient.uplc | 4 ++-- .../valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected | 3 +-- .../valueContains/neg-neg-eq/neg-neg-eq.uplc.expected | 2 +- .../valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected | 3 +-- .../valueContains/neg-neg-gt/neg-neg-gt.uplc.expected | 2 +- .../valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected | 3 +-- .../valueContains/neg-neg-lt/neg-neg-lt.uplc.expected | 2 +- .../valueContains/neg-pos/neg-pos.uplc.budget.expected | 3 +-- .../semantics/valueContains/neg-pos/neg-pos.uplc.expected | 2 +- .../valueContains/pos-neg/pos-neg.uplc.budget.expected | 3 +-- .../semantics/valueContains/pos-neg/pos-neg.uplc.expected | 2 +- 13 files changed, 16 insertions(+), 21 deletions(-) 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 index 6bae60a08bc..076a0465431 100644 --- 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 @@ -1,7 +1,7 @@ (program 1.0.0 [ (builtin valueContains) - (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])]) - (con value [(#aa, [(#aa, -10)]), (#1234, [(#abcd, 20)])]) + (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/multi-insufficient/multi-insufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc index 4ea23ad76f2..f980edfcd17 100644 --- 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 @@ -1,6 +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)])]) + (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-sufficient/multi-sufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc index 6b81100d565..4cd2319d689 100644 --- 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 @@ -1,6 +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)])]) + (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/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 index 183870dca0d..ccc477ffed6 100644 --- 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 @@ -1,2 +1 @@ -({cpu: 100000080100 -| mem: 100000000600}) \ No newline at end of file +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 index 3760fc7a698..ccc477ffed6 100644 --- 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 @@ -1 +1 @@ -(program 1.0.0 (con bool True)) \ No newline at end of file +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.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected index 183870dca0d..ccc477ffed6 100644 --- 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 @@ -1,2 +1 @@ -({cpu: 100000080100 -| mem: 100000000600}) \ No newline at end of file +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 index 3ee9f07f31d..ccc477ffed6 100644 --- 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 @@ -1 +1 @@ -(program 1.0.0 (con bool False)) \ No newline at end of file +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.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected index 183870dca0d..ccc477ffed6 100644 --- 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 @@ -1,2 +1 @@ -({cpu: 100000080100 -| mem: 100000000600}) \ No newline at end of file +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 index 3ee9f07f31d..ccc477ffed6 100644 --- 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 @@ -1 +1 @@ -(program 1.0.0 (con bool False)) \ No newline at end of file +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.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected index 183870dca0d..ccc477ffed6 100644 --- 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 @@ -1,2 +1 @@ -({cpu: 100000080100 -| mem: 100000000600}) \ No newline at end of file +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 index 3ee9f07f31d..ccc477ffed6 100644 --- 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 @@ -1 +1 @@ -(program 1.0.0 (con bool False)) \ No newline at end of file +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.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected index 183870dca0d..ccc477ffed6 100644 --- 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 @@ -1,2 +1 @@ -({cpu: 100000080100 -| mem: 100000000600}) \ No newline at end of file +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 index 3ee9f07f31d..ccc477ffed6 100644 --- 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 @@ -1 +1 @@ -(program 1.0.0 (con bool False)) \ No newline at end of file +evaluation failure \ No newline at end of file From ff90f02493241f82e3ca16ccaa2d3c834128941c Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Fri, 3 Oct 2025 13:49:42 +0200 Subject: [PATCH 18/20] Ignore agda conformance test of Value built-ins for now --- plutus-conformance/agda/Spec.hs | 69 +++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs index e204df6afc9..7f5839bf5c3 100644 --- a/plutus-conformance/agda/Spec.hs +++ b/plutus-conformance/agda/Spec.hs @@ -153,6 +153,41 @@ 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/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 +247,40 @@ 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/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. From c5a540e70be7326d3ae53c74dd6bb19621a0d10f Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Sun, 5 Oct 2025 04:59:03 +0200 Subject: [PATCH 19/20] Add conformance tests for maximum key lengh --- .../constant/value/key-too-long-1/key-too-long-1.uplc | 10 ++++++++++ .../key-too-long-1/key-too-long-1.uplc.budget.expected | 1 + .../value/key-too-long-1/key-too-long-1.uplc.expected | 1 + .../constant/value/key-too-long-2/key-too-long-2.uplc | 10 ++++++++++ .../key-too-long-2/key-too-long-2.uplc.budget.expected | 1 + .../value/key-too-long-2/key-too-long-2.uplc.expected | 1 + .../value/max-key-length-1/max-key-length-1.uplc | 10 ++++++++++ .../max-key-length-1.uplc.budget.expected | 2 ++ .../max-key-length-1/max-key-length-1.uplc.expected | 10 ++++++++++ .../value/max-key-length-2/max-key-length-2.uplc | 10 ++++++++++ .../max-key-length-2.uplc.budget.expected | 2 ++ .../max-key-length-2/max-key-length-2.uplc.expected | 8 ++++++++ 12 files changed, 66 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-1/key-too-long-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/key-too-long-2/key-too-long-2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-1/max-key-length-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/value/max-key-length-2/max-key-length-2.uplc.expected 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 From fa274e9a665f9ca9b2db0cf239df6cbac655bc8a Mon Sep 17 00:00:00 2001 From: Jacco <4022046+basetunnel@users.noreply.github.com> Date: Mon, 6 Oct 2025 06:28:53 +0200 Subject: [PATCH 20/20] Ignore new value tests in agda-conformance --- plutus-conformance/agda/Spec.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs index 7f5839bf5c3..a7cbf9c8793 100644 --- a/plutus-conformance/agda/Spec.hs +++ b/plutus-conformance/agda/Spec.hs @@ -163,6 +163,8 @@ failingEvaluationTests = , "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" @@ -256,6 +258,8 @@ failingBudgetTests = , "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"