From 823ee004fa2f24a9c8781e359967b088cb954140 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 30 May 2019 16:22:56 +0100 Subject: Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a consistent naming convention --- lib/Core/CallPathManager.h | 4 ++-- lib/Core/PTree.h | 4 ++-- lib/Solver/ConstantDivision.h | 4 ++-- lib/Solver/STPBuilder.h | 4 ++-- lib/Solver/Z3Builder.h | 4 ++-- 5 files changed, 10 insertions(+), 10 deletions(-) (limited to 'lib') diff --git a/lib/Core/CallPathManager.h b/lib/Core/CallPathManager.h index 0a648777..a39bc387 100644 --- a/lib/Core/CallPathManager.h +++ b/lib/Core/CallPathManager.h @@ -7,8 +7,8 @@ // //===----------------------------------------------------------------------===// -#ifndef __UTIL_CALLPATHMANAGER_H__ -#define __UTIL_CALLPATHMANAGER_H__ +#ifndef KLEE_CALLPATHMANAGER_H +#define KLEE_CALLPATHMANAGER_H #include "klee/Statistics.h" diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h index faa65d85..b15987d5 100644 --- a/lib/Core/PTree.h +++ b/lib/Core/PTree.h @@ -7,8 +7,8 @@ // //===----------------------------------------------------------------------===// -#ifndef __UTIL_PTREE_H__ -#define __UTIL_PTREE_H__ +#ifndef KLEE_PTREE_H +#define KLEE_PTREE_H #include diff --git a/lib/Solver/ConstantDivision.h b/lib/Solver/ConstantDivision.h index 9e3e9c95..3b3a2799 100644 --- a/lib/Solver/ConstantDivision.h +++ b/lib/Solver/ConstantDivision.h @@ -7,8 +7,8 @@ // //===----------------------------------------------------------------------===// -#ifndef __UTIL_CONSTANTDIVISION_H__ -#define __UTIL_CONSTANTDIVISION_H__ +#ifndef KLEE_CONSTANTDIVISION_H +#define KLEE_CONSTANTDIVISION_H #include diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h index 5be34029..f4b2ffc6 100644 --- a/lib/Solver/STPBuilder.h +++ b/lib/Solver/STPBuilder.h @@ -7,8 +7,8 @@ // //===----------------------------------------------------------------------===// -#ifndef __UTIL_STPBUILDER_H__ -#define __UTIL_STPBUILDER_H__ +#ifndef KLEE_STPBUILDER_H +#define KLEE_STPBUILDER_H #include "klee/util/ExprHashMap.h" #include "klee/util/ArrayExprHash.h" diff --git a/lib/Solver/Z3Builder.h b/lib/Solver/Z3Builder.h index 7cdb2b5e..7057176e 100644 --- a/lib/Solver/Z3Builder.h +++ b/lib/Solver/Z3Builder.h @@ -7,8 +7,8 @@ // //===----------------------------------------------------------------------===// -#ifndef __UTIL_Z3BUILDER_H__ -#define __UTIL_Z3BUILDER_H__ +#ifndef KLEE_Z3BUILDER_H +#define KLEE_Z3BUILDER_H #include "klee/Config/config.h" #include "klee/util/ArrayExprHash.h" -- cgit 1.4.1