diff --git a/examples/acceptance_tests/062/aiken.lock b/examples/acceptance_tests/062/aiken.lock new file mode 100644 index 00000000..0423f31b --- /dev/null +++ b/examples/acceptance_tests/062/aiken.lock @@ -0,0 +1,13 @@ +# This file was generated by Aiken +# You typically do not need to edit this file + +[[requirements]] +name = "aiken-lang/stdlib" +version = "main" +source = "github" + +[[packages]] +name = "aiken-lang/stdlib" +version = "main" +requirements = [] +source = "github" diff --git a/examples/acceptance_tests/062/aiken.toml b/examples/acceptance_tests/062/aiken.toml new file mode 100644 index 00000000..afc17aa0 --- /dev/null +++ b/examples/acceptance_tests/062/aiken.toml @@ -0,0 +1,8 @@ +name = 'aiken-lang/acceptance_test_062' +version = '0.0.0' +description = '' + +[[dependencies]] +name = 'aiken-lang/stdlib' +version = 'main' +source = 'github' diff --git a/examples/acceptance_tests/062/data/001-basic/inputs.cbor b/examples/acceptance_tests/062/data/001-basic/inputs.cbor new file mode 100644 index 00000000..e7f75b49 --- /dev/null +++ b/examples/acceptance_tests/062/data/001-basic/inputs.cbor @@ -0,0 +1 @@ +81825820000000000000000000000000000000000000000000000000000000000000000000 diff --git a/examples/acceptance_tests/062/data/001-basic/outputs.cbor.template b/examples/acceptance_tests/062/data/001-basic/outputs.cbor.template new file mode 100644 index 00000000..ca3e5631 --- /dev/null +++ b/examples/acceptance_tests/062/data/001-basic/outputs.cbor.template @@ -0,0 +1 @@ +81A300581D70{{ VALIDATOR_HASH }}1ED86D464F20AB66EE47AB662572820052078CC8D75345E06A9E8D4011A3B9ACA00028201D81843D87980 diff --git a/examples/acceptance_tests/062/data/001-basic/tx.cbor.template b/examples/acceptance_tests/062/data/001-basic/tx.cbor.template new file mode 100644 index 00000000..72e92176 --- /dev/null +++ b/examples/acceptance_tests/062/data/001-basic/tx.cbor.template @@ -0,0 +1 @@ +84A80081825820000000000000000000000000000000000000000000000000000000000000000000018182581D60000000000000000000000000000000000000000000000000000000001A3B9ACA00021A0002DF6705A1581DE0000000000000000000000000000000000000000000000000000000001A0280DE800B5820FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0D818258200000000000000000000000000000000000000000000000000000000000000000001082581D60000000000000000000000000000000000000000000000000000000001A3B9ACA00111A00044F1BA20581840000D87980821A000F42401A05F5E100068158A2{{ VALIDATOR }}8A00100003232323232323232222533300632323370E646460026EB0CC00CC010CC00CC010015200048010C004004894CCC03400452000132337009001198018018009807800A400444646660020029000001911199980619B8700400201023330040043370000690011809000800918049BAA001149858C0040048894CCC01C0085261330053001300800233300300330090020015734AE6D55CF2AB9F5742AE89F5F6 diff --git a/examples/acceptance_tests/062/plutus.json b/examples/acceptance_tests/062/plutus.json new file mode 100644 index 00000000..c6abab15 --- /dev/null +++ b/examples/acceptance_tests/062/plutus.json @@ -0,0 +1,36 @@ +{ + "preamble": { + "title": "aiken-lang/acceptance_test_062", + "version": "0.0.0" + }, + "validators": [ + { + "title": "basic", + "purpose": "spend", + "datum": { + "title": "Unit", + "description": "The nullary constructor.", + "anyOf": [ + { + "dataType": "constructor", + "index": 0, + "fields": [] + } + ] + }, + "redeemer": { + "title": "Unit", + "description": "The nullary constructor.", + "anyOf": [ + { + "dataType": "constructor", + "index": 0, + "fields": [] + } + ] + }, + "compiledCode": "58a00100003232323232323232222533300632323370e646460026eb0cc00cc010cc00cc010015200048010c004004894ccc03400452000132337009001198018018009807800a400444646660020029000001911199980619b8700400201023330040043370000690011809000800918049baa001149858c0040048894ccc01c0085261330053001300800233300300330090020015734ae6d55cf2ab9f5742ae89", + "hash": "81ed86d464f20ab66ee47ab662572820052078cc8d75345e06a9e8d4" + } + ] +} \ No newline at end of file diff --git a/examples/acceptance_tests/062/prepare.sh b/examples/acceptance_tests/062/prepare.sh new file mode 100755 index 00000000..bab2e77f --- /dev/null +++ b/examples/acceptance_tests/062/prepare.sh @@ -0,0 +1,4 @@ +#!/usr/bin/env bash + +aiken build +VALIDATOR=$(jq ".validators[] | select(.title == \"basic\")" plutus.json) diff --git a/examples/acceptance_tests/062/validators/basic.ak b/examples/acceptance_tests/062/validators/basic.ak new file mode 100644 index 00000000..dcb77e24 --- /dev/null +++ b/examples/acceptance_tests/062/validators/basic.ak @@ -0,0 +1,6 @@ +use aiken/list +use aiken/transaction.{ScriptContext} + +fn spend(_datum: Void, _redeemer: Void, ctx: ScriptContext) { + list.length(ctx.transaction.outputs) == 1 +}