History

microproofs db369da96e feat: Make traces produced by expect dependent on the value of the tracing flag.		2023-06-23 14:03:23 -04:00
..
ctx	Align context diagnostics to use similar syntax.	2023-02-15 17:26:26 +01:00
validators	fix: gift card example stdlib update	2023-06-13 00:38:29 -04: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	feat: Make traces produced by expect dependent on	2023-06-23 14:03:23 -04:00
test.sh	test: fix acceptance tests	2023-02-16 00:05:55 -05: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