Conformance for shiftByteString (#6363)

IntersectMBO · Aug 6, 2024 · 0b6a695 · 0b6a695
1 parent 922c9c1
commit 0b6a695
Show file tree

Hide file tree

Showing 18 changed files with 24 additions and 0 deletions.
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #) ] (con integer 3) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-1/case-1.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #) ] (con integer -3) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-2/case-2.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer 5) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #7f80))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer -5) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-4/case-4.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #075f))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer 16) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-5/case-5.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #0000))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #ebfc) ] (con integer -16) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 247561
+| mem: 601})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/shiftByteString/case-6/case-6.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #0000))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(program 1.0.0 [ [ (builtin shiftByteString) (con bytestring #) ] (con integer 3) ])