aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/Core
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-18 18:26:49 +0000
committerDan Liew <delcypher@gmail.com>2016-11-18 21:01:20 +0000
commitbc3973450bfb3c4d4d47e4fe340fa864cb1cf7df (patch)
tree217c4ef1f573a34f0242e7466f97c4e3ec8ffbcd /lib/Core
parentdda296e09ee53ed85ccf1c3f08e7e809adce612e (diff)
downloadklee-bc3973450bfb3c4d4d47e4fe340fa864cb1cf7df.tar.gz
[CMake] Remove use of tabs in `CMakeLists.txt` files.
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/CMakeLists.txt38
1 files changed, 19 insertions, 19 deletions
diff --git a/lib/Core/CMakeLists.txt b/lib/Core/CMakeLists.txt
index 79c529d0..86ce3cfc 100644
--- a/lib/Core/CMakeLists.txt
+++ b/lib/Core/CMakeLists.txt
@@ -7,25 +7,25 @@
#
#===------------------------------------------------------------------------===#
klee_add_component(kleeCore
- AddressSpace.cpp
- CallPathManager.cpp
- Context.cpp
- CoreStats.cpp
- ExecutionState.cpp
- Executor.cpp
- ExecutorTimers.cpp
- ExecutorUtil.cpp
- ExternalDispatcher.cpp
- ImpliedValue.cpp
- Memory.cpp
- MemoryManager.cpp
- PTree.cpp
- Searcher.cpp
- SeedInfo.cpp
- SpecialFunctionHandler.cpp
- StatsTracker.cpp
- TimingSolver.cpp
- UserSearcher.cpp
+ AddressSpace.cpp
+ CallPathManager.cpp
+ Context.cpp
+ CoreStats.cpp
+ ExecutionState.cpp
+ Executor.cpp
+ ExecutorTimers.cpp
+ ExecutorUtil.cpp
+ ExternalDispatcher.cpp
+ ImpliedValue.cpp
+ Memory.cpp
+ MemoryManager.cpp
+ PTree.cpp
+ Searcher.cpp
+ SeedInfo.cpp
+ SpecialFunctionHandler.cpp
+ StatsTracker.cpp
+ TimingSolver.cpp
+ UserSearcher.cpp
)
# TODO: Work out what the correct LLVM components are for