From 7fbac4dc1b6651cb60c6f6a7ff73064942872894 Mon Sep 17 00:00:00 2001
From: Edmond Lee <edmond.inbox@gmail.com>
Date: Tue, 2 Jun 2020 12:27:41 -0700
Subject: [PATCH] add generate deploy script default values to id pascaligo
 example

---
 src/test/examples/pascaligo/id.ligo | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

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