Cover some missing cases in the connformance tests for wrteiBits (#7374)

kwxm · ana-pantilie · commit 2385117cb086 · 2025-10-01T18:09:05.000+03:00
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc
@@ -0,0 +1,8 @@
+-- An empty list of updates doesn't change anything.
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000)
+  (con (list integer) [])
+  (con bool False)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 805})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41/case-41.uplc.expected
@@ -0,0 +1,7 @@
+(program
+  1.0.0
+  (con
+    bytestring
+    #00000000000000000000000000000000000000000000000000000000000000000000000000000000
+  )
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc
@@ -0,0 +1,8 @@
+-- An empty list of updates doesn't change anything.
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000)
+  (con (list integer) [])
+  (con bool True)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 805})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-42/case-42.uplc.expected
@@ -0,0 +1,7 @@
+(program
+  1.0.0
+  (con
+    bytestring
+    #00000000000000000000000000000000000000000000000000000000000000000000000000000000
+  )
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc
@@ -0,0 +1,8 @@
+-- An empty list of updates doesn't change anything.
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
+  (con (list integer) [])
+  (con bool False)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 805})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-43/case-43.uplc.expected
@@ -0,0 +1,7 @@
+(program
+  1.0.0
+  (con
+    bytestring
+    #ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+  )
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc
@@ -0,0 +1,8 @@
+-- An empty list of updates doesn't change anything.
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
+  (con (list integer) [])
+  (con bool True)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 805})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-44/case-44.uplc.expected
@@ -0,0 +1,7 @@
+(program
+  1.0.0
+  (con
+    bytestring
+    #ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+  )
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc
@@ -0,0 +1,8 @@
+-- We can apply an empty list of updates to the empty bytestring
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #)
+  (con (list integer) [])
+  (con bool False)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 801})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-45/case-45.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc
@@ -0,0 +1,8 @@
+-- We can apply an empty list of updates to the empty bytestring
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #)
+  (con (list integer) [])
+  (con bool True)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc.budget.expected
@@ -0,0 +1,2 @@
+({cpu: 393245
+| mem: 801})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-46/case-46.uplc.expected
@@ -0,0 +1 @@
+(program 1.0.0 (con bytestring #))
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc
@@ -0,0 +1,8 @@
+-- Attempting to write to a negative position in the empty bytestring causes an error
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #)
+  (con (list integer) [-1])
+  (con bool False)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-47/case-47.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc
@@ -0,0 +1,8 @@
+-- Attempting to write to a negative position in the empty bytestring causes an error
+(program 1.0.0
+[ (builtin writeBits)
+  (con bytestring #)
+  (con (list integer) [-1])
+  (con bool True)
+ ]
+)
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc.budget.expected
@@ -0,0 +1 @@
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-48/case-48.uplc.expected
@@ -0,0 +1 @@
+evaluation failure
