andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Minor cleanup on Scyther output parser.

Browse Source
This commit is contained in:
ccremers 2007-01-30 17:43:58 +00:00
parent 17d1898b29
commit 2ff5adf040
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gui/Scyther/Scyther.py
View File

@ -280,13 +280,13 @@ class Scyther(object):
# them. # them.
if line.startswith("claim\t"): if line.startswith("claim\t"):
# Claims are lost, reconstructed from the XML output # Claims are lost, reconstructed from the XML output
continue pass
if line.startswith("warning"): elif line.startswith("warning"):
# Warnings are stored seperately # Warnings are stored seperately
self.warnings.append(line) self.warnings.append(line)
continue else:
# otherwise it is an error # otherwise it is an error
self.errors.append(line) self.errors.append(line)
self.errorcount = len(self.errors) self.errorcount = len(self.errors)
if self.errorcount > 0: if self.errorcount > 0: