Skip to content

Commit

Permalink
Removed balance assertion from deposit for testing
Browse files Browse the repository at this point in the history
  • Loading branch information
glottologist committed Oct 25, 2023
1 parent 06a7181 commit f571a33
Show file tree
Hide file tree
Showing 7 changed files with 95 additions and 719 deletions.
161 changes: 18 additions & 143 deletions batcher/michelson/btctz-vault-ghostnet.tz
Original file line number Diff line number Diff line change
Expand Up @@ -162,138 +162,13 @@
CONS ;
TRANSFER_TOKENS }
{ DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ;
SELF_ADDRESS ;
DUP 5 ;
CDR ;
CAR ;
CAR ;
CAR ;
DUP ;
GET 5 ;
IF_NONE { PUSH nat 101 ; FAILWITH } {} ;
DUP 2 ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
DUP 2 ;
COMPARE ;
EQ ;
IF { DIG 2 ;
DROP 2 ;
DUP 2 ;
CONTRACT %balance_response_fa12 nat ;
SWAP ;
CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ;
SWAP ;
IF_NONE
{ DROP ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
SWAP ;
COMPARE ;
EQ ;
IF { DUP 3 ;
CONTRACT %balance_response_fa2
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ;
SWAP ;
CONTRACT %balance_of
(pair (contract %callback
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))))
(list %requests (pair (address %owner) (nat %token_id)))) ;
SWAP ;
IF_NONE
{ DROP 2 ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP 2 ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ;
NIL (pair address nat) ;
DIG 4 ;
CAR ;
DUP 6 ;
PAIR ;
CONS ;
DIG 3 ;
PAIR ;
TRANSFER_TOKENS } } }
{ DROP 2 ; PUSH nat 108 ; FAILWITH } } ;
NIL operation ;
SWAP ;
CONS ;
DUP 6 ;
CAR ;
CDR ;
CAR ;
ITER { CDR ;
SWAP ;
DUP 2 ;
CAR ;
GET 5 ;
IF_NONE { PUSH nat 101 ; FAILWITH } {} ;
DUP 3 ;
CAR ;
GET 8 ;
IF_NONE { PUSH nat 108 ; FAILWITH } {} ;
PUSH string "FA2 standard" ;
DUP 2 ;
COMPARE ;
EQ ;
IF { DIG 3 ;
DROP 2 ;
DUP 3 ;
CONTRACT %balance_response_fa12 nat ;
SWAP ;
CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ;
SWAP ;
IF_NONE
{ DROP ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DROP ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } }
{ PUSH string "FA1.2 standard" ;
SWAP ;
COMPARE ;
EQ ;
IF { DUP 4 ;
CONTRACT %balance_response_fa2
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ;
SWAP ;
CONTRACT %balance_of
(pair (contract %callback
(list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))))
(list %requests (pair (address %owner) (nat %token_id)))) ;
SWAP ;
IF_NONE
{ DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH }
{ SWAP ;
IF_NONE
{ DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH }
{ PUSH mutez 0 ;
NIL (pair address nat) ;
DIG 5 ;
CAR ;
CAR ;
DUP 7 ;
PAIR ;
CONS ;
DIG 3 ;
PAIR ;
TRANSFER_TOKENS } } }
{ DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ;
CONS } ;
SWAP ;
DROP ;
DUP 5 ;
DUP 4 ;
CDR ;
CAR ;
CAR ;
DUP ;
CAR ;
DUP 5 ;
DUP 4 ;
CAR ;
DUP 2 ;
GET 8 ;
Expand Down Expand Up @@ -330,37 +205,37 @@
AND ;
AND ;
NOT ;
IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH }
{ DUP 4 ;
IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH }
{ DUP 3 ;
CDR ;
DUP 7 ;
DUP 6 ;
CDR ;
CDR ;
CAR ;
ADD ;
DUP 2 ;
DUP 6 ;
DUP 5 ;
CDR ;
DIG 3 ;
CDR ;
ADD ;
UPDATE 2 ;
DUP 7 ;
DUP 6 ;
CDR ;
CDR ;
CDR ;
DUP ;
CAR ;
DUP 8 ;
DUP 7 ;
MEM ;
IF { CDR ;
DUP 7 ;
DUP 6 ;
GET ;
IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } }
{ DROP ; NONE (pair (pair address nat) mutez) } ;
IF_NONE
{ PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR }
{ DIG 5 ;
{ PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR }
{ DIG 4 ;
CDR ;
DUP 2 ;
CAR ;
Expand All @@ -372,8 +247,8 @@
DIG 2 ;
UPDATE 2 ;
UPDATE 1 } ;
DUP 6 ;
DUP 7 ;
DUP 8 ;
CDR ;
DUP ;
CDR ;
Expand All @@ -385,27 +260,27 @@
CDR ;
DUP ;
CDR ;
DIG 8 ;
DIG 7 ;
CDR ;
CDR ;
CDR ;
DUP ;
CAR ;
DUP 10 ;
DUP 9 ;
MEM ;
IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 }
IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 }
{ DUP ;
DUP 2 ;
CAR ;
DUP 11 ;
DUP 10 ;
PUSH bool True ;
SWAP ;
UPDATE ;
UPDATE 1 ;
SWAP ;
CDR ;
DIG 5 ;
DIG 9 ;
DIG 8 ;
SWAP ;
SOME ;
SWAP ;
Expand All @@ -422,7 +297,7 @@
UPDATE 1 ;
UPDATE 1 ;
UPDATE 2 } ;
SWAP ;
NIL operation ;
DIG 2 ;
CONS }
{ DUP 2 ;
Expand Down
Loading

0 comments on commit f571a33

Please sign in to comment.