Remove docker, use native KLEE

gdb.py

@@ -352,9 +352,6 @@ def ktest_iterate():
         print(rustoutputfolder + "not found. Need to run\n")
         print("xargo build --example " + example_name + " --features" +
               " klee_mode --target x86_64-unknown-linux-gnu ")
-        print("\nand docker run --rm --user (id -u):(id -g)" +
-              "-v $PWD" + "/" + klee_out_folder + ":/mnt" +
-              "-w /mnt -it afoht/llvm-klee-4 /bin/bash ")
         if autobuild:
             xargo_run("klee")
             klee_run()
@@ -459,13 +456,7 @@ def klee_run():
         print(PWD + "/" + klee_out_folder)
         print(bc_file)
 
-    klee_cmd = ("docker run --rm --user " +
-                user_id[:-1] + ":" + group_id[:-1] +
-                " -v '"
-                + PWD + "/"
-                + klee_out_folder + "':'/mnt'" +
-                " -w /mnt -it afoht/llvm-klee-4 " +
-                "/bin/bash -c 'klee %s'" % bc_file)
+    klee_cmd = ("klee %s" % bc_file)
     if debug:
         print(klee_cmd)
     call(klee_cmd, shell=True)

klee_stm_gdb.py

@@ -420,9 +420,6 @@ def ktest_iterate():
         print(rustoutputfolder + "not found. Need to run\n")
         print("xargo build --example " + example_name + " --features" +
               "klee_mode --target x86_64-unknown-linux-gnu ")
-        print("\nand docker run --rm --user (id -u):(id -g)" +
-              "-v $PWD" + "/" + klee_out_folder + ":/mnt" +
-              "-w /mnt -it afoht/llvm-klee-4 /bin/bash ")
         if autobuild:
             xargo_run("klee")
             klee_run()
@@ -524,13 +521,8 @@ def klee_run():
         print(PWD + "/" + klee_out_folder)
         print(bc_file)
 
-    klee_cmd = ("docker run --rm --user " +
-                user_id[:-1] + ":" + group_id[:-1] +
-                " -v '"
-                + PWD + "/"
-                + klee_out_folder + "':'/mnt'" +
-                " -w /mnt -it afoht/llvm-klee-4 " +
-                "/bin/bash -c 'klee %s'" % bc_file)
+    klee_cmd = ("klee %s" % bc_file)
+
     if debug:
         print(klee_cmd)
     call(klee_cmd, shell=True)