From fbfb84d2cfd40979c05f13c36e7b3aa3f36ca0e6 Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Fri, 23 Aug 2013 23:30:39 +0100
Subject: [PATCH] fixing output difference checks
---
pykat/testing/web/web_interface.py | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/pykat/testing/web/web_interface.py b/pykat/testing/web/web_interface.py
index 5edf2e4..841ef50 100644
--- a/pykat/testing/web/web_interface.py
+++ b/pykat/testing/web/web_interface.py
@@ -150,7 +150,12 @@ class FinesseProcessWatcher(Thread):
runexception = None
#check if any errors
- vals = self.process_to_watch.output_differences[suite][kat.replace(".kat",".out")]
+ outf = kat.replace(".kat",".out")
+
+ if outf in self.process_to_watch.output_differences[suite]:
+ vals = self.process_to_watch.output_differences[suite][outf]
+ else:
+ vals = [True]
kats_run.append(dict(suite = suite,
kat = kat,
--
GitLab