Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 9b2c1b0a..3a022e9d 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -91,7 +91,7 @@
 using namespace llvm;
 using namespace klee;
 
-namespace {
+namespace klee {
 
 /*** Test generation options ***/