Skip to content

Commit

Permalink
Conformance for xorByteString (#6358)
Browse files Browse the repository at this point in the history
  • Loading branch information
kozross authored Aug 6, 2024
1 parent 8dcfa54 commit 3d489da
Show file tree
Hide file tree
Showing 30 changed files with 70 additions and 0 deletions.
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #bb00))
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 #)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #bb))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))
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 #)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))
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)
])
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))

1 comment on commit 3d489da

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

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.

Benchmark suite Current: 3d489da Previous: 8dcfa54 Ratio
validation-auction_1-4 242.6 μs 230.6 μs 1.05

This comment was automatically generated by workflow using github-action-benchmark.

CC: @IntersectMBO/plutus-core

Please sign in to comment.