diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-18 18:26:49 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2016-11-18 21:01:20 +0000 |
commit | bc3973450bfb3c4d4d47e4fe340fa864cb1cf7df (patch) | |
tree | 217c4ef1f573a34f0242e7466f97c4e3ec8ffbcd /lib | |
parent | dda296e09ee53ed85ccf1c3f08e7e809adce612e (diff) | |
download | klee-bc3973450bfb3c4d4d47e4fe340fa864cb1cf7df.tar.gz |
[CMake] Remove use of tabs in `CMakeLists.txt` files.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Basic/CMakeLists.txt | 8 | ||||
-rw-r--r-- | lib/Core/CMakeLists.txt | 38 | ||||
-rw-r--r-- | lib/Expr/CMakeLists.txt | 26 | ||||
-rw-r--r-- | lib/Module/CMakeLists.txt | 20 | ||||
-rw-r--r-- | lib/Solver/CMakeLists.txt | 40 | ||||
-rw-r--r-- | lib/Support/CMakeLists.txt | 16 |
6 files changed, 74 insertions, 74 deletions
diff --git a/lib/Basic/CMakeLists.txt b/lib/Basic/CMakeLists.txt index 988a564e..d0a309c9 100644 --- a/lib/Basic/CMakeLists.txt +++ b/lib/Basic/CMakeLists.txt @@ -7,10 +7,10 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleeBasic - CmdLineOptions.cpp - ConstructSolverChain.cpp - KTest.cpp - Statistics.cpp + CmdLineOptions.cpp + ConstructSolverChain.cpp + KTest.cpp + Statistics.cpp ) set(LLVM_COMPONENTS support 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 diff --git a/lib/Expr/CMakeLists.txt b/lib/Expr/CMakeLists.txt index c7dbb8b7..4c63fe5b 100644 --- a/lib/Expr/CMakeLists.txt +++ b/lib/Expr/CMakeLists.txt @@ -7,19 +7,19 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleaverExpr - ArrayCache.cpp - Assigment.cpp - Constraints.cpp - ExprBuilder.cpp - Expr.cpp - ExprEvaluator.cpp - ExprPPrinter.cpp - ExprSMTLIBPrinter.cpp - ExprUtil.cpp - ExprVisitor.cpp - Lexer.cpp - Parser.cpp - Updates.cpp + ArrayCache.cpp + Assigment.cpp + Constraints.cpp + ExprBuilder.cpp + Expr.cpp + ExprEvaluator.cpp + ExprPPrinter.cpp + ExprSMTLIBPrinter.cpp + ExprUtil.cpp + ExprVisitor.cpp + Lexer.cpp + Parser.cpp + Updates.cpp ) set(LLVM_COMPONENTS diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt index 4d993047..22fd3c07 100644 --- a/lib/Module/CMakeLists.txt +++ b/lib/Module/CMakeLists.txt @@ -7,16 +7,16 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleeModule - Checks.cpp - InstructionInfoTable.cpp - IntrinsicCleaner.cpp - KInstruction.cpp - KModule.cpp - LowerSwitch.cpp - ModuleUtil.cpp - Optimize.cpp - PhiCleaner.cpp - RaiseAsm.cpp + Checks.cpp + InstructionInfoTable.cpp + IntrinsicCleaner.cpp + KInstruction.cpp + KModule.cpp + LowerSwitch.cpp + ModuleUtil.cpp + Optimize.cpp + PhiCleaner.cpp + RaiseAsm.cpp ) set(LLVM_COMPONENTS diff --git a/lib/Solver/CMakeLists.txt b/lib/Solver/CMakeLists.txt index 7864b2de..20da74da 100644 --- a/lib/Solver/CMakeLists.txt +++ b/lib/Solver/CMakeLists.txt @@ -7,26 +7,26 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleaverSolver - CachingSolver.cpp - CexCachingSolver.cpp - ConstantDivision.cpp - CoreSolver.cpp - DummySolver.cpp - FastCexSolver.cpp - IncompleteSolver.cpp - IndependentSolver.cpp - MetaSMTSolver.cpp - PCLoggingSolver.cpp - QueryLoggingSolver.cpp - SMTLIBLoggingSolver.cpp - Solver.cpp - SolverImpl.cpp - SolverStats.cpp - STPBuilder.cpp - STPSolver.cpp - ValidatingSolver.cpp - Z3Builder.cpp - Z3Solver.cpp + CachingSolver.cpp + CexCachingSolver.cpp + ConstantDivision.cpp + CoreSolver.cpp + DummySolver.cpp + FastCexSolver.cpp + IncompleteSolver.cpp + IndependentSolver.cpp + MetaSMTSolver.cpp + PCLoggingSolver.cpp + QueryLoggingSolver.cpp + SMTLIBLoggingSolver.cpp + Solver.cpp + SolverImpl.cpp + SolverStats.cpp + STPBuilder.cpp + STPSolver.cpp + ValidatingSolver.cpp + Z3Builder.cpp + Z3Solver.cpp ) set(LLVM_COMPONENTS diff --git a/lib/Support/CMakeLists.txt b/lib/Support/CMakeLists.txt index 0e76062a..4e44fbc6 100644 --- a/lib/Support/CMakeLists.txt +++ b/lib/Support/CMakeLists.txt @@ -7,14 +7,14 @@ # #===------------------------------------------------------------------------===# klee_add_component(kleeSupport - CompressionStream.cpp - ErrorHandling.cpp - MemoryUsage.cpp - PrintVersion.cpp - RNG.cpp - Time.cpp - Timer.cpp - TreeStream.cpp + CompressionStream.cpp + ErrorHandling.cpp + MemoryUsage.cpp + PrintVersion.cpp + RNG.cpp + Time.cpp + Timer.cpp + TreeStream.cpp ) target_link_libraries(kleeSupport PRIVATE ${ZLIB_LIBRARIES}) |