-
Notifications
You must be signed in to change notification settings - Fork 482
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Conformance for xorByteString (#6358)
- Loading branch information
Showing
30 changed files
with
70 additions
and
0 deletions.
There are no files selected for viewing
4 changes: 4 additions & 0 deletions
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-1/case-1.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-1/case-1.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-1/case-1.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...nformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-10/case-10.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...ases/uplc/evaluation/builtin/semantics/xorByteString/case-10/case-10.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
.../test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-10/case-10.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-2/case-2.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-2/case-2.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-2/case-2.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-3/case-3.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-3/case-3.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-3/case-3.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-4/case-4.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-4/case-4.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-4/case-4.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-5/case-5.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-5/case-5.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-5/case-5.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-6/case-6.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-6/case-6.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-6/case-6.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-7/case-7.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-7/case-7.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-7/case-7.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-8/case-8.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-8/case-8.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-8/case-8.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
4
...conformance/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-9/case-9.uplc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
2
...-cases/uplc/evaluation/builtin/semantics/xorByteString/case-9/case-9.uplc.budget.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
({cpu: 213726 | ||
| mem: 801}) |
1 change: 1 addition & 0 deletions
1
...ce/test-cases/uplc/evaluation/builtin/semantics/xorByteString/case-9/case-9.uplc.expected
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
(program 1.0.0 (con bytestring #ff)) |
3d489da
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold
1.05
.validation-auction_1-4
242.6
μs230.6
μs1.05
This comment was automatically generated by workflow using github-action-benchmark.
CC: @IntersectMBO/plutus-core