fix tests

This commit is contained in:
microproofs
2024-03-07 22:59:35 -05:00
committed by Kasey
parent 94f383762c
commit eb07365e73
35 changed files with 65 additions and 65 deletions

View File

@@ -13,4 +13,4 @@ requirements = []
source = "github"
[etags]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709757110, nanos_since_epoch = 717171000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1709869828, nanos_since_epoch = 993712000 }, "17605e6f00494c5ea701a06deff6958be289c09d088009248e0f2c4eee4ab0ee"]

View File

@@ -5,7 +5,7 @@
"plutusVersion": "v2",
"compiler": {
"name": "Aiken",
"version": "v1.0.24-alpha+950eeeb"
"version": "v1.0.24-alpha+7c632ce"
}
},
"validators": [
@@ -23,8 +23,8 @@
"$ref": "#/definitions/Void"
}
},
"compiledCode": "59031c01000032323232323232323223232232253330093253323300b33300b30013010301130113011301130113011301130113011301130113009300230090034a09444c94ccc030c94ccc034cdc3a40046018002264a66601c6008600a6018002260146eb4c00cc030004528180918058008b1800980500209919191929998081919299980a8008b0a99980a980c000899299980999baf30083011001374c60089040546b5c838a99980999baf300a3011300a30110014c0122d8799f581c11111111111111111111111111111111111111111111111111111111ff00153330135333013300f301230083011300a301100114a0294454ccc04cc014c00cc0440044cdd798039808800a6103d87a800014a029405280a5030170011637586002601e6010601e0124602c602e602e002266ebcc010c038c01cc038020dd31800a40a8294094ccc040c03000452f5bded8c026464646600200297adef6c60225333017001133018337609801014000374c00697adef6c601323232325333018300a3300b48810000213301c337609801014000374c00e00a2a666030601000426603866ec13001014000374c00e00626603866ec0dd48011ba600133006006003375660320066eb8c05c008c06c008c064004c8cc0040052f5bded8c044a66602c00226602e66ec13001014000375000897adef6c60132323232533301730093300a48810000213301b337609801014000375001000a2a66602e600e00426603666ec13001014000375001000626603666ec0dd48011ba800133006006003375a60300066eb8c058008c068008c060004dc7a44100375e980103d879800022533300f33720004002298103d87980001533300f3371e0040022980103d87a800014c103d87b80002301230133013301300114a04602260240026ebd300126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0014a04601e00229309b2b192999804180218048008a99980598050008a4c2c2c6ea8004c94ccc018c008c01c00454ccc024c020004526161637540046e1d2000230053754002460066ea80055cd2ab9d5573caae7d5d02ba15745",
"hash": "1415f0458cfeca4144c242e69fda05be36a96d0f074d71661a7201fb"
"compiledCode": "59035a0100003232323232323223232232253330073253330083330083375e601a601c601c601c601c601c601c601c601c601c601c601c60146ea8c004c028dd5001260126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff004a09444c94ccc024c94ccc028cdc3a400460166ea80044c94ccc02ccdd7980218069baa0014c0126d8799f58200000000000000000000000000000000000000000000000000000000000000000ff0013009375a6006601a6ea8004528180798061baa001163001300b3754006264646464a66601a6464a6660240022c2a666024602a002264a66602066ebcc020c048dd50009ba6300448202a35ae41c54ccc040cdd7980498091baa30093012375400298122d8799f581c11111111111111111111111111111111111111111111111111111111ff00153330105333010300e30113754601060246ea8c024c048dd50008a5014a22a666020600a600660246ea80044cdd7980398091baa0014c0103d87a800014a029405280a503014001163758600260206ea8c01cc040dd500411809980a180a000899baf3004300f3754600c601e6ea801cdd31800a40a8294094ccc034c02c00452f5bded8c0264646600200297adef6c6022533301300113301433760981014000374c00697adef6c60132323232533301430093300a488100002133018337609801014000374c00e00a2a66602866e3d22100002133018337609801014000374c00e00626603066ec0dd48011ba6001330060060033756602a0066eb8c04c008c05c008c054004c8cc0040052f5bded8c044a66602400226602666ec13001014000375000697adef6c601323232325333013300833009488100002133017337609801014000375000e00a2a66602666e3d22100002133017337609801014000375000e00626602e66ec0dd48011ba800133006006003375a60280066eb8c048008c058008c050004dd7a60103d879800022533300c33720004002298103d87980001533300c3371e0040022980103d87a800014c103d87b80002300f30103010301000114a04601c601e00229408c034004526136563253330063004300700115333009300800114985858dd5000992999802180118028008a99980398030008a4c2c2c6ea8008dc3a4000ae6955ceaab9e5573eae815d0aba201",
"hash": "2c19b6a631b86636d34dec01ccc7929a4cd2ab0690f8b08cca44d735"
},
{
"title": "deploy.spend",
@@ -40,8 +40,8 @@
"$ref": "#/definitions/Data"
}
},
"compiledCode": "59021d010000323232323232323232222533300653330063375e00698103d87980001325332330083323223253323300d3001300c00213232533300f3375e98106d8799f182aff0000213008300600514a0a66601c6004601a00226464a666026602c0042930b1bad3014001300c001163012300b002370e90000b1919198008008019129998088008a60103d87a8000132323253330113371e00c6eb8c04800c4cdd2a40006602a00297ae013300500500230120023015002301300137286ecd30106d8799f182aff00300100122533300d0011480004cdc0240046600400460200026eacc034c038c038c038c038c038c038c038c038c038c038c018c008c01800c4c8c94ccc034004584c94ccc038004584c94ccc030c94ccc034cdd798029805800a6126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff0013375e6024602660266026601600298122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff0014a060220062a66601866ebcc044c048c028c018c0280053012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff001533300c3005300b3004300a00114a22c2940528180800098080009bac30013007300330070042300e300f300f001370e90020a502300c00114a029309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba201",
"hash": "1deb9ada02620cc083d12ab10a12442a100b93f6867093d8f5b6c3d9"
"compiledCode": "59022b01000032323232323232222533300453330043375e00698103d879800013253330053323223253330093370e900018051baa00113232533300b3375e980106d8799f182aff0000213370e600a00890020a50533300a3370e900018059baa00113232533300f3012002149858dd6980800098061baa00116300e300b37540022c64646600200200644a66601c0022980103d87a80001323232533300e3371e00c6eb8c03c00c4cdd2a40006602400297ae0133005005002300f0023012002301000137286ecd30106d8799f182aff00300100122533300a0011480004cdc02400466004004601a0026eacc028c02cc02cc02cc02cc02cc02cc02cc02cc02cc02cc01cdd5180098039baa00213232533300a00116132533300b00116132533300932533300a3375e600a60186ea800530126d87a9f5820fcaa61fb85676101d9e3398a484674e71c45c3fd41b492682f3b0054f4cf3273ff0013375e601e60206020602060186ea800530122d8799f581ce37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4ff0014a0601c0062a66601266ebcc038c03cc02cdd5180298059baa0014c012ad8799fd8799fd8799f581c66666666666666666666666666666666666666666666666666666666ffffff00153330093370e900218051baa3004300b37540022944585280a50300d001300d0013758600260106ea8c008c020dd500191805980618060008a502300a00114a029309b2b2b9a5573aaae7955cfaba05742ae881",
"hash": "6aa6a0ba9b1706f85f3d06f8a026db77191ed91a019afddb63a5db26"
},
{
"title": "mint.mint",
@@ -51,8 +51,8 @@
"$ref": "#/definitions/Data"
}
},
"compiledCode": "59029b010000323232323232323232225333005323232323253323300b32323253330113014002132533300f3005300e00113371e0046eb8c050c03400458c020c03002858dd71809000998008009980218019bab3005300a3007300a00848810022533301000114bd70099808980718090009980100118098008a999191980699912999807980298070010992999808180298078008b099b87375a602a601c00290790a19198008009991192999809980418090008a5eb7bdb1804dd5980c1808800991980080080191299980b8008a6103d87a8000132323253330173371e00c6eb8c06000c4c02ccc06cdd3000a5eb804cc014014008dd5980c001180d801180c80098039bab3009300e002375c602a601c00644a6660280022980103d87a8000132323253330143371e91103666f6f00375c602a00626010660306ea00052f5c026600a00a0046eb4c054008c060008c05800458c01cc02c024c020c02c0244c8c8c8c94ccc044c01cc04000454ccc044cdd7807180b18078008980318019bab3002300f300c300f00d14a02c6644646600200200644a66602e002298103d87a8000132323253330173375e00c6030006260166603600297ae01330050050023018002301b002301900137566002601c6016601c0186014601c0184602a602c602c602c602c602c602c602c602c602c002600200244a66602400229000099b8048008cc008008c054004dd2a40006e1d200214a06e1d200014a04660040029110022323300100100322533300f00114bd6f7b630099191919299980819b8f0070021003133014337606ea4008dd3000998030030019bab3011003375c601e004602600460220024601a601c601c601c601c00246018601a0024601600229309b2b118029baa001230033754002ae6955ceaab9e5573eae815d0aba21",
"hash": "6e3c9bfdb34a06415d0c09ce79172369079c8f8683999ac659f90cd6"
"compiledCode": "5902b4010000323232323232322253330033232323232533233009323232533300f3012002132533300d3005300e3754002266e3c008dd7180918079baa001163008300e37540142c6eb8c040004cc004004cc010c00cdd5980298061baa3007300c37540109110022533300e00114bd70099807980618080009980100118088008a999191980599912999806980298071baa002132533300e3005300f37540022c266e1cdd6980998081baa001483c850c8cc004004cc88c94ccc044c020c048dd50008a5eb7bdb1804dd5980b18099baa001323300100100322533301500114c0103d87a8000132323253330153371e00c6eb8c05800c4c02ccc064dd3000a5eb804cc014014008dd5980b001180c801180b80098039bab3009301037540046eb8c04cc040dd50019129998090008a6103d87a8000132323253330123371e91103666f6f00375c6026006260106602c6ea00052f5c026600a00a0046eb4c04c008c058008c05000458c01cc034dd5004980418069baa009132323232533300f3007301037540022a66601e66ebc038c050c044dd50008980318019bab300230113754601860226ea80345280b1991191980080080191299980a8008a6103d87a8000132323253330153375e00c602c006260166603200297ae01330050050023016002301900230170013756600260206ea8c02cc040dd5006180518081baa00c2301330143014301430143014301430143014301400130010012253330100011480004cdc0240046600400460260026e952000370e90010a50370e90000a5023300200148810022323300100100322533300d00114bd6f7b630099191919299980719b8f0070021003133012337606ea4008dd3000998030030019bab300f003375c601a0046022004601e0024601660186018601860180024601460160024601200229309b2b2b9a5573aaae7955cfaba05742ae89",
"hash": "148b7dd21a30a5176713f946d88d0a3617a9d10705473319f6e3c04a"
},
{
"title": "withdrawals.spend",
@@ -68,8 +68,8 @@
"$ref": "#/definitions/Void"
}
},
"compiledCode": "5901fc010000323232323232323232232322322533300932323253323300d32533300e3002300d0011613370e6eb4c04cc0300052054330023756600660166008601600a980126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff001533300d32533300e3002300d0011613370e6eb4c04cc030005201c330023756600660166008601600a98126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff0013375e6e9cc8cc004004dd598021806180298060031129998090008a5eb804cc04cc040c050004cc008008c054004dd399808a6126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff00330114c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff004bd700a50370e90010a5022323300100100322533301200114c103d87a8000132323253330123375e00c6026006266e95200033016375000297ae0133005005002375a6026004602c0046028002460206022602260226022602260220024601e00229309b2b192999804180218048008a99980598050008a4c2c2c6ea8004c94ccc018c008c01c00454ccc024c020004526161637540046e1d2000230053754002460066ea80055cd2ab9d5573caae7d5d02ba157441",
"hash": "cd3a3ac11138c30e61935ac0a417e2c84b7773a8710e2ee85923a89c"
"compiledCode": "5902010100003232323232323223223225333006323232533300932533300a3370e900118059baa0011613370e6eb4c03cc030dd5000a40a8660026eacc008c02cdd5180198059baa0044c0126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff001533300932533300a3370e900118059baa0011613370e6eb4c03cc030dd5000a4038660026eacc008c02cdd5180198059baa0044c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff0013375e6e9cc8cc004004dd5980198061baa3004300c375400a44a66601c002297ae013300f300c3010001330020023011001374e6601a98126d8799fd8799f581c22222222222222222222222222222222222222222222222222222222ffff003300d4c126d8799fd87a9f581cafddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72ffff004bd700a5014a044646600200200644a66601e002298103d87a80001323232533300f3375e00c6020006266e95200033013375000297ae0133005005002375a6020004602600460220024601a601c601c601c601c601c601c0024601800229309b2b19299980299b8748000c01800454ccc020c01c0045261616375400264a66600666e1d2000300400115333006300500114985858dd5000ab9a5573aaae7955cfaba05742ae89",
"hash": "4d223be4711a6154da0c1e9ff7f158a6716d4e8eacde3e3922f3fae9"
}
],
"definitions": {