about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/AddressSpace.h2
-rw-r--r--lib/Core/CallPathManager.h2
-rw-r--r--lib/Core/Context.h2
-rw-r--r--lib/Core/CoreStats.h2
-rw-r--r--lib/Core/Executor.h2
-rw-r--r--lib/Core/ExternalDispatcher.h2
-rw-r--r--lib/Core/ImpliedValue.h2
-rw-r--r--lib/Core/Memory.h2
-rw-r--r--lib/Core/MemoryManager.h2
-rw-r--r--lib/Core/ObjectHolder.h3
-rw-r--r--lib/Core/PTree.h2
-rw-r--r--lib/Core/Searcher.h2
-rw-r--r--lib/Core/SeedInfo.h2
-rw-r--r--lib/Core/SpecialFunctionHandler.h2
-rw-r--r--lib/Core/StatsTracker.h2
-rw-r--r--lib/Core/TimingSolver.h2
-rw-r--r--lib/Core/UserSearcher.h2
-rw-r--r--lib/Expr/ArrayExprOptimizer.h2
-rw-r--r--lib/Expr/ArrayExprVisitor.h2
-rw-r--r--lib/Expr/AssignmentGenerator.h2
-rw-r--r--lib/Module/Passes.h2
-rw-r--r--lib/Solver/ConstantDivision.h2
-rw-r--r--lib/Solver/STPBuilder.h2
-rw-r--r--lib/Solver/Z3Builder.h2
24 files changed, 24 insertions, 25 deletions
diff --git a/lib/Core/AddressSpace.h b/lib/Core/AddressSpace.h
index 2554a5b1..d8ba6f36 100644
--- a/lib/Core/AddressSpace.h
+++ b/lib/Core/AddressSpace.h
@@ -148,4 +148,4 @@ namespace klee {
   };
 } // End klee namespace
 
-#endif
+#endif /* KLEE_ADDRESSSPACE_H */
diff --git a/lib/Core/CallPathManager.h b/lib/Core/CallPathManager.h
index a39bc387..d78c8d8f 100644
--- a/lib/Core/CallPathManager.h
+++ b/lib/Core/CallPathManager.h
@@ -83,4 +83,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_CALLPATHMANAGER_H */
diff --git a/lib/Core/Context.h b/lib/Core/Context.h
index e8b48363..b2ea83f1 100644
--- a/lib/Core/Context.h
+++ b/lib/Core/Context.h
@@ -43,4 +43,4 @@ namespace klee {
   
 } // End klee namespace
 
-#endif
+#endif /* KLEE_CONTEXT_H */
diff --git a/lib/Core/CoreStats.h b/lib/Core/CoreStats.h
index 09845a89..42e81de7 100644
--- a/lib/Core/CoreStats.h
+++ b/lib/Core/CoreStats.h
@@ -50,4 +50,4 @@ namespace stats {
 }
 }
 
-#endif
+#endif /* KLEE_CORESTATS_H */
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 66a28ba8..eafdc2f7 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -551,4 +551,4 @@ public:
   
 } // End klee namespace
 
-#endif
+#endif /* KLEE_EXECUTOR_H */
diff --git a/lib/Core/ExternalDispatcher.h b/lib/Core/ExternalDispatcher.h
index 7c3a1d79..7730ac4e 100644
--- a/lib/Core/ExternalDispatcher.h
+++ b/lib/Core/ExternalDispatcher.h
@@ -46,4 +46,4 @@ public:
 };
 }
 
-#endif
+#endif /* KLEE_EXTERNALDISPATCHER_H */
diff --git a/lib/Core/ImpliedValue.h b/lib/Core/ImpliedValue.h
index 6bdb6c66..2b323c01 100644
--- a/lib/Core/ImpliedValue.h
+++ b/lib/Core/ImpliedValue.h
@@ -38,4 +38,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_IMPLIEDVALUE_H */
diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h
index 47dd892a..3558c96c 100644
--- a/lib/Core/Memory.h
+++ b/lib/Core/Memory.h
@@ -246,4 +246,4 @@ private:
   
 } // End klee namespace
 
-#endif
+#endif /* KLEE_MEMORY_H */
diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h
index d7233a80..f75c82fb 100644
--- a/lib/Core/MemoryManager.h
+++ b/lib/Core/MemoryManager.h
@@ -56,4 +56,4 @@ public:
 
 } // End klee namespace
 
-#endif
+#endif /* KLEE_MEMORYMANAGER_H */
diff --git a/lib/Core/ObjectHolder.h b/lib/Core/ObjectHolder.h
index abf2c6f0..cd6c6281 100644
--- a/lib/Core/ObjectHolder.h
+++ b/lib/Core/ObjectHolder.h
@@ -29,5 +29,4 @@ namespace klee {
   };
 }
 
-#endif
-
+#endif /* KLEE_OBJECTHOLDER_H */
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index b15987d5..b13b1d67 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -47,4 +47,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_PTREE_H */
diff --git a/lib/Core/Searcher.h b/lib/Core/Searcher.h
index dc0e12a4..c11c6be5 100644
--- a/lib/Core/Searcher.h
+++ b/lib/Core/Searcher.h
@@ -285,4 +285,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_SEARCHER_H */
diff --git a/lib/Core/SeedInfo.h b/lib/Core/SeedInfo.h
index 1820ef23..0d2b6ae0 100644
--- a/lib/Core/SeedInfo.h
+++ b/lib/Core/SeedInfo.h
@@ -46,4 +46,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_SEEDINFO_H */
diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index e041a3e4..0ad04049 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -146,4 +146,4 @@ namespace klee {
   };
 } // End klee namespace
 
-#endif
+#endif /* KLEE_SPECIALFUNCTIONHANDLER_H */
diff --git a/lib/Core/StatsTracker.h b/lib/Core/StatsTracker.h
index 1c4ad6d9..98041464 100644
--- a/lib/Core/StatsTracker.h
+++ b/lib/Core/StatsTracker.h
@@ -105,4 +105,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_STATSTRACKER_H */
diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h
index 08ed0de2..6951a3ad 100644
--- a/lib/Core/TimingSolver.h
+++ b/lib/Core/TimingSolver.h
@@ -70,4 +70,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_TIMINGSOLVER_H */
diff --git a/lib/Core/UserSearcher.h b/lib/Core/UserSearcher.h
index 1c04581d..b0df8239 100644
--- a/lib/Core/UserSearcher.h
+++ b/lib/Core/UserSearcher.h
@@ -22,4 +22,4 @@ namespace klee {
   Searcher *constructUserSearcher(Executor &executor);
 }
 
-#endif
+#endif /* KLEE_USERSEARCHER_H */
diff --git a/lib/Expr/ArrayExprOptimizer.h b/lib/Expr/ArrayExprOptimizer.h
index 25a0c2bb..8f6472a4 100644
--- a/lib/Expr/ArrayExprOptimizer.h
+++ b/lib/Expr/ArrayExprOptimizer.h
@@ -61,4 +61,4 @@ private:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ARRAYEXPROPTIMIZER_H */
diff --git a/lib/Expr/ArrayExprVisitor.h b/lib/Expr/ArrayExprVisitor.h
index 6b79ae8a..bfa75478 100644
--- a/lib/Expr/ArrayExprVisitor.h
+++ b/lib/Expr/ArrayExprVisitor.h
@@ -140,4 +140,4 @@ public:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ARRAYEXPRVISITOR_H */
diff --git a/lib/Expr/AssignmentGenerator.h b/lib/Expr/AssignmentGenerator.h
index fea1168a..3bd940e7 100644
--- a/lib/Expr/AssignmentGenerator.h
+++ b/lib/Expr/AssignmentGenerator.h
@@ -56,4 +56,4 @@ private:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ASSIGNMENTGENERATOR_H */
diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h
index 4fb0cfd7..ae1ce6fd 100644
--- a/lib/Module/Passes.h
+++ b/lib/Module/Passes.h
@@ -206,4 +206,4 @@ public:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_PASSES_H */
diff --git a/lib/Solver/ConstantDivision.h b/lib/Solver/ConstantDivision.h
index 3b3a2799..23d61740 100644
--- a/lib/Solver/ConstantDivision.h
+++ b/lib/Solver/ConstantDivision.h
@@ -48,4 +48,4 @@ void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign,
 
 }
 
-#endif
+#endif /* KLEE_CONSTANTDIVISION_H */
diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index f4b2ffc6..cb163384 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -128,4 +128,4 @@ public:
 
 }
 
-#endif
+#endif /* KLEE_STPBUILDER_H */
diff --git a/lib/Solver/Z3Builder.h b/lib/Solver/Z3Builder.h
index 7057176e..efbf4f9a 100644
--- a/lib/Solver/Z3Builder.h
+++ b/lib/Solver/Z3Builder.h
@@ -190,4 +190,4 @@ public:
 };
 }
 
-#endif
+#endif /* KLEE_Z3BUILDER_H */
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-28 01:18:15 +0000