Conformance for findFirstSetBit (IntersectMBO#6366)

v0d1ch · Dec 6, 2024 · 9808521 · 9808521
1 parent 9bb6735
commit 9808521
Show file tree

Hide file tree

Showing 12 changed files with 16 additions and 0 deletions.
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-1/case-1.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer -1))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0000) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-2/case-2.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer -1))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #0002) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer 1))
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc b/...nformance/test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #fff2) ])
diff --git a/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected b/...ases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 154812
+| mem: 401})
diff --git a/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected b/.../test-cases/uplc/evaluation/builtin/semantics/findFirstSetBit/case-4/case-4.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con integer 1))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(program 1.0.0 [ (builtin findFirstSetBit) (con bytestring #) ])