balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
a19e2ceb3b
ligo/src/bin/expect_tests/contract_tests.ml

1209 lines
46 KiB
OCaml
Raw Normal View History

Add some cli expect tests
2019-11-22 00:06:34 +04:00
open Cli_expect
let contract basename =
"../../test/contracts/" ^ basename
self in lambda negative test
2020-01-20 22:40:45 +04:00
let bad_contract basename =
"../../test/contracts/negative/" ^ basename
Add some cli expect tests
2019-11-22 00:06:34 +04:00
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
let%expect_test _ =
run_ligo_good [ "measure-contract" ; contract "coase.ligo" ; "main" ] ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
[%expect {| 1747 bytes |}] ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
run_ligo_good [ "measure-contract" ; contract "multisig.ligo" ; "main" ] ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
[%expect {| 1324 bytes |}] ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
run_ligo_good [ "measure-contract" ; contract "multisig-v2.ligo" ; "main" ] ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
[%expect {| 3231 bytes |}] ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
run_ligo_good [ "measure-contract" ; contract "vote.mligo" ; "main" ] ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
[%expect {| 642 bytes |}] ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
add some CLI tests
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)" ] ;
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
[%expect {|
Print records and variants in lexicographic order
2020-02-07 19:33:09 +04:00
ligo: different kinds: {"a":"record[card_patterns -> (TO_Map (nat,record[coefficient -> mutez , quantity -> nat])) , cards -> (TO_Map (nat,record[card_owner -> address , card_pattern -> nat])) , next_id -> nat]","b":"sum[Buy_single -> record[card_to_buy -> nat] , Sell_single -> record[card_to_sell -> nat] , Transfer_single -> record[card_to_transfer -> nat , destination -> address]]"}
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
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' |}] ;
add some CLI tests
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" ] ;
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
[%expect {|
Print records and variants in lexicographic order
2020-02-07 19:33:09 +04:00
ligo: different kinds: {"a":"sum[Buy_single -> record[card_to_buy -> nat] , Sell_single -> record[card_to_sell -> nat] , Transfer_single -> record[card_to_transfer -> nat , destination -> address]]","b":"record[card_patterns -> (TO_Map (nat,record[coefficient -> mutez , quantity -> nat])) , cards -> (TO_Map (nat,record[card_owner -> address , card_pattern -> nat])) , next_id -> nat]"}
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
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' |}] ;
add some CLI tests
2019-12-18 19:35:17 +04:00
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
()
add --predecessor-timestamp to compile-storage/parameter
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" |}]
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
let%expect_test _ =
Add some cli expect tests
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)) ;
Mini_c: Inlining optimization
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 ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
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 } ;
DIP 2 { DUP } ;
DIG 2 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 3 { DUP } ;
DIG 3 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CDR ;
PUSH nat 1 ;
ADD ;
SWAP ;
CAR ;
PAIR ;
DIP 4 { DUP } ;
DIG 4 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 6 { DUP } ;
DIG 6 ;
DIP { DIP { DUP } ;
SWAP ;
SOME ;
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CAR } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; CDR } ;
PAIR ;
PAIR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
CDR ;
DIP { DIP 7 { DUP } ;
DIG 7 ;
Examples: don't use SOURCE
2020-01-21 12:24:16 +04:00
SENDER ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
PAIR ;
SOME ;
DIP { DIP { DUP } ; SWAP ; CAR ; CDR } } ;
UPDATE ;
DIP { DUP ; CDR ; SWAP ; CAR ; CAR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
DIP { DUP } ;
SWAP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CDR ;
PUSH nat 1 ;
ADD ;
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
NIL operation ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DROP 11 } }
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
{ DUP ;
DIP { DIP 2 { DUP } ; DIG 2 } ;
PAIR ;
DUP ;
CAR ;
DIP { DUP } ;
SWAP ;
CDR ;
DIP { DUP } ;
SWAP ;
DIP { DUP ; CAR ; CDR } ;
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DUP ;
CAR ;
Examples: don't use SOURCE
2020-01-21 12:24:16 +04:00
SENDER ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
SWAP ;
COMPARE ;
NEQ ;
IF { PUSH string "This card doesn't belong to you" ; FAILWITH }
{ PUSH unit Unit } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CDR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CAR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CDR ;
PUSH nat 1 ;
SWAP ;
SUB ;
ABS ;
SWAP ;
CAR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 4 { DUP } ;
DIG 4 ;
DIP 4 { DUP } ;
DIG 4 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CDR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP { DUP } ;
SWAP ;
SOME ;
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CAR } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; CDR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 6 { DUP } ;
DIG 6 ;
DIP { DUP ; CAR ; CDR ; NONE (pair (address %card_owner) (nat %card_pattern)) } ;
UPDATE ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP 2 { DUP } ;
DIG 2 ;
CAR ;
DIP { DIP 2 { DUP } ; DIG 2 ; CDR } ;
MUL ;
Examples: don't use SOURCE
2020-01-21 12:24:16 +04:00
SENDER ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
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 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 4 { DUP } ;
DIG 4 ;
DIP 4 { DUP } ;
DIG 4 ;
DIP { DUP ; CDR ; SWAP ; CAR ; CAR } ;
SWAP ;
PAIR ;
PAIR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DROP 13 } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DROP } }
Add some cli expect tests
2019-11-22 00:06:34 +04:00
{ DUP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DIP { DUP } ; SWAP } ;
PAIR ;
DUP ;
Add some cli expect tests
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 ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Add some cli expect tests
2019-11-22 00:06:34 +04:00
DUP ;
CAR ;
Examples: don't use SOURCE
2020-01-21 12:24:16 +04:00
SENDER ;
Add some cli expect tests
2019-11-22 00:06:34 +04:00
SWAP ;
COMPARE ;
NEQ ;
IF { PUSH string "This card doesn't belong to you" ; FAILWITH }
{ PUSH unit Unit } ;
DIP 3 { DUP } ;
DIG 3 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 5 { DUP } ;
DIG 5 ;
Add some cli expect tests
2019-11-22 00:06:34 +04:00
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 2 { DUP } ;
DIG 2 ;
DIP 6 { DUP } ;
DIG 6 ;
CDR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
SOME ;
DIP { DIP 3 { DUP } ; DIG 3 } } ;
Add some cli expect tests
2019-11-22 00:06:34 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; CAR } ;
Add some cli expect tests
2019-11-22 00:06:34 +04:00
SWAP ;
PAIR ;
PAIR ;
NIL operation ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DROP 7 } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DROP 2 } } } |} ]
Add command for measuring contracts
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)))
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
(list %signatures (pair (key_hash %0) (signature %1)))) ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
storage
(pair (pair (list %auth key) (nat %counter)) (pair (string %id) (nat %threshold))) ;
code { DUP ;
CAR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DUP ; CDR } ;
PAIR ;
DUP ;
CAR ;
DIP { DUP } ;
SWAP ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
CDR ;
DIP { DUP } ;
SWAP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CAR ;
CDR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
DIP { DIP 2 { DUP } ; DIG 2 } ;
PAIR ;
DIP { DIP { DUP } ; SWAP } ;
PAIR ;
DIP 3 { DUP } ;
DIG 3 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CAR ;
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CDR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
COMPARE ;
NEQ ;
IF { PUSH string "Counters does not match" ; FAILWITH }
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DIP 3 { DUP } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIG 3 ;
CDR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CAR ; PUSH nat 0 ; SWAP ; PAIR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
ITER { SWAP ;
PAIR ;
DUP ;
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DUP } ;
SWAP ;
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CDR ;
DIP 2 { DUP } ;
DIG 2 ;
CDR ;
DIP 2 { DUP } ;
DIG 2 ;
DIP { DIP { DUP } ; SWAP } ;
PAIR ;
DIP 3 { DUP } ;
DIG 3 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
IF_CONS
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DIP 4 { DUP } ;
DIG 4 ;
DIP 4 { DUP } ;
DIG 4 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP { DUP } ; SWAP ; HASH_KEY } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
COMPARE ;
EQ ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DIP 5 { DUP } ;
DIG 5 ;
DIP 2 { DUP } ;
DIG 2 ;
DIP { DIP 5 { DUP } ;
DIG 5 ;
CDR ;
DIP { DIP 10 { DUP } ;
DIG 10 ;
DIP { DIP 12 { DUP } ; DIG 12 ; CAR ; CAR } ;
PAIR ;
DIP { DIP 11 { DUP } ; DIG 11 ; CDR ; CAR ; CHAIN_ID ; SWAP ; PAIR } ;
PAIR ;
PACK } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CHECK_SIGNATURE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DIP 6 { DUP } ;
DIG 6 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
PUSH nat 1 ;
ADD ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
DIP { DUP } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DROP 2 } }
{ PUSH string "Invalid signature" ; FAILWITH } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 2 { DUP } ;
DIG 2 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 3 } }
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DUP } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 4 { DUP } ;
DIG 4 ;
DIP 4 { DUP } ;
DIG 4 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SWAP ;
CDR ;
SWAP ;
PAIR ;
CAR ;
DIP { DUP } ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 4 } }
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DUP } ;
DIP 5 { DUP } ;
DIG 5 ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 6 { DUP } ;
DIG 6 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
DIP 2 { DUP } ;
DIG 2 ;
CDR ;
SWAP ;
CAR ;
PAIR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
DUP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DUP } ;
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
DIP 3 { DUP } ;
DIG 3 ;
CAR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
CAR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 7 } } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 3 { DUP } ;
DIG 3 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DUP } ;
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CDR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
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 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 5 { DUP } ;
DIG 5 ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CAR ;
CDR ;
PUSH nat 1 ;
ADD ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; CAR } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
DIP { DUP } ;
SWAP ;
DIP { DROP 2 } } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 3 { DUP } ;
DIG 3 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
DIP { DUP } ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 3 } } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
CAR ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
UNIT ;
EXEC ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 7 } } } |} ]
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
let%expect_test _ =
run_ligo_good [ "compile-contract" ; contract "multisig-v2.ligo" ; "main" ] ;
[%expect {|
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
{ parameter
(or (or (unit %default) (lambda %send bytes (list operation)))
(lambda %withdraw bytes (list operation))) ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
storage
Fix semantic merge conflict w/ expect tests
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))) ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
code { DUP ;
CDR ;
DIP { DUP } ;
SWAP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
CAR ;
Fix semantic merge conflict w/ expect tests
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 } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 2 { DUP } ;
DIG 2 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CAR ;
DUP ;
PACK ;
DUP ;
SIZE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 3 { DUP } ; DIG 3 ; CAR ; CAR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
COMPARE ;
GT ;
IF { PUSH string "Message size exceed maximum limit" ; FAILWITH }
{ PUSH unit Unit } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 4 { DUP } ;
DIG 4 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
EMPTY_SET address ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
PAIR ;
DIP 2 { DUP } ;
DIG 2 ;
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CDR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
GET ;
IF_NONE
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DIP 5 { DUP } ;
DIG 5 ;
DIP 6 { DUP } ;
DIG 6 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CAR ;
SENDER ;
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PUSH nat 1 ;
ADD ;
SOME ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 6 { DUP } ; DIG 6 ; CDR ; CAR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SENDER ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CAR ; SWAP ; CDR ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PAIR ;
PAIR ;
SWAP ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
CAR ;
DIP { DUP } ;
PAIR ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
EMPTY_SET address ;
PUSH bool True ;
SENDER ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SWAP ;
CDR ;
SWAP ;
PAIR ;
DIP { DROP } }
{ DIP 6 { DUP } ;
DIG 6 ;
DIP { DUP } ;
SWAP ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SENDER ;
MEM ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DUP }
{ DIP 7 { DUP } ;
DIG 7 ;
DIP 8 { DUP } ;
DIG 8 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CAR ;
SENDER ;
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PUSH nat 1 ;
ADD ;
SOME ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 8 { DUP } ; DIG 8 ; CDR ; CAR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SENDER ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CAR ; SWAP ; CDR ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PAIR ;
PAIR ;
SWAP ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
DIP { DUP } ;
SWAP ;
DIP { DROP 2 } } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 3 { DUP } ;
DIG 3 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
DIP { DUP } ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 3 { DUP } ;
DIG 3 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PUSH bool True ;
SENDER ;
UPDATE ;
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CDR ;
SWAP ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 3 } } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
CAR ;
DIP { DUP } ;
SWAP ;
CDR ;
DUP ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CAR ;
SENDER ;
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP { DUP } ; SWAP ; CAR ; CDR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
COMPARE ;
GT ;
IF { PUSH string "Maximum number of proposal reached" ; FAILWITH }
{ PUSH unit Unit } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 8 { DUP } ;
DIG 8 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 3 { DUP } ; DIG 3 } ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DIP 7 { DUP } ; DIG 7 ; NIL operation ; SWAP ; PAIR } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
PAIR ;
DIP { DIP 2 { DUP } ; DIG 2 } ;
PAIR ;
DIP 4 { DUP } ;
DIG 4 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SIZE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 3 { DUP } ; DIG 3 ; CDR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
COMPARE ;
GE ;
IF { DIP 3 { DUP } ;
DIG 3 ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 9 { DUP } ;
DIG 9 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 4 { DUP } ; DIG 4 ; CAR ; CDR ; CDR ; NONE (set address) } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; DUP ; CAR ; SWAP ; CDR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SWAP ;
PAIR ;
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CDR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DIP 10 { DUP } ; DIG 10 } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
EXEC ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
DIP 2 { DUP } ;
DIG 2 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CDR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DIP 11 { DUP } ; DIG 11 } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CONCAT ;
SHA256 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CAR ; SWAP ; CDR ; DUP ; CDR ; SWAP ; CAR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SWAP ;
PAIR ;
PAIR ;
SWAP ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CAR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
ITER { SWAP ;
PAIR ;
DUP ;
CAR ;
DIP { DUP } ;
SWAP ;
CDR ;
CAR ;
DIP 2 { DUP } ;
DIG 2 ;
CDR ;
CDR ;
DIP { DUP } ;
SWAP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
PAIR ;
DIP { DIP 2 { DUP } ; DIG 2 } ;
PAIR ;
DIP 2 { DUP } ;
DIG 2 ;
DIP { DIP 12 { DUP } ; DIG 12 } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
MEM ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DIP 3 { DUP } ;
DIG 3 ;
DIP 3 { DUP } ;
DIG 3 ;
DIP { DIP 2 { DUP } ;
DIG 2 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PUSH nat 1 ;
SWAP ;
SUB ;
ABS ;
SOME ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 4 { DUP } ; DIG 4 ; CDR ; CAR ; CAR } } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CAR ; SWAP ; CDR ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PAIR ;
PAIR ;
SWAP ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
CAR ;
DIP { DUP } ;
PAIR ;
DIP { DROP } }
{ DUP } ;
DIP 5 { DUP } ;
DIG 5 ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 6 { DUP } ;
DIG 6 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIP 2 { DUP } ;
DIG 2 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CDR ;
DIP { DROP ; CDR } ;
PAIR ;
CAR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 6 } } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 4 { DUP } ;
DIG 4 ;
DIP 4 { DUP } ;
DIG 4 ;
SWAP ;
CAR ;
PAIR ;
DIP 3 { DUP } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIG 3 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; DUP ; CAR ; SWAP ; CDR ; CAR } ;
SWAP ;
PAIR ;
SWAP ;
PAIR ;
PAIR ;
DIP 2 { DUP } ;
DIG 2 ;
SWAP ;
CAR ;
PAIR ;
CAR ;
DIP { DUP } ;
PAIR ;
DIP { DROP 4 } }
{ DUP ;
DIP 4 { DUP } ;
DIG 4 ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 10 { DUP } ;
DIG 10 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 6 { DUP } ;
DIG 6 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SOME ;
DIP { DIP 5 { DUP } ; DIG 5 ; CAR ; CDR ; CDR } } ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; DUP ; CAR ; SWAP ; CDR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SWAP ;
PAIR ;
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SWAP ;
CAR ;
PAIR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
CAR ;
CDR ;
CDR ;
DIP { DUP ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 15 } } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIP { DROP } }
{ DUP ;
DIP { DIP { DUP } ; SWAP } ;
PAIR ;
DUP ;
CDR ;
DIP { DUP } ;
SWAP ;
CAR ;
PACK ;
DUP ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP { DUP } ; SWAP } ;
PAIR ;
DIP { DUP } ;
SWAP ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CDR ; CDR } ;
GET ;
IF_NONE
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
{ DUP }
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
{ DUP ;
PUSH bool False ;
SENDER ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP 4 { DUP } ;
DIG 4 ;
DIP 2 { DUP } ;
DIG 2 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SIZE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP { DUP } ; SWAP ; SIZE } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
COMPARE ;
NEQ ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DIP 5 { DUP } ;
DIG 5 ;
DIP 6 { DUP } ;
DIG 6 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
CDR ;
CAR ;
CAR ;
SENDER ;
GET ;
Remove useless constants: * C_HASH (removed) * C_MAP_GET --replaced--> C_MAP_FIND_OPT * C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 21:06:36 +04:00
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PUSH nat 1 ;
SWAP ;
SUB ;
ABS ;
SOME ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 6 { DUP } ; DIG 6 ; CDR ; CAR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SENDER ;
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CAR ; SWAP ; CDR ; DUP ; CDR ; SWAP ; CAR ; CDR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
PAIR ;
PAIR ;
SWAP ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
DIP { DUP } ;
SWAP ;
DIP { DROP 2 } }
{ DUP } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DUP ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 3 { DUP } ;
DIG 3 ;
DIP { DIP 6 { DUP } ; DIG 6 } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
PAIR ;
DIP { DUP } ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 4 { DUP } ;
DIG 4 ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SIZE ;
PUSH nat 0 ;
SWAP ;
COMPARE ;
EQ ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
IF { DIP { DUP } ;
SWAP ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 8 { DUP } ;
DIG 8 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DIP 2 { DUP } ; DIG 2 ; CAR ; CDR ; CDR ; NONE (set address) } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; DUP ; CAR ; SWAP ; CDR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SWAP ;
PAIR ;
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP } ;
SWAP ;
CAR ;
DIP { DUP } ;
PAIR ;
DIP { DROP } }
{ DUP ;
DIP 2 { DUP } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIG 2 ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 9 { DUP } ;
DIG 9 ;
DIP { DIP 6 { DUP } ;
DIG 6 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SOME ;
DIP { DIP 3 { DUP } ; DIG 3 ; CAR ; CDR ; CDR } } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
UPDATE ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DIP { DUP ; CDR ; SWAP ; CAR ; DUP ; CAR ; SWAP ; CDR ; CAR } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
SWAP ;
PAIR ;
SWAP ;
PAIR ;
PAIR ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SWAP ;
CAR ;
PAIR } ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP 7 { DUP } ;
DIG 7 ;
DIP 3 { DUP } ;
DIG 3 ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
SWAP ;
CAR ;
PAIR ;
DIP { DUP } ;
SWAP ;
CAR ;
CDR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
DIP { DUP } ;
SWAP ;
CDR ;
SWAP ;
CAR ;
PAIR ;
DIP { DUP } ;
SWAP ;
CAR ;
CDR ;
SWAP ;
CDR ;
SWAP ;
PAIR ;
DIP { DUP } ;
SWAP ;
CDR ;
SWAP ;
CAR ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 7 } } ;
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
DUP ;
CDR ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
NIL operation ;
PAIR ;
make while_loop, for_int and for_collect more similar
2020-02-19 17:18:06 +04:00
DIP { DROP 6 } } ;
Fix semantic merge conflict w/ expect tests
2019-11-29 20:00:54 +04:00
DIP { DROP 2 } } } |} ]
Add command for measuring contracts
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)) ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
code { DUP ;
CAR ;
IF_LEFT
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
{ DUP ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DIP { DUP } ; SWAP ; CDR } ;
PAIR ;
Mini_c: Identify more pure constants
2019-11-26 04:10:49 +04:00
DUP ;
CAR ;
CAR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
CAR ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
DIP { PUSH int 0 ;
SOME ;
Mini_c: Identify more pure constants
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" ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
UPDATE } ;
PAIR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DUP ; CAR ; CAR ; CDR ; DIP { DUP ; CAR ; CDR } ; PAIR } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
PAIR ;
EMPTY_SET address ;
SWAP ;
PAIR ;
NIL operation ;
PAIR ;
Mini_c: Identify more pure constants
2019-11-26 04:10:49 +04:00
DIP { DROP 2 } }
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
{ DUP ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DIP { DUP } ; SWAP ; CDR } ;
PAIR ;
DUP ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
CAR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DUP ; CDR ; CAR ; CAR ; CDR } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
GET ;
IF_NONE { PUSH string "MAP FIND" ; FAILWITH } {} ;
Mini_c: Identify more pure constants
2019-11-26 04:10:49 +04:00
DIP { DUP } ;
SWAP ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
CDR ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
CAR ;
CAR ;
CAR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DIP { DUP } ;
SWAP ;
CAR ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
DIP { DUP ;
PUSH int 1 ;
ADD ;
SOME ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DIP { DUP } ; SWAP ; CDR ; CAR ; CAR ; CDR } } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
UPDATE } ;
PAIR ;
Mini_c: Identify more pure constants
2019-11-26 04:10:49 +04:00
DIP { DIP { DUP } ;
SWAP ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
CDR ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
CAR ;
CDR ;
CAR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DIP { DUP } ; SWAP ; CDR ; CAR ; CDR ; CDR } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
PAIR } ;
PAIR ;
Examples: don't use SOURCE
2020-01-21 12:24:16 +04:00
DIP { DIP { DUP } ; SWAP ; CDR ; CDR ; PUSH bool True ; SENDER ; UPDATE } ;
Add command for measuring contracts
2019-11-26 03:30:12 +04:00
PAIR ;
NIL operation ;
PAIR ;
Fix a bug, test added: A never accounted message was not adding anything to the map
2020-01-09 00:58:26 +04:00
DIP { DROP 3 } } ;
Mini_c: Inlining optimization
2019-11-26 03:15:25 +04:00
DIP { DROP } } } |}]
Fix IMPLICIT_ACCOUNT, again and this time add regression expect test
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 } } } |}]
t_operator can not throw exceptions
2019-12-24 15:20:39 +04:00
let%expect_test _ =
run_ligo_bad [ "compile-contract" ; contract "bad_type_operator.ligo" ; "main" ] ;
[LIGO-347] Add changelog
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' |}]
propagate failwith strings (also support for others) in the error
2019-12-31 18:27:06 +04:00
let%expect_test _ =
add test & promote
2020-01-17 19:35:53 +04:00
run_ligo_good [ "run-function" ; contract "failwith.ligo" ; "failer" ; "1" ] ;
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
[%expect {|
review request (more regular output)
2020-01-17 20:02:54 +04:00
failwith("some_string") |}]
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
add test & promote
2020-01-17 19:35:53 +04:00
let%expect_test _ =
run_ligo_good [ "run-function" ; contract "failwith.ligo" ; "failer" ; "1" ; "--format=json" ] ;
[%expect {|
review request (more regular output)
2020-01-17 20:02:54 +04:00
{"status":"ok","content":"failwith(\"some_string\")"} |}]
test & dune promote
2020-01-02 18:02:02 +04:00
let%expect_test _ =
run_ligo_bad [ "compile-contract" ; contract "bad_address_format.religo" ; "main" ] ;
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
[%expect {|
removing assign, tuples, sequences,
2019-12-04 21:30:52 +04:00
ligo: in file "bad_address_format.religo", line 2, characters 25-47. Badly formatted literal: @"KT1badaddr" {"location":"in file \"bad_address_format.religo\", line 2, characters 25-47"}
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
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' |}]
negative timestamp literal test
2020-01-03 20:46:31 +04:00
let%expect_test _ =
run_ligo_bad [ "compile-contract" ; contract "bad_timestamp.ligo" ; "main" ] ;
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
[%expect {|
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts
2020-02-10 22:33:04 +04:00
ligo: in file "bad_timestamp.ligo", line 7, characters 30-44. Badly formatted timestamp "badtimestamp": {"location":"in file \"bad_timestamp.ligo\", line 7, characters 30-44"}
[LIGO-347] Add changelog
2020-01-08 14:54:21 +04:00
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' |}]
add tests
2020-01-06 21:51:43 +04:00
let%expect_test _ =
run_ligo_good [ "dry-run" ; contract "redeclaration.ligo" ; "main" ; "unit" ; "0" ] ;
Print numeric records as tuples, better typer error messages for records & tuples
2020-02-07 22:46:01 +04:00
[%expect {|( list[] , 0 ) |}]
add tests
2020-01-06 21:51:43 +04:00
let%expect_test _ =
run_ligo_good [ "dry-run" ; contract "double_main.ligo" ; "main" ; "unit" ; "0" ] ;
Print numeric records as tuples, better typer error messages for records & tuples
2020-02-07 22:46:01 +04:00
[%expect {|( list[] , 2 ) |}]
Support always-failing conditionals
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? *)
add test & promote
2020-01-17 19:35:53 +04:00
run_ligo_good [ "dry-run" ; contract "subtle_nontail_fail.mligo" ; "main" ; "()" ; "()" ] ;
Support always-failing conditionals
2020-01-07 00:19:14 +04:00
[%expect {|
review request (more regular output)
2020-01-17 20:02:54 +04:00
failwith("This contract always fails") |}]
Support always-failing conditionals
2020-01-07 00:19:14 +04:00
self in lambda negative test
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
test for compile-storage
2020-01-27 14:42:32 +04:00
* Check the changelog by running 'ligo changelog' |}]
let%expect_test _ =
run_ligo_good [ "compile-storage" ; contract "big_map.ligo" ; "main" ; "(big_map1,unit)" ] ;
[%expect {|
Print records and variants in lexicographic order
2020-02-07 19:33:09 +04:00
(Pair { Elt 23 0 ; Elt 42 0 } Unit) |}]
fix regression of comparison of key_hash and add a test for it
2020-02-13 19:44:21 +04:00
let%expect_test _ =
run_ligo_good [ "compile-contract" ; contract "key_hash_comparable.ligo" ; "main" ] ;
[%expect {|
{ parameter int ;
storage (pair (map %one key_hash nat) (big_map %two key_hash bool)) ;
Allow using top level variables defined in source code in dry-run PARAMETER and STORAGE
2020-02-19 19:10:50 +04:00
code { DUP ; CDR ; NIL operation ; PAIR ; DIP { DROP } } } |}]
let%expect_test _ =
run_ligo_good [ "dry-run" ; contract "super-counter.mligo" ; "main" ; "test_param" ; "test_storage" ] ;
[%expect {|
typer: checks for constructor redundancy
2020-02-26 21:54:16 +04:00
( list[] , 3 ) |}]
let%expect_test _ =
run_ligo_bad [ "compile-contract" ; bad_contract "redundant_constructors.mligo" ; "main" ] ;
[%expect {|
ligo: redundant constructor: {"constructor":"Add","environment":"- E[]\tT[union_a -> sum[Add -> int , Remove -> int]] ]"}
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
create_contract: add some tests
2020-02-28 22:49:51 +04:00
* Check the changelog by running 'ligo changelog' |}]
let%expect_test _ =
run_ligo_bad [ "compile-contract" ; bad_contract "create_contract_toplevel.mligo" ; "main" ] ;
[%expect {|
more tests
2020-03-02 15:53:10 +04:00
ligo: in file "create_contract_toplevel.mligo", line 4, character 35 to line 8, character 8. No free variable allowed in this lambda: variable 'store' {"expression":"CREATE_CONTRACT(lambda (#P : ( nat * string ):Some(( nat * string ))) : None return let rhs#752 = #P in let p = rhs#752.0 in let s = rhs#752.1 in ( list[] : (TO_list(operation)) , store ) , NONE() : (TO_option(key_hash)) , 300000000mutez , \"un\")","location":"in file \"create_contract_toplevel.mligo\", line 4, character 35 to line 8, character 8"}
create_contract: add some tests
2020-02-28 22:49:51 +04:00
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' |}] ;
run_ligo_bad [ "compile-contract" ; bad_contract "create_contract_var.mligo" ; "main" ] ;
[%expect {|
more tests
2020-03-02 15:53:10 +04:00
ligo: in file "create_contract_var.mligo", line 6, character 35 to line 10, character 5. No free variable allowed in this lambda: variable 'a' {"expression":"CREATE_CONTRACT(lambda (#P : ( nat * int ):Some(( nat * int ))) : None return let rhs#755 = #P in let p = rhs#755.0 in let s = rhs#755.1 in ( list[] : (TO_list(operation)) , a ) , NONE() : (TO_option(key_hash)) , 300000000mutez , 1)","location":"in file \"create_contract_var.mligo\", line 6, character 35 to line 10, character 5"}
create_contract: add some tests
2020-02-28 22:49:51 +04:00
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' |}] ;
more tests
2020-03-02 15:53:10 +04:00
run_ligo_bad [ "compile-contract" ; bad_contract "create_contract_no_inline.mligo" ; "main" ] ;
[%expect {|
ligo: in file "create_contract_no_inline.mligo", line 9, characters 19-89. CREATE_CONTRACT first argument must be inlined: contract code can be inlined using a lambda {"expression":"CREATE_CONTRACT(dummy_contract , NONE() : (TO_option(key_hash)) , 300000000mutez , 1)","location":"in file \"create_contract_no_inline.mligo\", line 9, characters 19-89"}
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' |}] ;
create_contract: add some tests
2020-02-28 22:49:51 +04:00
run_ligo_good [ "compile-contract" ; contract "create_contract.mligo" ; "main" ] ;
[%expect {|
{ parameter string ;
storage string ;
code { PUSH string "un" ;
PUSH mutez 300000000 ;
NONE key_hash ;
CREATE_CONTRACT
{ parameter nat ;
storage string ;
code { PUSH string "one" ; NIL operation ; PAIR ; DIP { DROP } } } ;
PAIR ;
DUP ;
CAR ;
NIL operation ;
SWAP ;
CONS ;
DIP { DIP { DUP } ; SWAP ; CDR } ;
PAIR ;
DIP { DROP 2 } } } |}]
Reference in New Issue Copy Permalink