From e90e9f084a3594cf9afbd6d0fc65c0efd935d677 Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Tue, 6 Aug 2024 14:15:18 +1200 Subject: [PATCH] andByteString conformance cases (#6356) * andByteString conformance cases * Move each case to its own directory * Update goldens for merge --- .../builtin/semantics/andByteString/case-1/case-1.uplc | 4 ++++ .../andByteString/case-1/case-1.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-1/case-1.uplc.expected | 1 + .../builtin/semantics/andByteString/case-10/case-10.uplc | 4 ++++ .../andByteString/case-10/case-10.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-10/case-10.uplc.expected | 1 + .../builtin/semantics/andByteString/case-2/case-2.uplc | 4 ++++ .../andByteString/case-2/case-2.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-2/case-2.uplc.expected | 1 + .../builtin/semantics/andByteString/case-3/case-3.uplc | 4 ++++ .../andByteString/case-3/case-3.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-3/case-3.uplc.expected | 1 + .../builtin/semantics/andByteString/case-4/case-4.uplc | 4 ++++ .../andByteString/case-4/case-4.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-4/case-4.uplc.expected | 1 + .../builtin/semantics/andByteString/case-5/case-5.uplc | 4 ++++ .../andByteString/case-5/case-5.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-5/case-5.uplc.expected | 1 + .../builtin/semantics/andByteString/case-6/case-6.uplc | 4 ++++ .../andByteString/case-6/case-6.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-6/case-6.uplc.expected | 1 + .../builtin/semantics/andByteString/case-7/case-7.uplc | 4 ++++ .../andByteString/case-7/case-7.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-7/case-7.uplc.expected | 1 + .../builtin/semantics/andByteString/case-8/case-8.uplc | 4 ++++ .../andByteString/case-8/case-8.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-8/case-8.uplc.expected | 1 + .../builtin/semantics/andByteString/case-9/case-9.uplc | 4 ++++ .../andByteString/case-9/case-9.uplc.budget.expected | 2 ++ .../semantics/andByteString/case-9/case-9.uplc.expected | 1 + 30 files changed, 70 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc new file mode 100644 index 00000000000..af50fb8f870 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool False) ] (con bytestring #) ] + (con bytestring #ff) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.expected new file mode 100644 index 00000000000..5dbd4047403 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-1/case-1.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc new file mode 100644 index 00000000000..acfccf9feca --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool True) ] (con bytestring #4f00) ] + (con bytestring #f4) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.expected new file mode 100644 index 00000000000..b7e988e58ec --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-10/case-10.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #4400)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc new file mode 100644 index 00000000000..4d7d3f9bbed --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool False) ] (con bytestring #ff) ] + (con bytestring #) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.expected new file mode 100644 index 00000000000..5dbd4047403 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-2/case-2.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc new file mode 100644 index 00000000000..23fd98ff423 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool False) ] (con bytestring #ff) ] + (con bytestring #00) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.expected new file mode 100644 index 00000000000..4624f0c52b0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-3/case-3.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #00)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc new file mode 100644 index 00000000000..2e4831348b1 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool False) ] (con bytestring #00) ] + (con bytestring #ff) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.expected new file mode 100644 index 00000000000..4624f0c52b0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-4/case-4.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #00)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc new file mode 100644 index 00000000000..4453d6c102c --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool False) ] (con bytestring #4f00) ] + (con bytestring #f4) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.expected new file mode 100644 index 00000000000..757900de9a3 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-5/case-5.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #44)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc new file mode 100644 index 00000000000..98e5be801c9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool True) ] (con bytestring #) ] + (con bytestring #ff) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.expected new file mode 100644 index 00000000000..f596b7aaa16 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-6/case-6.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc new file mode 100644 index 00000000000..a16a02aaf6a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool True) ] (con bytestring #ff) ] + (con bytestring #) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.expected new file mode 100644 index 00000000000..f596b7aaa16 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-7/case-7.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc new file mode 100644 index 00000000000..d31cc087989 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool True) ] (con bytestring #ff) ] + (con bytestring #00) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.expected new file mode 100644 index 00000000000..4624f0c52b0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-8/case-8.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #00)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc new file mode 100644 index 00000000000..431e53c6f32 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc @@ -0,0 +1,4 @@ +(program 1.0.0 [ + [ [ (builtin andByteString) (con bool True) ] (con bytestring #00) ] + (con bytestring #ff) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.budget.expected new file mode 100644 index 00000000000..1b4435d59b5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 213726 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.expected new file mode 100644 index 00000000000..4624f0c52b0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/andByteString/case-9/case-9.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con bytestring #00)) \ No newline at end of file