renames

.gitignore

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

klee-examples/Cargo.toml

@@ -28,12 +28,12 @@ version = "0.3.0"
 #volatile-register = { version = "0.3.0", path = "../volatile-register" }
 
 [[bin]]
-name = "main"
-path = "src/main.rs"
+name = "foo"
+path = "src/foo.rs"
 
 [[bin]]
-name = "main2"
-path = "src/main2.rs"
+name = "register"
+path = "src/register.rs"
 
 [profile.dev]
 incremental = false