-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Description
Traceback (most recent call last):
File "run.py", line 1, in <module>
from SCRepair import CLI
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/CLI.py", line 167, in <module>
main()
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/CLI.py", line 130, in main
loop.run_until_complete(task) # To process the cancel request
File "/usr/local/lib/python3.7/asyncio/base_events.py", line 584, in run_until_complete
return future.result()
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/CLI.py", line 123, in main
loop.run_until_complete(waitTask)
File "/usr/local/lib/python3.7/asyncio/base_events.py", line 584, in run_until_complete
return future.result()
File "/usr/local/lib/python3.7/asyncio/tasks.py", line 416, in wait_for
return fut.result()
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/CLI.py", line 146, in repair
args.synthesizerArg, args.coreArg)
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/CR.py", line 206, in __init__
detectorArgs, synthesizerArgs)
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/IN.py", line 287, in __init__
clsProblemDectors, detectorArgs)
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/IN.py", line 318, in instantiateProblemDectors
for pd in (clsPd(args=detectorArgs) for clsPd in clsProblemDectors)
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/IN.py", line 316, in <dictcomp>
return {
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/IN.py", line 318, in <genexpr>
for pd in (clsPd(args=detectorArgs) for clsPd in clsProblemDectors)
File "/home/hryao/smartContract/contractVerTools/SCRepair/SCRepair/ETC.py", line 65, in __init__
dirTestCases = Path(args['PathTestCases'])
KeyError: 'PathTestCases'
I got this error when running CLI.py.
[Q1] Are the test case files necessary when running CLI.py? I do not see relative arguments in "usage".
usage: run.py [-h] --targetContractName TARGETCONTRACTNAME [--timeout TIMEOUT]
[--json] [--detectorArg KEY=VALUE] [--targetVul vulnerability]
[--targetLoc CodeRange object in JSON format]
[--synthesizerArg KEY=VALUE] [--core CORE] [--coreArg KEY=VALUE]
{repair} ... source_file
[Q2] If the test case files are necessary, could you please provide some test case files examples and the arguments should be filled in "usage"?
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels