From 6f374718f73fc856c675100ddb5a9f8baf1550ac Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 23:40:47 +0100
Subject: [PATCH] renames
---
.gitignore | 1 +
klee-examples/Cargo.toml | 8 ++++----
klee-examples/src/{main.rs => foo.rs} | 0
klee-examples/src/{main2.rs => register.rs} | 0
4 files changed, 5 insertions(+), 4 deletions(-)
rename klee-examples/src/{main.rs => foo.rs} (100%)
rename klee-examples/src/{main2.rs => register.rs} (100%)
diff --git a/.gitignore b/.gitignore
index 84a323e..98e5fcf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
target
**/*.rs.bk
+Cargo.lock
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 998ca10..52cc15c 100644
--- a/klee-examples/Cargo.toml
+++ b/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
diff --git a/klee-examples/src/main.rs b/klee-examples/src/foo.rs
similarity index 100%
rename from klee-examples/src/main.rs
rename to klee-examples/src/foo.rs
diff --git a/klee-examples/src/main2.rs b/klee-examples/src/register.rs
similarity index 100%
rename from klee-examples/src/main2.rs
rename to klee-examples/src/register.rs
--
GitLab