mirror of
https://github.com/ton-blockchain/ton
synced 2025-02-12 19:22:37 +00:00
32 lines
1.1 KiB
Text
32 lines
1.1 KiB
Text
#!/usr/bin/create-state -s
|
|
{ dup tlb-type-lookup { nip } { "unknown TLB type " swap $+ abort } cond } : $>tlb
|
|
{ bl word $>tlb 1 'nop } ::_ tlb:
|
|
{ dup null? { drop true } {
|
|
<b true 1 i, swap ref, b> <s ExtraCurrencyCollection
|
|
tlb-validate-skip { empty? } { false } cond
|
|
} cond
|
|
} : cc-valid?
|
|
{ cc-valid? { ."(valid)" } { ."(invalid)" } cond } : .cc-valid
|
|
{ { dup .cc space .cc-valid } { ."<error>" } cond cr } : cshow
|
|
{ ."X = " over dup .cc space .cc-valid cr
|
|
."Y = " dup dup .cc space .cc-valid cr
|
|
."X + Y = " 2dup CC+? cshow
|
|
."X - Y = " 2dup CC-? cshow
|
|
."Y - X = " 2dup swap CC-? cshow
|
|
."X + X = " over dup CC+? cshow
|
|
."Y + Y = " dup dup CC+? cshow
|
|
."X - X = " over dup CC-? cshow
|
|
."Y - Y = " dup dup CC-? cshow
|
|
2drop ."********************" cr
|
|
} : one-test
|
|
CX{666666666666*$239+1000000000000*$-17} =: X
|
|
X CX{666666666666*$239+4444*$-17} one-test
|
|
X CX{666666666665*$239+4444*$-17} one-test
|
|
X CX{666666666667*$239+4444*$-17} one-test
|
|
X CX{666666666666*$239} one-test
|
|
X CX{666666666665*$239} one-test
|
|
X CX{666666666667*$239} one-test
|
|
X CX{1111*$1} one-test
|
|
X CX{0*$-17} one-test
|
|
X cc0 1 0 +newccpair one-test
|
|
X cc0 239 0 +newccpair one-test
|