Skip to content

Commit

Permalink
Conformance for xorByteString (IntersectMBO#6358)
Browse files Browse the repository at this point in the history
  • Loading branch information
@kozross @v0d1ch
kozross authored and v0d1ch committed Dec 6, 2024
1 parent 9808521 commit d02cc0e
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/xorByteString/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 xorByteString) (con bool False) ] (con bytestring #) ]
(con bytestring #ff)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...nformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 xorByteString) (con bool True) ] (con bytestring #4f00) ]
(con bytestring #f4)
])
2 changes: 2 additions & 0 deletions ...ases/uplc/evaluation/builtin/semantics/xorByteString/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 .../test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 #bb00))
4 changes: 4 additions & 0 deletions ...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 xorByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #00)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool False) ] (con bytestring #00) ]
(con bytestring #ff)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool False) ] (con bytestring #4f00) ]
(con bytestring #f4)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 #bb))
4 changes: 4 additions & 0 deletions ...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 xorByteString) (con bool True) ] (con bytestring #) ]
(con bytestring #ff)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #00)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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/xorByteString/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 xorByteString) (con bool True) ] (con bytestring #00) ]
(con bytestring #ff)
])
2 changes: 2 additions & 0 deletions ...-cases/uplc/evaluation/builtin/semantics/xorByteString/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 ...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/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 d02cc0e

Please sign in to comment.