From c82e3ffa6a8d60ea44ae670dbef576c03d014cfa Mon Sep 17 00:00:00 2001 From: Edmond Lee Date: Tue, 2 Jun 2020 12:53:03 -0700 Subject: [PATCH] add generate deploy script default values to id reasonligo example --- src/test/examples/reasonligo/id.religo | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/test/examples/reasonligo/id.religo b/src/test/examples/reasonligo/id.religo index 9131a9080..fe64bb7d1 100644 --- a/src/test/examples/reasonligo/id.religo +++ b/src/test/examples/reasonligo/id.religo @@ -60,6 +60,20 @@ skip_price:333mutez } ) + generateDeployScript: + tool: tezos-client + entrypoint: main + storage: | + { + identities:Big_map.literal([ + (1, + {owner:("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address), controller:("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx": address), profile:0x0501000000026869} + ) + ]), + next_id:2, + name_price:10tez, + skip_price:333mutez + } *_*) */ type id = int