From 7313e4d282a55df43becd9726a60332f06058143 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 19 Apr 2017 11:44:47 +0200
Subject: [PATCH] Changed how the directory is used, not using klee-last
---
klee_stm_gdb.py | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 3b38aeb..296d3e8 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -275,9 +275,15 @@ def ktest_setdata(file_index):
def ktest_iterate():
- """ Iterate over all files ending with ktest in klee-last folder """
+ """ Get the list of folders in current directory, sort and then grab the
+ last one.
+ """
+ dirlist = next(os.walk('.'))[1]
+ dirlist.sort()
+ directory = dirlist[-1]
+ print("Directory: " + directory)
- directory = "klee-last"
+ """ Iterate over all files ending with ktest in the "klee-last" folder """
for filename in os.listdir(directory):
if filename.endswith(".ktest"):
file_list.append(os.path.join(directory, filename))
--
GitLab