Skip to content

Commit 6ba2cf4

Browse files
author
Sonny Martin
committed
Reorder unit test headers for consistency.
1 parent a1de5dc commit 6ba2cf4

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

unit/goto-programs/goto_program_declaration.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,10 @@ Author: Diffblue Ltd.
88

99
#include <testing-utils/use_catch.h>
1010

11-
#include <goto-programs/goto_function.h>
12-
1311
#include <util/arith_tools.h>
1412

13+
#include <goto-programs/goto_function.h>
14+
1515
SCENARIO(
1616
"Validation of well-formed declaration codes",
1717
"[core][goto-programs][validate]")

unit/goto-programs/goto_program_goto_target.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,10 @@ Author: Diffblue Ltd.
88

99
#include <testing-utils/use_catch.h>
1010

11-
#include <goto-programs/goto_function.h>
12-
1311
#include <util/arith_tools.h>
1412

13+
#include <goto-programs/goto_function.h>
14+
1515
SCENARIO(
1616
"Validation of well-formed goto codes",
1717
"[core][goto-programs][validate]")

unit/goto-programs/goto_program_validate.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,14 +14,14 @@
1414

1515
#include <testing-utils/message.h>
1616

17-
#include <goto-programs/goto_convert_functions.h>
18-
#include <goto-programs/validate_goto_model.h>
19-
2017
#include <util/arith_tools.h>
2118
#include <util/c_types.h>
2219
#include <util/std_code.h>
2320
#include <util/validate.h>
2421

22+
#include <goto-programs/goto_convert_functions.h>
23+
#include <goto-programs/validate_goto_model.h>
24+
2525
SCENARIO("Validation of a goto program", "[core][goto-programs][validate]")
2626
{
2727
goto_modelt goto_model;

0 commit comments

Comments
 (0)