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

Update acceptance tests and script context tests to latest stdlib.

Browse Source
This commit is contained in:
KtorZ
2024-08-28 17:41:32 +02:00
parent 745f14ccb2
commit 8bccbd9e00
60 changed files with 104 additions and 111 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
examples/acceptance_tests/script_context/v3/aiken.lock
View File

@@ -3,14 +3,14 @@
[[requirements]]
name = "aiken-lang/stdlib"
version = "v2"
version = "main"
source = "github"
[[packages]]
name = "aiken-lang/stdlib"
version = "v2"
version = "main"
requirements = []
source = "github"
[etags]
"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724760716, nanos_since_epoch = 700202000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"]
"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859324, nanos_since_epoch = 288688000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"]

3
examples/acceptance_tests/script_context/v3/aiken.toml
View File

@@ -1,11 +1,10 @@
name = "script_context/v3"
version = "0.0.0"
compiler = "v1.0.31-alpha"
plutus = "v3"
license = "Apache-2.0"
description = "End-to-end testing of standard lib script context, for Plutus v3"
[[dependencies]]
name = "aiken-lang/stdlib"
version = "v2"
version = "main"
source = "github"

26
examples/acceptance_tests/script_context/v3/plutus.json
View File

File diff suppressed because one or more lines are too long

12
examples/acceptance_tests/script_context/v3/validators/certificates.ak
View File

@@ -7,7 +7,7 @@ use cardano/certificate.{
RetireFromConstitutionalCommittee, RetireStakePool, UnregisterCredential,
UnregisterDelegateRepresentative, UpdateDelegateRepresentative,
}
use cardano/credential.{Script, VerificationKey}
use cardano/address.{Script, VerificationKey}
use cardano/transaction.{Transaction}
const only0s = #"00000000000000000000000000000000000000000000000000000000"
@@ -34,7 +34,7 @@ validator purposes {
expect Some(14) = transaction.treasury_donation
expect
Some(RegisterCredential { credential: Script(only2s), deposit: None }) == list.at(
Some(RegisterCredential { credential: Script(only2s), deposit: Never }) == list.at(
certificates,
0,
)
@@ -43,7 +43,7 @@ validator purposes {
Some(
RegisterCredential {
credential: VerificationKey(only0s),
deposit: None,
deposit: Never,
},
) == list.at(certificates, 1)
@@ -51,7 +51,7 @@ validator purposes {
Some(
UnregisterCredential {
credential: VerificationKey(only0s),
refund: None,
refund: Never,
},
) == list.at(certificates, 2)
@@ -71,7 +71,7 @@ validator purposes {
Some(
RegisterCredential {
credential: VerificationKey(only0s),
deposit: None,
deposit: Never,
},
) == list.at(certificates, 5)
@@ -79,7 +79,7 @@ validator purposes {
Some(
UnregisterCredential {
credential: VerificationKey(only0s),
refund: None,
refund: Never,
},
) == list.at(certificates, 6)

14
examples/acceptance_tests/script_context/v3/validators/mint.ak
View File

@@ -1,7 +1,7 @@
use aiken/collection/dict.{Dict}
use aiken/collection/list
use cardano/assets.{PolicyId, Value}
use cardano/credential
use cardano/address
use cardano/transaction.{
DatumHash, Input, Mint, NoDatum, Output, OutputReference, ScriptPurpose,
Transaction,
@@ -44,7 +44,7 @@ fn assert_reference_inputs(inputs: List<Input>) -> Void {
output_index: 0,
},
output: Output {
address: credential.from_verification_key(null28),
address: address.from_verification_key(null28),
value: assets.from_lovelace(1_000_000),
datum: NoDatum,
reference_script: None,
@@ -76,7 +76,7 @@ fn assert_outputs(
expect
Some(
Output {
address: credential.from_verification_key(null28),
address: address.from_verification_key(null28),
value: assets.from_lovelace(1_000_000),
datum: DatumHash(void_hash),
reference_script: None,
@@ -86,8 +86,8 @@ fn assert_outputs(
expect
Some(
Output {
address: credential.from_verification_key(null28)
|> credential.with_delegation_key(null28),
address: address.from_verification_key(null28)
|> address.with_delegation_key(null28),
value: assets.from_lovelace(1_000_000)
|> assets.add(our_policy_id, "tuna", 100000000000000)
|> assets.add(other_policy_id, "aiken", 42),
@@ -99,8 +99,8 @@ fn assert_outputs(
expect
Some(
Output {
address: credential.from_script(null28)
|> credential.with_delegation_key(null28),
address: address.from_script(null28)
|> address.with_delegation_key(null28),
value: assets.from_lovelace(1_000_000)
|> assets.add(other_policy_id, "cardano", 1),
datum: NoDatum,

2
examples/acceptance_tests/script_context/v3/validators/proposing_all.ak
View File

@@ -1,6 +1,6 @@
use aiken/collection/list
use aiken/math/rational
use cardano/credential.{Script, VerificationKey}
use cardano/address.{Script, VerificationKey}
use cardano/governance.{
Constitution, ConstitutionalCommittee, GovernanceAction, GovernanceActionId,
HardFork, NewConstitution, NicePoll, NoConfidence, ProposalProcedure,

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

@@ -1,6 +1,6 @@
use aiken/collection/dict
use cardano/assets
use cardano/credential.{Address, Script}
use cardano/address.{Address, Script}
use cardano/transaction.{
InlineDatum, Input, Output, OutputReference, ScriptPurpose, Spend, Transaction,
}

2
examples/acceptance_tests/script_context/v3/validators/voting.ak
View File

@@ -1,5 +1,5 @@
use aiken/collection/list
use cardano/credential.{Script, VerificationKey}
use cardano/address.{Script, VerificationKey}
use cardano/governance.{
Abstain, ConstitutionalCommitteeMember, DelegateRepresentative,
GovernanceActionId, No, StakePool, Voter, Yes,

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

@@ -1,6 +1,6 @@
use aiken/collection/list
use aiken/interval
use cardano/credential.{
use cardano/address.{
Address, Credential, Inline, Pointer, Script, VerificationKey,
}
use cardano/transaction.{Transaction}