From 1b509e0836bc80765032d6b5d134090b93698939 Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Thu, 8 Aug 2013 10:41:06 +0100
Subject: [PATCH] added executable test for kat file
---
pykat/testing/test.py | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/pykat/testing/test.py b/pykat/testing/test.py
index 4d6f601..9d1b76e 100644
--- a/pykat/testing/test.py
+++ b/pykat/testing/test.py
@@ -174,10 +174,12 @@ class FinesseTestProcess(Thread):
if not os.path.exists(FINESSE_EXE):
raise Exception("Kat file was not found in " + FINESSE_EXE)
- out = None
+ if os.access(FINESSE_EXE, os.X_OK)):
+ raise Exception("Kat file was not executable, could need higher privileges")
+ out = None
- # check version numbers match up
+ # check version numbers match upkat
out = utils.runcmd([FINESSE_EXE,"-v"])
# I am sure there is a regex expression that could make this
--
GitLab