From f2e274dd2b7fa65842e2f8ac2f911d8009af5dfc Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Thu, 8 Aug 2013 10:41:37 +0100
Subject: [PATCH] added executable test for kat file
---
pykat/testing/test.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pykat/testing/test.py b/pykat/testing/test.py
index 9d1b76e..fc08b8a 100644
--- a/pykat/testing/test.py
+++ b/pykat/testing/test.py
@@ -174,7 +174,7 @@ class FinesseTestProcess(Thread):
if not os.path.exists(FINESSE_EXE):
raise Exception("Kat file was not found in " + FINESSE_EXE)
- if os.access(FINESSE_EXE, os.X_OK)):
+ if not os.access(FINESSE_EXE, os.X_OK)):
raise Exception("Kat file was not executable, could need higher privileges")
out = None
--
GitLab