waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add new conformance tests

Browse Source
This commit is contained in:
microproofs
2024-12-07 12:23:51 +07:00
parent 5f1f37919f
commit 17fdbd356a
961 changed files with 2694 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-01/case-01.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool False) ] (con bytestring #) ]
(con bytestring #ff)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-01/case-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-01/case-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-02/case-02.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-02/case-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-02/case-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-03/case-03.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool False) ] (con bytestring #ff) ]
(con bytestring #00)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-03/case-03.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-03/case-03.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #00))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-04/case-04.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool False) ] (con bytestring #00) ]
(con bytestring #ff)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-04/case-04.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-04/case-04.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #00))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-05/case-05.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool False) ] (con bytestring #4f00) ]
(con bytestring #f4)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-05/case-05.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-05/case-05.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #44))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-06/case-06.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool True) ] (con bytestring #) ]
(con bytestring #ff)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-06/case-06.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-06/case-06.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-07/case-07.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-07/case-07.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-07/case-07.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #ff))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-08/case-08.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool True) ] (con bytestring #ff) ]
(con bytestring #00)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-08/case-08.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-08/case-08.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #00))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-09/case-09.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool True) ] (con bytestring #00) ]
(con bytestring #ff)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-09/case-09.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-09/case-09.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #00))

4
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-10/case-10.uplc Normal file
View File

@@ -0,0 +1,4 @@
(program 1.0.0 [
[ [ (builtin andByteString) (con bool True) ] (con bytestring #4f00) ]
(con bytestring #f4)
])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-10/case-10.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 213726
| mem: 801})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-10/case-10.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #4400))

12
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-11/case-11.uplc Normal file
View File

@@ -0,0 +1,12 @@
(program 1.0.0
[
[
[
(builtin andByteString)
(con bool False)
]
(con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0)
]
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-11/case-11.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 221670
| mem: 807})

7
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-11/case-11.uplc.expected Normal file
View File

@@ -0,0 +1,7 @@
(program
1.0.0
(con
bytestring
#13808014808080189900422a0288ac0203640002540830091400164401020021093f210424001cc5508210
)
)

12
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-12/case-12.uplc Normal file
View File

@@ -0,0 +1,12 @@
(program 1.0.0
[
[
[
(builtin andByteString)
(con bool True)
]
(con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0)
]
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-12/case-12.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 221670
| mem: 807})

7
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-12/case-12.uplc.expected Normal file
View File

@@ -0,0 +1,7 @@
(program
1.0.0
(con
bytestring
#13808014808080189900422a0288ac0203640002540830091400164401020021093f210424001cc55082101b55b625553af3
)
)

12
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-13/case-13.uplc Normal file
View File

@@ -0,0 +1,12 @@
(program 1.0.0
[
[
[
(builtin andByteString)
(con bool False)
]
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
(con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-13/case-13.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 221677
| mem: 807})

7
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-13/case-13.uplc.expected Normal file
View File

@@ -0,0 +1,7 @@
(program
1.0.0
(con
bytestring
#13808014808080189900422a0288ac0203640002540830091400164401020021093f210424001cc5508210
)
)

12
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-14/case-14.uplc Normal file
View File

@@ -0,0 +1,12 @@
(program 1.0.0
[
[
[
(builtin andByteString)
(con bool True)
]
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
(con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-14/case-14.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 221677
| mem: 807})

7
crates/uplc/test_data/conformance/v3/builtin/semantics/andByteString/case-14/case-14.uplc.expected Normal file
View File

@@ -0,0 +1,7 @@
(program
1.0.0
(con
bytestring
#13808014808080189900422a0288ac0203640002540830091400164401020021093f210424001cc55082101b55b625553af3
)
)

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-01/chooseList-01.uplc Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 [[[(force (force (builtin chooseList))) (con (list integer) [ 0 , 1 , 2 ])] (con integer 1)] (con integer 2)])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-01/chooseList-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 277094
| mem: 1032})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-01/chooseList-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (con integer 2))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-02/chooseList-02.uplc Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 [[[(force (force (builtin chooseList))) (con (list integer) [ ])] (con integer 1)] (con integer 2)])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-02/chooseList-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 277094
| mem: 1032})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-02/chooseList-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (con integer 1))

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-03/chooseList-03.uplc Normal file
View File

@@ -0,0 +1,2 @@
-- chooseList should accept arbitrary terms in the branches
(program 0.0.0 [[[(force (force (builtin chooseList))) (con (list integer) [ 0, 1, 2 ])] (lam x x)] (lam y (lam z z))])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-03/chooseList-03.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 277094
| mem: 1032})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-03/chooseList-03.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (lam y (lam z z)))

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-04/chooseList-04.uplc Normal file
View File

@@ -0,0 +1,2 @@
-- chooseList should accept arbitrary terms in the branches
(program 0.0.0 [[[(force (force (builtin chooseList))) (con (list integer) [ ])] (lam x x)] (lam y (lam z z))])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-04/chooseList-04.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 277094
| mem: 1032})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseList/chooseList-04/chooseList-04.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (lam x x))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-01/chooseUnit-01.uplc Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 [[(force (builtin chooseUnit)) (con unit ())] (con integer 2)])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-01/chooseUnit-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 157562
| mem: 704})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-01/chooseUnit-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (con integer 2))

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-02/chooseUnit-02.uplc Normal file
View File

@@ -0,0 +1,2 @@
-- chooseUnit should accept arbitrary terms for the second argument
(program 0.0.0 [[(force (builtin chooseUnit)) (con unit ())] (lam x x)])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-02/chooseUnit-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 157562
| mem: 704})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/chooseUnit/chooseUnit-02/chooseUnit-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 0.0.0 (lam a a))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-01/case-01.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin complementByteString) (con bytestring #) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-01/case-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 156658
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-01/case-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-02/case-02.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin complementByteString) (con bytestring #0f) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-02/case-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 156658
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-02/case-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #f0))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-03/case-03.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin complementByteString) (con bytestring #b00b) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-03/case-03.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 156658
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-03/case-03.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #4ff4))

6
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-04/case-04.uplc Normal file
View File

@@ -0,0 +1,6 @@
(program 1.0.0
[
(builtin complementByteString)
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-04/case-04.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 160738
| mem: 407})

7
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-04/case-04.uplc.expected Normal file
View File

@@ -0,0 +1,7 @@
(program
1.0.0
(con
bytestring
#246379e3675c2e6346d73dd5cd5551f5b08bfeec23b78cb2c3ffe9a834702d46b68050e95bf3e1322829a7e4aa49daaac50c
)
)

18
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-05/case-05.uplc Normal file
View File

@@ -0,0 +1,18 @@
(program 1.0.0
[
(lam x
[
(builtin equalsByteString)
x
[
(builtin complementByteString)
[
(builtin complementByteString)
x
]
]
]
)
(con bytestring #db9c861c98a3d19cb928c22a32aaae0a4f740113dc48734d3c001657cb8fd2b9497faf16a40c1ecdd7d6581b55b625553af3)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-05/case-05.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 447140
| mem: 1315})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/complementByteString/case-05/case-05.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bool True))

2
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-01/consByteString-01.uplc Normal file
View File

@@ -0,0 +1,2 @@
-- the arg overflow'ed over the maxBound :: Word8
(program 1.0.0 [(builtin consByteString) (con integer 256) (con bytestring #)])

1
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-01/consByteString-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-01/consByteString-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
evaluation failure

3
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-02/consByteString-02.uplc Normal file
View File

@@ -0,0 +1,3 @@
(program 1.0.0
[(builtin consByteString) (con integer -88) (con bytestring #686543616B654973414C6965)]
)

1
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-02/consByteString-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-02/consByteString-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
evaluation failure

3
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-03/consByteString-03.uplc Normal file
View File

@@ -0,0 +1,3 @@
(program 1.0.0
[(builtin consByteString) (con integer 84) (con bytestring #686543616B654973414C6965)]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-03/consByteString-03.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 152466
| mem: 603})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/consByteString/consByteString-03/consByteString-03.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con bytestring #54686543616B654973414C6965))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-01/case-01.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin countSetBits) (con bytestring #) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-01/case-01.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 158888
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-01/case-01.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con integer 0))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-02/case-02.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin countSetBits) (con bytestring #0000) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-02/case-02.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 158888
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-02/case-02.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con integer 0))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-03/case-03.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin countSetBits) (con bytestring #0100) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-03/case-03.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 158888
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-03/case-03.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con integer 1))

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-04/case-04.uplc Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 [ (builtin countSetBits) (con bytestring #0001) ])

2
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-04/case-04.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 158888
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-04/case-04.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con integer 1))

6
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-05/case-05.uplc Normal file
View File

@@ -0,0 +1,6 @@
(program 1.0.0
[
(builtin countSetBits)
(con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0)
]
)

2
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-05/case-05.uplc.budget.expected Normal file
View File

@@ -0,0 +1,2 @@
({cpu: 175378
| mem: 401})

1
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-05/case-05.uplc.expected Normal file
View File

@@ -0,0 +1 @@
(program 1.0.0 (con integer 163))

6
crates/uplc/test_data/conformance/v3/builtin/semantics/countSetBits/case-06/case-06.uplc Normal file
View File

@@ -0,0 +1,6 @@
(program 1.0.0
[
(builtin countSetBits)
(con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
]
)

Some files were not shown because too many files have changed in this diff Show More