Conformance cases for complementByteString (IntersectMBO#6359)

v0d1ch · Dec 6, 2024 · 3eb2726 · 3eb2726
1 parent 49ad200
commit 3eb2726
Show file tree

Hide file tree

Showing 9 changed files with 12 additions and 0 deletions.
diff --git a/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc b/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin complementByteString) (con bytestring #) ])
diff --git a/...uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc.budget.expected b/...uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 156658
+| mem: 401})
diff --git a/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc.expected b/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-1/case-1.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
diff --git a/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc b/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin complementByteString) (con bytestring #0f) ])
diff --git a/...uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc.budget.expected b/...uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 156658
+| mem: 401})
diff --git a/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc.expected b/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-2/case-2.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #f0))
diff --git a/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc b/...ance/test-cases/uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc
@@ -0,0 +1 @@
+(program 1.0.0 [ (builtin complementByteString) (con bytestring #b00b) ])
diff --git a/...uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc.budget.expected b/...uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 156658
+| mem: 401})
diff --git a/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc.expected b/...-cases/uplc/evaluation/builtin/semantics/complementByteString/case-3/case-3.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #4ff4))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(program 1.0.0 [ (builtin complementByteString) (con bytestring #) ])