add main fun arg init values#20

bjjwwang wants to merge 1 commit intoSVF-tools:mainSVF-tools/Software-Security-Analysis:mainfrom

bjjwwang:0729-publicbjjwwang/Software-Security-Analysis-2:0729-publicCopy head branch name to clipboard