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

chore: update the conformance tests

This commit is contained in:
rvcas 2024-02-19 21:34:57 -05:00 committed by Lucas
parent a15fead982
commit 8d59ba1c77
492 changed files with 827 additions and 65 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/bad-syntax-1/bad-syntax-1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/bad-syntax-2/bad-syntax-2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/bad-zero-1/bad-zero-1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/bad-zero-2/bad-zero-2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/bad-zero-3/bad-zero-3.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/off-curve/off-curve.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/on-curve-bit3-clear/on-curve-bit3-clear.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/on-curve-bit3-set/on-curve-bit3-set.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/on-curve-serialised-not-compressed/on-curve-serialised-not-compressed.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/out-of-group/out-of-group.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/too-long/too-long.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/too-short/too-short.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G1/zero/zero.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/bad-syntax-1/bad-syntax-1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/bad-syntax-2/bad-syntax-2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/bad-zero-1/bad-zero-1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/bad-zero-2/bad-zero-2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/bad-zero-3/bad-zero-3.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/off-curve/off-curve.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/on-curve-bit3-clear/on-curve-bit3-clear.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/on-curve-bit3-set/on-curve-bit3-set.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/on-curve-serialised-not-compressed/on-curve-serialised-not-compressed.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/out-of-group/out-of-group.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/too-long/too-long.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/too-short/too-short.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bls12-381/G2/zero/zero.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bool/False/False.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bool/True/True.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bytestring/bytestring1/bytestring1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bytestring/bytestring2/bytestring2.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/bytestring/bytestring3/bytestring3.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/bytestring/bytestring4/bytestring4.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataByteString/dataByteString.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataConstr/dataConstr.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataInteger/dataInteger.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataList/dataList.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

7
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMap/dataMap.uplc
View File

@ -1,5 +1,6 @@
(program 0.0.0 (con data (
Map [ (B #0123, I 12345),
(B #456789, I 789453),
(B #0ABCDE, I 12364689486)]
Map [ (B #0123, I 12345),
(I 789453, B #456789),
(List [I -12364689486], Constr 7 [])
]
)))

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMap/dataMap.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

4
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMap/dataMap.uplc.expected
View File

@ -3,6 +3,8 @@
(con
data
(Map
[(B #0123, I 12345), (B #456789, I 789453), (B #0abcde, I 12364689486)])
[ (B #0123, I 12345)
, (I 789453, B #456789)
, (List [I -12364689486], Constr 7 []) ])
)
)

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMisByteString/dataMisByteString.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMisConstr/dataMisConstr.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMisInteger/dataMisInteger.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMisList/dataMisList.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/data/dataMisMap/dataMisMap.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer1/integer1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer10/integer10.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer2/integer2.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer3/integer3.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer4/integer4.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer5/integer5.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer6/integer6.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer7/integer7.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/integer/integer9/integer9.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/emptyList/emptyList.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc Normal file
View File

@ -0,0 +1,2 @@
(program 0.0.0 (con (list bool) [5])
)

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc Normal file
View File

@ -0,0 +1,2 @@
(program 0.0.0 (con (list bool) [(lam x (lam y x))])
)

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/simpleList/simpleList.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/list/unitList/unitList.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedNestedPair/illTypedNestedPair.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc Normal file
View File

@ -0,0 +1 @@
(program 0.0.0 (con (pair integer string) ((lam x x), 1))

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc Normal file
View File

@ -0,0 +1 @@
(program 0.0.0 (con (pair integer string) (1, (lam y y))))

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/nestedPair/nestedPair.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/pair/simplePair/simplePair.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/string/string1/string1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/string/string2/string2.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/string/string3/string3.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

1
crates/uplc/test_data/conformance/evaluation/builtin/constant/string/string6/string6.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
parse error

2
crates/uplc/test_data/conformance/evaluation/builtin/constant/unit/unit.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/ite/ite.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 23100
| mem: 200})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteAtIntegerArrowIntegerApplied1/iteAtIntegerArrowIntegerApplied1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 654053
| mem: 1702})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteAtIntegerArrowIntegerApplied2/iteAtIntegerArrowIntegerApplied2.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 562053
| mem: 1302})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteAtIntegerArrowIntegerAppliedApplied/iteAtIntegerArrowIntegerAppliedApplied.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 792949
| mem: 1904})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteAtIntegerArrowIntegerWithCond/iteAtIntegerArrowIntegerWithCond.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 389497
| mem: 901})

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteForceAppForce/iteForceAppForce.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteForced/iteForced.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 46100
| mem: 300})

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteForcedForced/iteForcedForced.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteForcedWithIntegerAndString/iteForcedWithIntegerAndString.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 562053
| mem: 1302})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteStringInteger/iteStringInteger.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 562053
| mem: 1302})

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteStringString/iteStringString.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 562053
| mem: 1302})

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteUnforcedFullyApplied/iteUnforcedFullyApplied.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteUnforcedWithCond/iteUnforcedWithCond.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteWrongCondTypeFullyAppied/iteWrongCondTypeFullyAppied.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

2
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/iteWrongCondTypePartiallyApplied/iteWrongCondTypePartiallyApplied.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 138100
| mem: 700})

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/multiplyIntegerForceError1/multiplyIntegerForceError1.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/multiplyIntegerForceError2/multiplyIntegerForceError2.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

1
crates/uplc/test_data/conformance/evaluation/builtin/interleaving/multiplyIntegerForceError3/multiplyIntegerForceError3.uplc.budget.expected Normal file
View File

@ -0,0 +1 @@
evaluation failure

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/addInteger/addInteger-uncurried/addInteger-uncurried.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 321577
| mem: 602})

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/addInteger/addInteger1/addInteger1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 321577
| mem: 602})

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/addInteger/addInteger2/addInteger2.uplc.budget.expected Normal file
View File

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

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/addInteger/addInteger3/addInteger3.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 324013
| mem: 605})

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/addInteger/addInteger4/addInteger4.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 323201
| mem: 604})

2
crates/uplc/test_data/conformance/evaluation/builtin/semantics/appendByteString/appendByteString1/appendByteString1.uplc.budget.expected Normal file
View File

@ -0,0 +1,2 @@
({cpu: 117242
| mem: 602})

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