Skip to content

Commit

Permalink
Conformance for orByteString
Browse files Browse the repository at this point in the history
  • Loading branch information
@kozross
kozross committed Aug 1, 2024
1 parent a4b0f43 commit 1501226
Show file tree
Hide file tree
Showing 30 changed files with 60 additions and 0 deletions.
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-1/case-1.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool False) ] (con bytestring #) ]
(con bytestring #ff)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-1/case-1.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-1/case-1.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #)
4 changes: 4 additions & 0 deletions ...onformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-10/case-10.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool True) ] (con bytestring #4f00) ]
(con bytestring #f4)
]
1 change: 1 addition & 0 deletions ...cases/uplc/evaluation/builtin/semantics/orByteString/case-10/case-10.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-10/case-10.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff00)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-2/case-2.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-2/case-2.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-2/case-2.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-3/case-3.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #00)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-3/case-3.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-3/case-3.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-4/case-4.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool False) ] (con bytestring #00) ]
(con bytestring #ff)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-4/case-4.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-4/case-4.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-5/case-5.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool False) ] (con bytestring #4f00) ]
(con bytestring #f4)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-5/case-5.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-5/case-5.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-6/case-6.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool True) ] (con bytestring #) ]
(con bytestring #ff)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-6/case-6.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-6/case-6.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-7/case-7.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-7/case-7.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-7/case-7.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-8/case-8.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #00)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-8/case-8.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-8/case-8.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)
4 changes: 4 additions & 0 deletions ...-conformance/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-9/case-9.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
[
[ [ (builtin orByteString) (con bool True) ] (con bytestring #00) ]
(con bytestring #ff)
]
1 change: 1 addition & 0 deletions ...t-cases/uplc/evaluation/builtin/semantics/orByteString/case-9/case-9.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"exBudgetCPU":100000112100,"exBudgetMemory":100000000800}
1 change: 1 addition & 0 deletions ...nce/test-cases/uplc/evaluation/builtin/semantics/orByteString/case-9/case-9.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(con bytestring #ff)

0 comments on commit 1501226

Please sign in to comment.