From 7ca786d0929377db48d0fe1cf6fe6a620e2bf6a3 Mon Sep 17 00:00:00 2001 From: effectfully Date: Wed, 12 Jun 2024 00:33:12 +0200 Subject: [PATCH] [Test] Add missing bitwise builtins golden files (#6204) --- .../TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden | 1 + .../Golden/DefaultFun/ComplementByteString.plc.golden | 1 + .../test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden | 1 + .../test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden | 1 + .../Golden/DefaultFun/ReplicateByteString.plc.golden | 1 + .../test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden | 1 + .../TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden | 1 + 7 files changed, 7 insertions(+) create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden 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 new file mode 100644 index 00000000000..9180582f930 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AndByteString.plc.golden @@ -0,0 +1 @@ +bool -> bytestring -> bytestring -> bytestring \ No newline at end of file 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 new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ComplementByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file 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 new file mode 100644 index 00000000000..9180582f930 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/OrByteString.plc.golden @@ -0,0 +1 @@ +bool -> bytestring -> bytestring -> bytestring \ No newline at end of file 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 new file mode 100644 index 00000000000..bfbe9abb46f --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReadBit.plc.golden @@ -0,0 +1 @@ +bytestring -> integer -> bool \ No newline at end of file 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 new file mode 100644 index 00000000000..fcb192a96ed --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ReplicateByteString.plc.golden @@ -0,0 +1 @@ +integer -> integer -> bytestring \ No newline at end of file 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 new file mode 100644 index 00000000000..ab0f9ecb22e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/WriteBits.plc.golden @@ -0,0 +1 @@ +bytestring -> list (pair integer bool) -> bytestring \ No newline at end of file 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 new file mode 100644 index 00000000000..9180582f930 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/XorByteString.plc.golden @@ -0,0 +1 @@ +bool -> bytestring -> bytestring -> bytestring \ No newline at end of file