Automated Code Analysis

pyflakes analysis of prover9-mace4_0.5.dfsg-2_all.deb

./usr/share/prover9-mace4/lib/my_setup.py:22: 'sys' imported but unused
./usr/share/prover9-mace4/lib/my_setup.py:22: 'os' imported but unused
./usr/share/prover9-mace4/lib/my_setup.py:30: 'from files import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/my_setup.py:31: 'from control import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/my_setup.py:32: 'from platforms import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/my_setup.py:33: 'from wx_utilities import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/my_setup.py:34: 'from options import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/my_setup.py:333: local variable 'label_id' is assigned to but never used
./usr/share/prover9-mace4/lib/wx_utilities.py:26: 'from platforms import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/wx_utilities.py:190: local variable 'e' is assigned to but never used
./usr/share/prover9-mace4/lib/files.py:26: 'from platforms import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:23: 'time' imported but unused
./usr/share/prover9-mace4/lib/control.py:28: 'from files import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:29: 'from platforms import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:30: 'from wx_utilities import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:31: 'from my_setup import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:32: 'from options import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/control.py:148: redefinition of unused 'time' from line 23
./usr/share/prover9-mace4/lib/control.py:312: local variable 'rc' is assigned to but never used
./usr/share/prover9-mace4/lib/control.py:854: local variable 'frame' is assigned to but never used
./usr/share/prover9-mace4/lib/options.py:22: 'sys' imported but unused
./usr/share/prover9-mace4/lib/options.py:22: 'os' imported but unused
./usr/share/prover9-mace4/lib/options.py:29: 'from wx_utilities import *' used; unable to detect undefined names
./usr/share/prover9-mace4/lib/platforms.py:47: 'win32process' imported but unused
./usr/share/prover9-mace4/lib/platforms.py:47: 'win32api' imported but unused

---