Skip to content

Commit

Permalink
Conformance for orByteString (#6357)
Browse files Browse the repository at this point in the history
  • Loading branch information
@kozross
kozross authored Aug 6, 2024
1 parent cd73651 commit 966b420
Show file tree
Hide file tree
Showing 30 changed files with 70 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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool False) ] (con bytestring #) ]
(con bytestring #ff)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool True) ] (con bytestring #4f00) ]
(con bytestring #f4)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #00)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool False) ] (con bytestring #00) ]
(con bytestring #ff)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool False) ] (con bytestring #4f00) ]
(con bytestring #f4)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool True) ] (con bytestring #) ]
(con bytestring #ff)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #00)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (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 @@
(program 1.0.0 [
[ [ (builtin orByteString) (con bool True) ] (con bytestring #00) ]
(con bytestring #ff)
])
2 changes: 2 additions & 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,2 @@
({cpu: 213726
| mem: 801})
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 @@
(program 1.0.0 (con bytestring #ff))

0 comments on commit 966b420

Please sign in to comment.