works with llvm7 and klee aur

.gitignore

 target
 **/*.rs.bk
+Cargo.lock

cargo-klee/src/main.rs

@@ -10,7 +10,7 @@ fn main() {
     let args = env::args().skip(2).collect::<Vec<_>>();
 
     // turn `cargo klee --example foo` into `xargo rustc --example foo -- (..)`
-    let mut c = Command::new("xargo");
+    let mut c = Command::new("cargo");
     c.arg("rustc")
         .args(&args)
         // verbose output for debugging purposes
@@ -91,27 +91,34 @@ fn main() {
         "debug"
     };
 
-    let mut docker = Command::new("docker");
-    docker
-        .arg("run")
-        .arg("--rm")
-        .args(&["--user", &format!("{}:{}", uid(), gid())])
-        .args(&[
-            "-v",
-            &format!("{}:/mnt", env::current_dir().unwrap().display()),
-        ])
-        .args(&["-w", "/mnt"])
-        .arg("-it")
-        .arg("afoht/llvm-klee-4")
-        .args(&[
-            "/usr/bin/klee",
-            &format!("target/{}/examples/{}{}.bc", profile, example, suffix),
-        ]);
-
-    // print full command for debugging purposes
-    eprintln!("{:?}", docker);
-
-    assert!(docker.status().unwrap().success());
+    // let mut docker = Command::new("docker");
+    // docker
+    //     .arg("run")
+    //     .arg("--rm")
+    //     .args(&["--user", &format!("{}:{}", uid(), gid())])
+    //     .args(&[
+    //         "-v",
+    //         &format!("{}:/mnt", env::current_dir().unwrap().display()),
+    //     ])
+    //     .args(&["-w", "/mnt"])
+    //     .arg("-it")
+    //     .arg("afoht/llvm-klee-4")
+    //     .args(&[
+    //         "/usr/bin/klee",
+    //         &format!("target/{}/examples/{}{}.bc", profile, example, suffix),
+    //     ]);
+
+    // // print full command for debugging purposes
+    // eprintln!("{:?}", docker);
+    //
+    // assert!(docker.status().unwrap().success());
+    let mut klee_cmd = Command::new("klee");
+    klee_cmd.arg(&format!(
+        "target/{}/examples/{}{}.ll",
+        profile, example, suffix
+    ));
+    eprintln!("{:?}", klee_cmd);
+    assert!(klee_cmd.status().unwrap().success());
 }
 
 // NOTE from cross