Changed how the directory is used, not using klee-last

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))