-
Notifications
You must be signed in to change notification settings - Fork 9
Open
Description
Sorry to bother you.
I'm having problem running chc_analyze_project.py. It reported the following information.
CodeHawk-C-master/chc/cmdline/c_project$ python3 chc_analyze_project.py ~/Downloads/file-master --verbose
Traceback (most recent call last):
File "chc_analyze_project.py", line 170, in <module>
capp = CApplication(sempath, contractpath=contractpath)
File "~/CodeHawk-C-master/chc/app/CApplication.py", line 79, in __init__
self.declarations = CGlobalDeclarations(self)
File "~/CodeHawk-C-master/chc/app/CGlobalDeclarations.py", line 99, in __init__
CDeclarations.__init__(self, CGlobalDictionary(self))
File "~/CodeHawk-C-master/chc/app/CGlobalDictionary.py", line 44, in __init__
self.capp = decls.capp
AttributeError: 'CGlobalDeclarations' object has no attribute 'capp'How should I solve this problem? Are there any components that are not installed?
Looking forward to your answer.
Metadata
Metadata
Assignees
Labels
No labels