From 8dcfa54136742a4e13b6db7f9ec461c753ecaaef Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Tue, 6 Aug 2024 14:52:27 +1200 Subject: [PATCH] Conformance for findFirstSetBit (#6366) --- .../builtin/semantics/findFirstSetBit/case-1/case-1.uplc | 1 + .../findFirstSetBit/case-1/case-1.uplc.budget.expected | 2 ++ .../semantics/findFirstSetBit/case-1/case-1.uplc.expected | 1 + .../builtin/semantics/findFirstSetBit/case-2/case-2.uplc | 1 + .../findFirstSetBit/case-2/case-2.uplc.budget.expected | 2 ++ .../semantics/findFirstSetBit/case-2/case-2.uplc.expected | 1 + .../builtin/semantics/findFirstSetBit/case-3/case-3.uplc | 1 + .../findFirstSetBit/case-3/case-3.uplc.budget.expected | 2 ++ .../semantics/findFirstSetBit/case-3/case-3.uplc.expected | 1 + .../builtin/semantics/findFirstSetBit/case-4/case-4.uplc | 1 + .../findFirstSetBit/case-4/case-4.uplc.budget.expected | 2 ++ .../semantics/findFirstSetBit/case-4/case-4.uplc.expected | 1 + 12 files changed, 16 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc new file mode 100644 index 00000000000..171a565f743 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected new file mode 100644 index 00000000000..4f9a627665b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 154812 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected new file mode 100644 index 00000000000..1cb56cffbc9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer -1)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc new file mode 100644 index 00000000000..a8c1146d858 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0000) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected new file mode 100644 index 00000000000..4f9a627665b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 154812 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected new file mode 100644 index 00000000000..1cb56cffbc9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer -1)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc new file mode 100644 index 00000000000..d5d079e8ee0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0002) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected new file mode 100644 index 00000000000..4f9a627665b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 154812 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected new file mode 100644 index 00000000000..8e9a3b22d84 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 1)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc new file mode 100644 index 00000000000..aedd25d76bc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #fff2) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected new file mode 100644 index 00000000000..4f9a627665b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 154812 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected new file mode 100644 index 00000000000..8e9a3b22d84 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 1)) \ No newline at end of file