From 51a9f163c981efdaf82b6dfcf1244b44ccf581dc Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Tue, 6 Aug 2024 17:13:10 +1200 Subject: [PATCH] Conformance for countSetBits (#6365) --- .../builtin/semantics/countSetBits/case-1/case-1.uplc | 1 + .../semantics/countSetBits/case-1/case-1.uplc.budget.expected | 2 ++ .../builtin/semantics/countSetBits/case-1/case-1.uplc.expected | 1 + .../builtin/semantics/countSetBits/case-2/case-2.uplc | 1 + .../semantics/countSetBits/case-2/case-2.uplc.budget.expected | 2 ++ .../builtin/semantics/countSetBits/case-2/case-2.uplc.expected | 1 + .../builtin/semantics/countSetBits/case-3/case-3.uplc | 1 + .../semantics/countSetBits/case-3/case-3.uplc.budget.expected | 2 ++ .../builtin/semantics/countSetBits/case-3/case-3.uplc.expected | 1 + .../builtin/semantics/countSetBits/case-4/case-4.uplc | 1 + .../semantics/countSetBits/case-4/case-4.uplc.budget.expected | 2 ++ .../builtin/semantics/countSetBits/case-4/case-4.uplc.expected | 1 + 12 files changed, 16 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc new file mode 100644 index 00000000000..c24a1732791 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin countSetBits) (con bytestring #) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.budget.expected new file mode 100644 index 00000000000..e763c119cd6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 158888 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.expected new file mode 100644 index 00000000000..87e0223f6f0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-1/case-1.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 0)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc new file mode 100644 index 00000000000..668ff7761df --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin countSetBits) (con bytestring #0000) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.budget.expected new file mode 100644 index 00000000000..e763c119cd6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 158888 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.expected new file mode 100644 index 00000000000..87e0223f6f0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-2/case-2.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 0)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc new file mode 100644 index 00000000000..9ae4ccf33e9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin countSetBits) (con bytestring #0100) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.budget.expected new file mode 100644 index 00000000000..e763c119cd6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 158888 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-3/case-3.uplc.expected new file mode 100644 index 00000000000..8e9a3b22d84 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/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/countSetBits/case-4/case-4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc new file mode 100644 index 00000000000..ba6e620410c --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ (builtin countSetBits) (con bytestring #0001) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.budget.expected new file mode 100644 index 00000000000..e763c119cd6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 158888 +| mem: 401}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.expected new file mode 100644 index 00000000000..8e9a3b22d84 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/countSetBits/case-4/case-4.uplc.expected @@ -0,0 +1 @@ +(program 1.0.0 (con integer 1)) \ No newline at end of file