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

fix: withdraw kinda

Browse Source
This commit is contained in:
rvcas
2024-08-15 16:43:45 -04:00
committed by KtorZ
parent f86d550ca0
commit be7c0c8012
6 changed files with 90 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/acceptance_tests/script_context/v3/validators/simple_spend.ak
View File

@@ -2,8 +2,7 @@ use aiken/collection/dict
use cardano/assets
use cardano/credential.{Address, Script}
use cardano/transaction.{
InlineDatum, Input, Output, OutputReference, ScriptContext, ScriptInfo,
ScriptPurpose, Spend, Spending, Transaction,
InlineDatum, Input, Output, OutputReference, ScriptPurpose, Spend, Transaction,
}
validator simple_spend {

25
examples/acceptance_tests/script_context/v3/validators/withdraw.ak
View File

@@ -1,24 +1,25 @@
use aiken/collection/list
use aiken/interval
use cardano/credential.{Address, Inline, Pointer, Script, VerificationKey}
use cardano/transaction.{ScriptContext, Withdrawing}
use cardano/credential.{
Address, Credential, Inline, Pointer, Script, VerificationKey,
}
use cardano/transaction.{Transaction}
const only0s = #"00000000000000000000000000000000000000000000000000000000"
const only1s = #"11111111111111111111111111111111111111111111111111111111"
validator {
fn spend(_tmp0: Void, _tmp1: Void, _ctx: Data) {
validator thing {
spend(_datum: Option<Void>, _rdmr: Void, _oref: Data, _tx: Data) {
True
}
fn withdraw(_tmp0: Void, ctx: ScriptContext) {
expect Withdrawing(Script(my_script_hash)) = ctx.info
withdraw(_rdmr: Void, credential: Credential, transaction: Transaction) {
expect Script(my_script_hash) = credential
expect
interval.entirely_before(1596059092000) == ctx.transaction.validity_range
expect interval.entirely_before(1596059092000) == transaction.validity_range
let addresses = list.map(ctx.transaction.outputs, fn(out) { out.address })
let addresses = list.map(transaction.outputs, fn(out) { out.address })
expect
Some(
@@ -45,8 +46,12 @@ validator {
) == list.at(addresses, 2)
expect
[Pair(Script(my_script_hash), 0), Pair(VerificationKey(only0s), 14)] == ctx.transaction.withdrawals
[Pair(Script(my_script_hash), 0), Pair(VerificationKey(only0s), 14)] == transaction.withdrawals
True
}
else(_ctx) {
fail
}
}