balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

checking contracts

Browse Source
This commit is contained in:
Pierre-Emmanuel Wulfman 2020-04-29 13:36:36 +02:00
parent 74dab76fb4
commit 0c9aeeeb64
2 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/test/id_tests_p.ml
View File

@ -4,7 +4,7 @@ open Ast_imperative
let type_file f = let type_file f =
let%bind typed,state = Ligo.Compile.Utils.type_file f "pascaligo" Env in let%bind typed,state = Ligo.Compile.Utils.type_file f "pascaligo" (Contract "main") in
ok (typed,state) ok (typed,state)
let get_program = let get_program =
@ -50,10 +50,9 @@ let buy_id () =
~sender:first_contract ~sender:first_contract
~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.one) () ~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.one) ()
in in
let new_website = e_bytes_string "ligolang.org" in
let id_details_2 = e_record_ez [("owner", e_address new_addr) ; let id_details_2 = e_record_ez [("owner", e_address new_addr) ;
("controller", e_address new_addr) ; ("controller", e_address new_addr) ;
("profile", new_website)] ("profile", owner_website)]
in in
let param = e_record_ez [("profile", owner_website) ; let param = e_record_ez [("profile", owner_website) ;
("initial_controller", (e_some (e_address new_addr))) ; ("initial_controller", (e_some (e_address new_addr))) ;
@ -88,10 +87,9 @@ let buy_id_sender_addr () =
~sender:first_contract ~sender:first_contract
~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.one) () ~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.one) ()
in in
let new_website = e_bytes_string "ligolang.org" in
let id_details_2 = e_record_ez [("owner", e_address new_addr) ; let id_details_2 = e_record_ez [("owner", e_address new_addr) ;
("controller", e_address new_addr) ; ("controller", e_address new_addr) ;
("profile", new_website)] ("profile", owner_website)]
in in
let param = e_record_ez [("profile", owner_website) ; let param = e_record_ez [("profile", owner_website) ;
("initial_controller", (e_typed_none (t_address ())))] in ("initial_controller", (e_typed_none (t_address ())))] in
@ -147,14 +145,13 @@ let update_details_owner () =
~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.zero) ~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.zero)
() ()
in in
let new_website = e_bytes_string "ligolang.org" in
let id_details_2 = e_record_ez [("owner", e_address new_addr) ; let id_details_2 = e_record_ez [("owner", e_address new_addr) ;
("controller", e_address owner_addr) ; ("controller", e_address owner_addr) ;
("profile", new_website)] ("profile", owner_website)]
in in
let id_details_2_diff = e_record_ez [("owner", e_address new_addr) ; let id_details_2_diff = e_record_ez [("owner", e_address new_addr) ;
("controller", e_address new_addr) ; ("controller", e_address new_addr) ;
("profile", new_website)] in ("profile", owner_website)] in
let storage = e_record_ez [("identities", (e_big_map let storage = e_record_ez [("identities", (e_big_map
[(e_int 0, id_details_1) ; [(e_int 0, id_details_1) ;
(e_int 1, id_details_2)])) ; (e_int 1, id_details_2)])) ;
@ -169,7 +166,7 @@ let update_details_owner () =
("name_price", e_mutez 1000000) ; ("name_price", e_mutez 1000000) ;
("skip_price", e_mutez 1000000) ; ] ("skip_price", e_mutez 1000000) ; ]
in in
let details = e_bytes_string "ligolang.org" in let details = owner_website in
let param = e_record_ez [("id", e_int 1) ; let param = e_record_ez [("id", e_int 1) ;
("new_profile", e_some details) ; ("new_profile", e_some details) ;
("new_controller", e_some (e_address new_addr))] in ("new_controller", e_some (e_address new_addr))] in
@ -192,7 +189,7 @@ let update_details_controller () =
~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.zero) ~amount:(Memory_proto_alpha.Protocol.Alpha_context.Tez.zero)
() ()
in in
let new_website = e_bytes_string "ligolang.org" in let new_website = owner_website in
let id_details_2 = e_record_ez [("owner", e_address owner_addr) ; let id_details_2 = e_record_ez [("owner", e_address owner_addr) ;
("controller", e_address new_addr) ; ("controller", e_address new_addr) ;
("profile", new_website)] ("profile", new_website)]

2
src/test/id_tests_r.ml
View File

@ -4,7 +4,7 @@ open Ast_imperative
let retype_file f = let retype_file f =
let%bind typed,state = Ligo.Compile.Utils.type_file f "reasonligo" Env in let%bind typed,state = Ligo.Compile.Utils.type_file f "reasonligo" (Contract "main") in
ok (typed,state) ok (typed,state)
let get_program = let get_program =