[Test] Add missing bitwise builtins golden files (IntersectMBO#6204)

effectfully · v0d1ch · commit 7ca786d09293 · 2024-12-06T09:47:14.000+01:00
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden
@@ -0,0 +1 @@
+bytestring -> bytestring
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden
@@ -0,0 +1 @@
+bytestring -> integer -> bool
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden
@@ -0,0 +1 @@
+integer -> integer -> bytestring
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden
@@ -0,0 +1 @@
+bytestring -> list (pair integer bool) -> bytestring
diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden
@@ -0,0 +1 @@
+bool -> bytestring -> bytestring -> bytestring

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+bool -> bytestring -> bytestring -> bytestring`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+bytestring -> list (pair integer bool) -> bytestring`