Files
Alessandro ScandoneandGitHub 58dbd73a15 Prepare for ledger integration (#10)
Refactored modules and exposed a public API so that it can be consumed by the ledger
2024-10-03 19:06:10 +02:00

76 lines
1.2 KiB
Plaintext
Executable File

[TestShowUnboundVar - 1]
0 | send [COIN 10] (
1 | source = $unbound_var
| ~~~~~~~~~~~~
2 | destination = @dest
---
[TestShowMissingFundsSingleAccount - 1]
0 | send [COIN 10] (
1 | source = @a
| ~~
2 | destination = @dest
---
[TestShowMissingFundsInorder - 1]
0 | send [COIN 10] (
1 | source = {
| ~
2 | @a
| ~~~~~~
3 | @b
| ~~~~~~
4 | }
| ~~
5 | destination = @dest
---
[TestShowMissingFundsAllotment - 1]
1 | source = {
2 | 1/2 from @a
| ~~
3 | remaining from @world
---
[TestShowMissingFundsMax - 1]
0 | send [COIN 10] (
1 | source = max [COIN 2] from {
| ~~~~~~~~~~~~~~~~~~~
2 | 1/2 from @world
| ~~~~~~~~~~~~~~~~~~~
3 | remaining from @world
| ~~~~~~~~~~~~~~~~~~~~~~~~~
4 | }
| ~~~
5 | destination = @dest
---
[TestShowMetadataNotFound - 1]
0 | vars {
1 | number $my_var = meta(@acc, "key")
| ~~~~~~~~~~~~~~~~~
2 | }
---
[TestShowTypeError - 1]
0 | send 42 (
| ~~
1 | source = @a
---
[TestShowInvalidTypeErr - 1]
0 | vars {
1 | invalid_t $x
| ~~~~~~~~~
2 | }
---