History

KtorZ 7251b2d01e Remove single-argument function call special-case in formatter Not sure what this special case was trying to achieve, but it's not right. There's no need to handle function call with a single argument differently than the others.		2023-02-15 17:22:08 +01:00
..
ctx	Add new context test for datums and reference scripts	2023-02-15 17:10:14 +01:00
validators	Remove single-argument function call special-case in formatter	2023-02-15 17:22:08 +01:00
.gitignore	Add succinct README to explain what's going on.	2023-02-14 16:25:48 +01:00
README.md	Remove single-argument function call special-case in formatter	2023-02-15 17:22:08 +01:00
aiken.lock	Add new script_context acceptance scenario for withdrawals.	2023-02-14 16:11:00 +01:00
aiken.toml	Add new script_context acceptance scenario for withdrawals.	2023-02-14 16:11:00 +01:00
plutus.json	Add new context test for datums and reference scripts	2023-02-15 17:10:14 +01:00
test.sh	Add new script context test scenario covering minting & values.	2023-02-15 12:49:56 +01:00

README.md

Script Context Tests

This project contains a few handcrafted validators and transactions whose sole purpose is to test the interpretation of the ScriptContext from within an Aiken's validators.

So validators are meant to work hand-in-hand with an associated context. Because we can't have fully static context (since they contain the validator and its hash), we define templates.

Everything is a bit clunky, but steps have been captured in a test.sh script for convenience.

How to use

./test.sh [VALIDATOR_TITLE]

Test Coverage

Purpose
- spend
- mint
- withdraw
- publish
Transaction
- inputs
- reference inputs
- outputs
  - address
    - verification key
  - script
  - pointer
  - value
  - datum
    - none
    - hash
    - inline
  - script
    - none
  - reference
- values
  - pure ada
  - native assets
- fee
- mint
- certificates
- withdrawals
  - verification key
  - script
- validity range
- extra signatories
- redeemers
- datums