Could you add a concrete example of how to run the tool?

[qiana0223]

I am interested in trying this tool. However, I am confused about how to provide arguments.

python3 run.py --org "" --config "SmartContractBA" --task "" --name "" --model ""

What should be put as a value for "--org"? The same for "--task", and "--name".

It is much better if you could show us a concrete example of the command with arguments when trying to use this tool to evaluate a smart contract.

Thanks.

[WeiZ-boot]

both -org and -name is for user to label their project, org is short of organization, name is the title of task. You can directly input your souce code in to task