2019-11-22 00:06:34 +04:00
|
|
|
open Cli_expect
|
|
|
|
|
|
|
|
|
|
let contract basename =
|
|
|
|
|
"../../test/contracts/" ^ basename
|
2020-01-20 22:40:45 +04:00
|
|
|
let bad_contract basename =
|
|
|
|
|
"../../test/contracts/negative/" ^ basename
|
2019-11-22 00:06:34 +04:00
|
|
|
|
2019-11-26 03:30:12 +04:00
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "measure-contract" ; contract "coase.ligo" ; "main" ] ;
|
2019-11-26 04:10:49 +04:00
|
|
|
[%expect {| 2066 bytes |}] ;
|
2019-11-26 03:30:12 +04:00
|
|
|
|
|
|
|
|
run_ligo_good [ "measure-contract" ; contract "multisig.ligo" ; "main" ] ;
|
2019-11-26 03:15:25 +04:00
|
|
|
[%expect {| 1093 bytes |}] ;
|
2019-11-26 03:30:12 +04:00
|
|
|
|
|
|
|
|
run_ligo_good [ "measure-contract" ; contract "multisig-v2.ligo" ; "main" ] ;
|
2019-11-29 20:00:54 +04:00
|
|
|
[%expect {| 2717 bytes |}] ;
|
2019-11-26 03:30:12 +04:00
|
|
|
|
|
|
|
|
run_ligo_good [ "measure-contract" ; contract "vote.mligo" ; "main" ] ;
|
2020-01-09 00:58:26 +04:00
|
|
|
[%expect {| 642 bytes |}] ;
|
2019-11-26 03:30:12 +04:00
|
|
|
|
2019-12-18 19:35:17 +04:00
|
|
|
run_ligo_good [ "compile-parameter" ; contract "coase.ligo" ; "main" ; "Buy_single (record card_to_buy = 1n end)" ] ;
|
|
|
|
|
[%expect {| (Left (Left 1)) |}] ;
|
|
|
|
|
|
|
|
|
|
run_ligo_good [ "compile-storage" ; contract "coase.ligo" ; "main" ; "record cards = (map end : cards) ; card_patterns = (map end : card_patterns) ; next_id = 3n ; end" ] ;
|
|
|
|
|
[%expect {| (Pair (Pair {} {}) 3) |}] ;
|
|
|
|
|
|
|
|
|
|
run_ligo_bad [ "compile-storage" ; contract "coase.ligo" ; "main" ; "Buy_single (record card_to_buy = 1n end)" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
|
|
|
|
ligo: different kinds: {"a":"record[next_id -> nat , cards -> (TO_Map (nat,record[card_pattern -> nat , card_owner -> address])) , card_patterns -> (TO_Map (nat,record[quantity -> nat , coefficient -> mutez]))]","b":"sum[Transfer_single -> record[destination -> address , card_to_transfer -> nat] , Sell_single -> record[card_to_sell -> nat] , Buy_single -> record[card_to_buy -> nat]]"}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}] ;
|
2019-12-18 19:35:17 +04:00
|
|
|
|
|
|
|
|
run_ligo_bad [ "compile-parameter" ; contract "coase.ligo" ; "main" ; "record cards = (map end : cards) ; card_patterns = (map end : card_patterns) ; next_id = 3n ; end" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
|
|
|
|
ligo: different kinds: {"a":"sum[Transfer_single -> record[destination -> address , card_to_transfer -> nat] , Sell_single -> record[card_to_sell -> nat] , Buy_single -> record[card_to_buy -> nat]]","b":"record[next_id -> nat , cards -> (TO_Map (nat,record[card_pattern -> nat , card_owner -> address])) , card_patterns -> (TO_Map (nat,record[quantity -> nat , coefficient -> mutez]))]"}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}] ;
|
2019-12-18 19:35:17 +04:00
|
|
|
|
2019-11-26 03:30:12 +04:00
|
|
|
()
|
|
|
|
|
|
2020-01-03 21:09:16 +04:00
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-storage" ; contract "timestamp.ligo" ; "main" ; "now" ; "--predecessor-timestamp" ; "2042-01-01T00:00:00Z" ] ;
|
|
|
|
|
[%expect {| "2042-01-01T00:00:01Z" |}]
|
|
|
|
|
|
2019-11-26 03:30:12 +04:00
|
|
|
let%expect_test _ =
|
2019-11-22 00:06:34 +04:00
|
|
|
run_ligo_good [ "compile-contract" ; contract "coase.ligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
{ parameter
|
|
|
|
|
(or (or (nat %buy_single) (nat %sell_single))
|
|
|
|
|
(pair %transfer_single (nat %card_to_transfer) (address %destination))) ;
|
|
|
|
|
storage
|
|
|
|
|
(pair (pair (map %card_patterns nat (pair (mutez %coefficient) (nat %quantity)))
|
|
|
|
|
(map %cards nat (pair (address %card_owner) (nat %card_pattern))))
|
|
|
|
|
(nat %next_id)) ;
|
2019-11-26 03:15:25 +04:00
|
|
|
code { DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
IF_LEFT
|
|
|
|
|
{ DUP ;
|
|
|
|
|
IF_LEFT
|
|
|
|
|
{ DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DUP ; CAR ; CAR } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP ; CDR ; PUSH nat 1 ; ADD } ;
|
|
|
|
|
MUL ;
|
|
|
|
|
DUP ;
|
|
|
|
|
AMOUNT ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
GT ;
|
|
|
|
|
IF { PUSH string "Not enough money" ; FAILWITH } { PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 3 { DROP } ;
|
|
|
|
|
DUG 2 ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; SOME ; DIP { DUP } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP 6 { DUP } ; DIG 6 ; SOURCE ; PAIR ; SOME ; DIP { DUP } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 ; DUP ; CDR ; SWAP ; CAR ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 6 { DROP } ;
|
|
|
|
|
DUG 5 ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 6 { DROP } ;
|
|
|
|
|
DUG 5 ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP 9 } }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DUP ; CAR ; CDR } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SOURCE ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
NEQ ;
|
|
|
|
|
IF { PUSH string "This card doesn't belong to you" ; FAILWITH }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; CAR ; CAR } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
SUB ;
|
|
|
|
|
ABS ;
|
|
|
|
|
DIP { DUP ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; SOME ; DIP { DUP } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 4 { DROP } ;
|
|
|
|
|
DUG 3 ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
DIP { DUP ; NONE (pair (address %card_owner) (nat %card_pattern)) } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; DUP ; CDR ; SWAP ; CAR ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CDR } ;
|
|
|
|
|
MUL ;
|
|
|
|
|
SOURCE ;
|
|
|
|
|
CONTRACT unit ;
|
|
|
|
|
IF_NONE { PUSH string "bad address for get_contract" ; FAILWITH } {} ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
UNIT ;
|
|
|
|
|
TRANSFER_TOKENS ;
|
|
|
|
|
DUP ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CONS ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { DIP 7 { DUP } ; DIG 7 } ;
|
2019-11-26 03:15:25 +04:00
|
|
|
PAIR ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { DROP 11 } } ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DROP } }
|
2019-11-22 00:06:34 +04:00
|
|
|
{ DUP ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
2019-11-22 00:06:34 +04:00
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SOURCE ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
NEQ ;
|
|
|
|
|
IF { PUSH string "This card doesn't belong to you" ; FAILWITH }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP ; SOME ; DIP { DIP { DUP } ; SWAP } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; DROP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP { DROP } ; DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; DUP ; CDR ; SWAP ; CAR ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 3 { DROP } ;
|
|
|
|
|
DUG 2 ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
PAIR ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DROP 6 } } ;
|
|
|
|
|
DIP { DROP 2 } } } |} ]
|
2019-11-26 03:30:12 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-contract" ; contract "multisig.ligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
{ parameter
|
|
|
|
|
(pair (pair (nat %counter) (lambda %message unit (list operation)))
|
|
|
|
|
(list %signatures (pair key_hash signature))) ;
|
|
|
|
|
storage
|
|
|
|
|
(pair (pair (list %auth key) (nat %counter)) (pair (string %id) (nat %threshold))) ;
|
|
|
|
|
code { DUP ;
|
|
|
|
|
CAR ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DUP ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
2019-11-26 03:30:12 +04:00
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
2019-11-26 03:15:25 +04:00
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; CAR ; CDR } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
NEQ ;
|
|
|
|
|
IF { PUSH string "Counters does not match" ; FAILWITH }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CAR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR ; CAR ; CHAIN_ID ; SWAP ; PAIR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PACK ;
|
|
|
|
|
PUSH nat 0 ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP ; DIP { DIP { DUP } ; SWAP } ; PAIR } ;
|
|
|
|
|
ITER { SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
IF_CONS
|
|
|
|
|
{ DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 4 { DROP } ;
|
|
|
|
|
DUG 3 ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP ; HASH_KEY } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
EQ ;
|
|
|
|
|
IF { DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; DIP { DIP 7 { DUP } ; DIG 7 } } ;
|
|
|
|
|
CHECK_SIGNATURE ;
|
|
|
|
|
IF { DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 4 { DROP } ;
|
|
|
|
|
DUG 3 ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ PUSH string "Invalid signature" ; FAILWITH } }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DIP { DROP 2 } }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DROP 3 } } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; DROP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP { DROP } } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; DROP } ;
|
|
|
|
|
DIP 3 { DROP } ;
|
|
|
|
|
DUG 2 ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; CDR ; CDR } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
LT ;
|
|
|
|
|
IF { PUSH string "Not enough signatures passed the check" ; FAILWITH }
|
|
|
|
|
{ DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; DUP ; CDR ; SWAP ; CAR ; CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
PUSH unit Unit } ;
|
|
|
|
|
DIP { DROP 3 } } ;
|
|
|
|
|
DROP ;
|
2019-11-26 03:30:12 +04:00
|
|
|
DUP ;
|
2019-11-26 03:15:25 +04:00
|
|
|
UNIT ;
|
|
|
|
|
EXEC ;
|
2019-11-26 03:30:12 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP 5 } } } |} ]
|
|
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-contract" ; contract "multisig-v2.ligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
2019-11-29 20:00:54 +04:00
|
|
|
{ parameter
|
|
|
|
|
(or (or (unit %default) (lambda %send bytes (list operation)))
|
|
|
|
|
(lambda %withdraw bytes (list operation))) ;
|
2019-11-26 03:30:12 +04:00
|
|
|
storage
|
2019-11-29 20:00:54 +04:00
|
|
|
(pair (pair (pair (set %authorized_addresses address) (nat %max_message_size))
|
|
|
|
|
(pair (nat %max_proposal) (map %message_store bytes (set address))))
|
|
|
|
|
(pair (pair (map %proposal_counters address nat) (bytes %state_hash))
|
|
|
|
|
(nat %threshold))) ;
|
2019-11-26 03:30:12 +04:00
|
|
|
code { DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
2019-11-26 03:15:25 +04:00
|
|
|
CAR ;
|
2019-11-29 20:00:54 +04:00
|
|
|
IF_LEFT
|
|
|
|
|
{ DUP ;
|
|
|
|
|
IF_LEFT
|
|
|
|
|
{ DIP 2 { DUP } ; DIG 2 ; NIL operation ; PAIR ; DIP { DROP } }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
MEM ;
|
|
|
|
|
NOT ;
|
|
|
|
|
IF { PUSH string "Unauthorized address" ; FAILWITH } { PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
PACK ;
|
|
|
|
|
DUP ;
|
|
|
|
|
SIZE ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CAR ; CDR } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
GT ;
|
|
|
|
|
IF { PUSH string "Message size exceed maximum limit" ; FAILWITH }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DUP ;
|
|
|
|
|
EMPTY_SET address ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; CAR ; CDR ; CDR } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE
|
|
|
|
|
{ DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
SOME ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 ; CDR ; CAR ; CAR } ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 4 { DROP } ;
|
|
|
|
|
DUG 3 ;
|
|
|
|
|
EMPTY_SET address ;
|
|
|
|
|
PUSH bool True ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
MEM ;
|
|
|
|
|
IF { PUSH unit Unit }
|
|
|
|
|
{ DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
SOME ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; CDR ; CAR ; CAR } ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DUP ;
|
|
|
|
|
PUSH bool True ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP ; DROP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; CAR ; CDR ; CAR } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
GT ;
|
|
|
|
|
IF { PUSH string "Maximum number of proposal reached" ; FAILWITH }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
SIZE ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 ; CDR ; CDR } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
GE ;
|
|
|
|
|
IF { DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CDR ; CDR ; NONE (set address) } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 6 { DROP } ;
|
|
|
|
|
DUG 5 ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 } ;
|
|
|
|
|
EXEC ;
|
|
|
|
|
DIP { DROP } ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DIP 3 { DUP } ; DIG 3 } ;
|
|
|
|
|
CONCAT ;
|
|
|
|
|
SHA256 ;
|
|
|
|
|
DIP { DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 6 { DROP } ;
|
|
|
|
|
DUG 5 ;
|
|
|
|
|
DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 } ;
|
|
|
|
|
ITER { SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DIP 6 { DUP } ; DIG 6 } ;
|
|
|
|
|
MEM ;
|
|
|
|
|
IF { DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
DIP { DUP ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
SUB ;
|
|
|
|
|
ABS ;
|
|
|
|
|
SOME ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CDR ; CAR ; CAR } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 3 { DROP } ;
|
|
|
|
|
DUG 2 ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
DIP { DROP 4 } } ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 6 { DUP } ; DIG 6 ; DROP } ;
|
|
|
|
|
DIP 7 { DROP } ;
|
|
|
|
|
DUG 6 ;
|
|
|
|
|
DROP ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ DIP 3 { DUP } ;
|
|
|
|
|
DIG 3 ;
|
|
|
|
|
DIP { DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
SOME ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CDR ; CDR } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 5 { DUP } ;
|
|
|
|
|
DIG 5 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 6 { DROP } ;
|
|
|
|
|
DUG 5 ;
|
|
|
|
|
PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 5 { DUP } ; DIG 5 } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP 8 } } ;
|
|
|
|
|
DIP { DROP } }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
DIP { DIP { DUP } ; SWAP } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
PACK ;
|
|
|
|
|
DUP ;
|
|
|
|
|
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CDR ; CDR } ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE
|
|
|
|
|
{ PUSH unit Unit }
|
|
|
|
|
{ DUP ;
|
|
|
|
|
PUSH bool False ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
SIZE ;
|
|
|
|
|
DIP { DUP ; SIZE } ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
NEQ ;
|
|
|
|
|
IF { DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "GET_FORCE" ; FAILWITH } {} ;
|
|
|
|
|
PUSH nat 1 ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
SUB ;
|
|
|
|
|
ABS ;
|
|
|
|
|
SOME ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; CDR ; CAR ; CAR } ;
|
|
|
|
|
SENDER ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ PUSH unit Unit } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DUP ;
|
|
|
|
|
SIZE ;
|
|
|
|
|
PUSH nat 0 ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
COMPARE ;
|
|
|
|
|
EQ ;
|
|
|
|
|
IF { DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
DIP { DIP 4 { DUP } ; DIG 4 ; CAR ; CDR ; CDR ; NONE (set address) } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
PUSH unit Unit }
|
|
|
|
|
{ DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
DIP { DUP ; SOME ; DIP { DIP 4 { DUP } ; DIG 4 ; CAR ; CDR ; CDR } } ;
|
|
|
|
|
UPDATE ;
|
|
|
|
|
DIP { DIP 4 { DUP } ;
|
|
|
|
|
DIG 4 ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP 5 { DROP } ;
|
|
|
|
|
DUG 4 ;
|
|
|
|
|
PUSH unit Unit } ;
|
|
|
|
|
DIP { DROP 2 } } ;
|
|
|
|
|
DROP ;
|
|
|
|
|
DIP 2 { DUP } ;
|
|
|
|
|
DIG 2 ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP 5 } } ;
|
|
|
|
|
DIP { DROP 2 } } } |} ]
|
2019-11-26 03:30:12 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-contract" ; contract "vote.mligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
{ parameter
|
|
|
|
|
(or (pair %init
|
|
|
|
|
(pair (timestamp %beginning_time) (timestamp %finish_time))
|
|
|
|
|
(string %title))
|
|
|
|
|
(string %vote)) ;
|
|
|
|
|
storage
|
|
|
|
|
(pair (pair (pair (timestamp %beginning_time) (map %candidates string int))
|
|
|
|
|
(pair (timestamp %finish_time) (string %title)))
|
|
|
|
|
(set %voters address)) ;
|
2019-11-26 03:15:25 +04:00
|
|
|
code { DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
IF_LEFT
|
2019-11-26 03:30:12 +04:00
|
|
|
{ DUP ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR } ;
|
|
|
|
|
PAIR ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
CAR ;
|
2019-11-26 03:30:12 +04:00
|
|
|
DIP { PUSH int 0 ;
|
|
|
|
|
SOME ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { PUSH int 0 ;
|
|
|
|
|
SOME ;
|
|
|
|
|
EMPTY_MAP string int ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PUSH string "Yes" ;
|
|
|
|
|
UPDATE } ;
|
|
|
|
|
PUSH string "No" ;
|
2019-11-26 03:30:12 +04:00
|
|
|
UPDATE } ;
|
|
|
|
|
PAIR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DUP ; CAR ; CAR ; CDR ; DIP { DUP ; CAR ; CDR } ; PAIR } ;
|
2019-11-26 03:30:12 +04:00
|
|
|
PAIR ;
|
|
|
|
|
EMPTY_SET address ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
PAIR ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { DROP 2 } }
|
2019-11-26 03:30:12 +04:00
|
|
|
{ DUP ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR } ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DUP ;
|
2019-11-26 03:30:12 +04:00
|
|
|
CAR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DUP ; CDR ; CAR ; CAR ; CDR } ;
|
2019-11-26 03:30:12 +04:00
|
|
|
GET ;
|
|
|
|
|
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
2020-01-09 00:58:26 +04:00
|
|
|
CDR ;
|
2019-11-26 03:30:12 +04:00
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
|
|
|
|
CAR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
|
|
|
|
CAR ;
|
2019-11-26 03:30:12 +04:00
|
|
|
DIP { DUP ;
|
|
|
|
|
PUSH int 1 ;
|
|
|
|
|
ADD ;
|
|
|
|
|
SOME ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR ; CAR ; CAR ; CDR } } ;
|
2019-11-26 03:30:12 +04:00
|
|
|
UPDATE } ;
|
|
|
|
|
PAIR ;
|
2019-11-26 04:10:49 +04:00
|
|
|
DIP { DIP { DUP } ;
|
|
|
|
|
SWAP ;
|
2020-01-09 00:58:26 +04:00
|
|
|
CDR ;
|
2019-11-26 03:30:12 +04:00
|
|
|
CAR ;
|
|
|
|
|
CDR ;
|
|
|
|
|
CAR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR ; CAR ; CDR ; CDR } ;
|
2019-11-26 03:30:12 +04:00
|
|
|
PAIR } ;
|
|
|
|
|
PAIR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DIP { DUP } ; SWAP ; CDR ; CDR ; PUSH bool True ; SOURCE ; UPDATE } ;
|
2019-11-26 03:30:12 +04:00
|
|
|
PAIR ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
PAIR ;
|
2020-01-09 00:58:26 +04:00
|
|
|
DIP { DROP 3 } } ;
|
2019-11-26 03:15:25 +04:00
|
|
|
DIP { DROP } } } |}]
|
2019-12-17 00:10:31 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-contract" ; contract "implicit.mligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
{ parameter key_hash ;
|
|
|
|
|
storage unit ;
|
|
|
|
|
code { DUP ;
|
|
|
|
|
CAR ;
|
|
|
|
|
IMPLICIT_ACCOUNT ;
|
|
|
|
|
UNIT ;
|
|
|
|
|
NIL operation ;
|
|
|
|
|
PAIR ;
|
|
|
|
|
DIP { DROP 2 } } } |}]
|
2019-12-24 15:20:39 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_bad [ "compile-contract" ; contract "bad_type_operator.ligo" ; "main" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
|
|
|
|
ligo: bad type operator (TO_Map (unit,unit)):
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}]
|
2019-12-31 18:27:06 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
2020-01-17 19:35:53 +04:00
|
|
|
run_ligo_good [ "run-function" ; contract "failwith.ligo" ; "failer" ; "1" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
2020-01-17 20:02:54 +04:00
|
|
|
failwith("some_string") |}]
|
2020-01-08 14:54:21 +04:00
|
|
|
|
2020-01-17 19:35:53 +04:00
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "run-function" ; contract "failwith.ligo" ; "failer" ; "1" ; "--format=json" ] ;
|
|
|
|
|
[%expect {|
|
2020-01-17 20:02:54 +04:00
|
|
|
{"status":"ok","content":"failwith(\"some_string\")"} |}]
|
2020-01-02 18:02:02 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_bad [ "compile-contract" ; contract "bad_address_format.religo" ; "main" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
|
|
|
|
ligo: in file "bad_address_format.religo", line 2, characters 25-47. Badly formatted literal: address "KT1badaddr" {"location":"in file \"bad_address_format.religo\", line 2, characters 25-47"}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}]
|
2020-01-03 20:46:31 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_bad [ "compile-contract" ; contract "bad_timestamp.ligo" ; "main" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|
|
|
|
|
|
ligo: in file "bad_timestamp.ligo", line 5, characters 29-43. Badly formatted timestamp "badtimestamp": {"location":"in file \"bad_timestamp.ligo\", line 5, characters 29-43"}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}]
|
2020-01-06 21:51:43 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "dry-run" ; contract "redeclaration.ligo" ; "main" ; "unit" ; "0" ] ;
|
|
|
|
|
[%expect {|( [] , 0 ) |}]
|
|
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "dry-run" ; contract "double_main.ligo" ; "main" ; "unit" ; "0" ] ;
|
2020-01-08 14:54:21 +04:00
|
|
|
[%expect {|( [] , 2 ) |}]
|
2020-01-07 00:19:14 +04:00
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_good [ "compile-contract" ; contract "subtle_nontail_fail.mligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
{ parameter unit ;
|
|
|
|
|
storage unit ;
|
|
|
|
|
code { PUSH bool True ;
|
|
|
|
|
IF { PUSH string "This contract always fails" ; FAILWITH }
|
|
|
|
|
{ PUSH string "This contract still always fails" ; FAILWITH } } } |}]
|
|
|
|
|
|
|
|
|
|
let%expect_test _ =
|
|
|
|
|
(* TODO should not be bad? *)
|
2020-01-17 19:35:53 +04:00
|
|
|
run_ligo_good [ "dry-run" ; contract "subtle_nontail_fail.mligo" ; "main" ; "()" ; "()" ] ;
|
2020-01-07 00:19:14 +04:00
|
|
|
[%expect {|
|
2020-01-17 20:02:54 +04:00
|
|
|
failwith("This contract always fails") |}]
|
2020-01-07 00:19:14 +04:00
|
|
|
|
2020-01-20 22:40:45 +04:00
|
|
|
let%expect_test _ =
|
|
|
|
|
run_ligo_bad [ "compile-contract" ; bad_contract "self_in_lambda.mligo" ; "main" ] ;
|
|
|
|
|
[%expect {|
|
|
|
|
|
ligo: Wrong SELF_ADDRESS location: SELF_ADDRESS is only allowed at top-level
|
|
|
|
|
|
|
|
|
|
If you're not sure how to fix this error, you can
|
|
|
|
|
do one of the following:
|
|
|
|
|
|
|
|
|
|
* Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
|
|
|
|
|
* Ask a question on our Discord: https://discord.gg/9rhYaEt
|
|
|
|
|
* Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
|
|
|
|
|
* Check the changelog by running 'ligo changelog' |}]
|
