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

- Updated Scyther interface.

Browse Source
This commit is contained in:
ccremers 2006-08-07 16:40:46 +00:00
parent 40bc144d88
commit 8bff33dc82
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui/Scyther.py
View File

@ -101,7 +101,7 @@ class Scyther(object):
def __str__(self): def __str__(self):
if self.run: if self.run:
if self.errorcount > 0: if self.errorcount > 0:
return "%i errors:\n%s" % (self.errorcount, "".join(self.errors)) return "%i errors:\n%s" % (self.errorcount, "\n".join(self.errors))
else: else:
s = "Claim results:\n" s = "Claim results:\n"
for cl in self.claims: for cl in self.claims: