Skip to content

Commit 8eb9525

Browse files
author
Daniel Kroening
authored
Merge pull request #334 from peterschrammel/unify-header-guards
Make header guards uniform
2 parents 02b5eb5 + 40dc024 commit 8eb9525

File tree

756 files changed

+2169
-2011
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

756 files changed

+2169
-2011
lines changed

‎src/aa-path-symex/build_goto_trace.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_BUILD_GOTO_TRACE_H
10-
#define CPROVER_PATH_SYMEX_BUILD_GOTO_TRACE_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H
10+
#define CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H
1111

1212
#include <util/decision_procedure.h>
1313
#include <goto-programs/goto_trace.h>
@@ -19,4 +19,4 @@ void build_goto_trace(
1919
const decision_proceduret &decision_procedure,
2020
goto_tracet &goto_trace);
2121

22-
#endif
22+
#endif // CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H

‎src/aa-path-symex/loc_ref.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_LOC_REF_H
10-
#define CPROVER_LOC_REF_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_LOC_REF_H
10+
#define CPROVER_AA_PATH_SYMEX_LOC_REF_H
1111

1212
#include <ostream>
1313

@@ -83,4 +83,4 @@ static inline std::ostream &operator << (std::ostream &out, loc_reft l)
8383
return out << l.loc_number;
8484
}
8585

86-
#endif
86+
#endif // CPROVER_AA_PATH_SYMEX_LOC_REF_H

‎src/aa-path-symex/locs.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_LOCS_H
10-
#define CPROVER_PATH_SYMEX_LOCS_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_LOCS_H
10+
#define CPROVER_AA_PATH_SYMEX_LOCS_H
1111

1212
#include <util/std_expr.h>
1313

@@ -112,4 +112,4 @@ class target_to_loc_mapt
112112
for(exprt::operandst::iterator it=(expr).loc_vector.begin(); \
113113
it!=(locs).loc_vector.end(); it++)
114114

115-
#endif
115+
#endif // CPROVER_AA_PATH_SYMEX_LOCS_H

‎src/aa-path-symex/path_symex.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, kroening@kroening.com
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SYMEX_H
11-
#define CPROVER_PATH_SYMEX_H
10+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H
11+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H
1212

1313
#include "locs.h"
1414
#include "path_symex_state.h"
@@ -39,4 +39,4 @@ void path_symex_goto(
3939
void path_symex_assert_fail(
4040
path_symex_statet &state);
4141

42-
#endif
42+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H

‎src/aa-path-symex/path_symex_history.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_HISTORY_H
10-
#define CPROVER_PATH_SYMEX_HISTORY_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H
10+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H
1111

1212
#include <cassert>
1313
#include <limits>
@@ -161,4 +161,4 @@ inline void path_symex_step_reft::build_history(
161161
}
162162
}
163163

164-
#endif
164+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H

‎src/aa-path-symex/path_symex_state.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, kroening@kroening.com
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SYMEX_STATE_H
11-
#define CPROVER_PATH_SYMEX_STATE_H
10+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H
11+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H
1212

1313
#include <algorithm>
1414

@@ -347,4 +347,4 @@ path_symex_statet initial_state(
347347
const locst &locs,
348348
path_symex_historyt &);
349349

350-
#endif
350+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H

‎src/aa-path-symex/var_map.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_VAR_MAP_H
10-
#define CPROVER_PATH_SYMEX_VAR_MAP_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_VAR_MAP_H
10+
#define CPROVER_AA_PATH_SYMEX_VAR_MAP_H
1111

1212
#include <map>
1313

@@ -118,4 +118,4 @@ class var_mapt
118118
unsigned dynamic_count; // memory allocation
119119
};
120120

121-
#endif
121+
#endif // CPROVER_AA_PATH_SYMEX_VAR_MAP_H

‎src/aa-symex/path_search.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, kroening@kroening.com
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SEARCH_H
11-
#define CPROVER_PATH_SEARCH_H
10+
#ifndef CPROVER_AA_SYMEX_PATH_SEARCH_H
11+
#define CPROVER_AA_SYMEX_PATH_SEARCH_H
1212

1313
#include <util/time_stopping.h>
1414

@@ -91,4 +91,4 @@ class path_searcht:public safety_checkert
9191
const goto_functionst &goto_functions);
9292
};
9393

94-
#endif
94+
#endif // CPROVER_AA_SYMEX_PATH_SEARCH_H

‎src/aa-symex/symex_parseoptions.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_SYMEX_PARSEOPTIONS_H
10-
#define CPROVER_SYMEX_PARSEOPTIONS_H
9+
#ifndef CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H
10+
#define CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H
1111

1212
#include <util/ui_message.h>
1313
#include <util/parseoptions.h>
@@ -75,4 +75,4 @@ class symex_parseoptionst:
7575
void eval_verbosity();
7676
};
7777

78-
#endif
78+
#endif // CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H

‎src/analyses/ai.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -360,4 +360,4 @@ class concurrency_aware_ait:public ait<domainT>
360360
}
361361
};
362362

363-
#endif
363+
#endif // CPROVER_ANALYSES_AI_H

0 commit comments

Comments
 (0)