Skip to content

Commit

Permalink
Conformance cases for readBit (IntersectMBO#6360)
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 b539d3c commit 34af7a8
Show file tree
Hide file tree
Showing 45 changed files with 54 additions and 0 deletions.
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-1/case-1.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #) ] (con integer 0) ])
1 change: 1 addition & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-1/case-1.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-1/case-1.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-10/case-10.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 5) ])
2 changes: 2 additions & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-10/case-10.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool True))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-11/case-11.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 6) ])
2 changes: 2 additions & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-11/case-11.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-11/case-11.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bool True))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-12/case-12.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 7) ])
2 changes: 2 additions & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-12/case-12.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-12/case-12.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bool True))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-13/case-13.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 8) ])
1 change: 1 addition & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-13/case-13.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-13/case-13.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-14/case-14.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #fff4) ] (con integer 16) ])
1 change: 1 addition & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-14/case-14.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-14/case-14.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-15/case-15.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4ff) ] (con integer 10) ])
2 changes: 2 additions & 0 deletions ...test-cases/uplc/evaluation/builtin/semantics/readBit/case-15/case-15.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...rmance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-15/case-15.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 (con bool True))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-2/case-2.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #) ] (con integer 345) ])
1 change: 1 addition & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-2/case-2.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-2/case-2.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-3/case-3.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #) ] (con integer -1) ])
1 change: 1 addition & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-3/case-3.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-3/case-3.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-4/case-4.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #ff) ] (con integer -1) ])
1 change: 1 addition & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-4/case-4.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-4/case-4.uplc.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
evaluation failure
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-5/case-5.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 0) ])
2 changes: 2 additions & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-5/case-5.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool False))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-6/case-6.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 1) ])
2 changes: 2 additions & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-6/case-6.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool False))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-7/case-7.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 2) ])
2 changes: 2 additions & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-7/case-7.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool True))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-8/case-8.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 3) ])
2 changes: 2 additions & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-8/case-8.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool False))
1 change: 1 addition & 0 deletions plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/readBit/case-9/case-9.uplc
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
(program 1.0.0 [ [ (builtin readBit) (con bytestring #f4) ] (con integer 4) ])
2 changes: 2 additions & 0 deletions ...e/test-cases/uplc/evaluation/builtin/semantics/readBit/case-9/case-9.uplc.budget.expected
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
({cpu: 175436
| mem: 601})
1 change: 1 addition & 0 deletions ...formance/test-cases/uplc/evaluation/builtin/semantics/readBit/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 bool True))

0 comments on commit 34af7a8

Please sign in to comment.