diff --git a/src/test/examples/pascaligo/id.ligo b/src/test/examples/pascaligo/id.ligo index a0023e201..7ffadab51 100644 --- a/src/test/examples/pascaligo/id.ligo +++ b/src/test/examples/pascaligo/id.ligo @@ -34,7 +34,7 @@ controller=("tz1gjaF81ZRRvdzjobyfVNsAeSC6PScjfQwN" : address); profile=0x0501000000026869] ]; - next_id=2; + next_id=2; name_price=0tez; skip_price=50mutez; ] @@ -60,6 +60,21 @@ skip_price=333mutez; ] ) + generateDeployScript: + tool: tezos-client + entrypoint: main + storage: | + record [ + identities=big_map[ + 1->record + [owner=("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address); + controller=("tz1gjaF81ZRRvdzjobyfVNsAeSC6PScjfQwN" : address); + profile=0x0501000000026869] + ]; + next_id=2; + name_price=0tez; + skip_price=50mutez; + ] *_*) type id is int