File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 11#!/usr/bin/fift -s
22"TonUtil.fif" include
33
4- { ."usage: " @' $0 type ." <complaint-boc> <file-base >" cr
4+ { ."usage: " @' $0 type ." <complaint-boc> <savefile >" cr
55 ."Removes proof cells from complaint." cr cr
66
77 ."<complaint-boc> is a filename of the serialized TL-B ValidatorComplaint boc." cr
8- ."Saves the result boc into `<file-base>.boc `." cr 1 halt
8+ ."Saves the result boc into `<savefile> `." cr 1 halt
99} : usage
1010$# 2 = { cr } { usage } cond
1111
1212$1 =: filename
13- $2 =: file-base
13+ $2 =: savefile
1414
1515filename file>B dup
16168 B| drop B>$ "b5ee9c72" $= { B>$ x>B? drop } if
@@ -86,5 +86,5 @@ b> =: result_cell
8686result_cell <s csr.
8787
8888result_cell 2 boc+>B
89- file-base +".boc" B>file
90-
89+ savefile tuck B>file
90+ ."(Saved to file " type .")" cr
You can’t perform that action at this time.
0 commit comments