The linter output is below (empty output means no errors).
regression/cpp-from-CVS/Assignment1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Assignment1/main.cpp:6:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Assignment1/main.cpp:8:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Assignment1/main.cpp:9:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/ConditionalExpression2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/ConditionalExpression2/main.cpp:6:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Constructor10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Constructor10/main.cpp:5:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Constructor11/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Constructor12/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Constructor12/main.cpp:12:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Constructor12/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Constructor12/main.cpp:15:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Constructor13/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Constructor13/main.cpp:4:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Constructor13/main.cpp:11:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Constructor13/main.cpp:12:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Constructor13/main.cpp:14:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Constructor13/main.cpp:19:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Constructor13/main.cpp:20:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Constructor13/main.cpp:23:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Constructor14/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Constructor14/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Conversion10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion10/main.cpp:4:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
regression/cpp-from-CVS/Conversion11/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion11/main.cpp:1:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Conversion11/main.cpp:1:  Using C-style cast.  Use reinterpret_cast<void*>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Conversion3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion3/main.cpp:4:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion3/main.cpp:4:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Conversion4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion6/main.cpp:20:  Using C-style cast.  Use reinterpret_cast<A*>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Conversion6/main.cpp:22:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/Conversion6/main.cpp:22:  Using C-style cast.  Use reinterpret_cast<A*>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Conversion7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion8/main.cpp:3:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Conversion9/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator1/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Conversion_Operator1/main.cpp:9:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Conversion_Operator2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator2/main.cpp:9:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Conversion_Operator2/main.cpp:12:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator3/main.cpp:9:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator3/main.cpp:10:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator3/main.cpp:11:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator4/main.cpp:6:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:5:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:14:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:15:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:22:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/Conversion_Operator5/main.cpp:22:  Extra space before )  [whitespace/parens] [2]
regression/cpp-from-CVS/Copy_Constructor1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Copy_Constructor3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Copy_Operator1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Copy_Operator1/main.cpp:5:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Copy_Operator1/main.cpp:7:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Copy_Operator1/main.cpp:8:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Copy_Operator1/main.cpp:9:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Copy_Operator2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Copy_Operator2/main.cpp:4:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp-from-CVS/Copy_Operator2/main.cpp:9:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/Default_Arguments1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Default_Arguments2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Destructor4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Friend3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Friend4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Friend5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Friend5/main.cpp:3:  Class or struct identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Friend5/main.cpp:11:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Friend5/main.cpp:16:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Friend5/main.cpp:24:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/Friend6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Friend6/main.cpp:11:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp-from-CVS/Friend6/main.cpp:12:  Class or struct identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Function_Arguments5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Function_Arguments5/main.cpp:7:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion2/main.cpp:9:  Using C-style cast.  Use static_cast<char>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Implicit_Conversion2/main.cpp:12:  Using C-style cast.  Use static_cast<char>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Implicit_Conversion3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion3/main.cpp:5:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion3/main.cpp:12:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion3/main.cpp:13:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:4:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:10:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:11:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:16:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:46:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:58:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion4/main.cpp:73:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion5/main.cpp:5:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:3:  Constructors callable with one argument should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:8:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:24:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:25:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:26:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:29:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/Implicit_Conversion8/main.cpp:37:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/Inheritance2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Inheritance3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Inheritance3/main.cpp:2:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Inheritance3/main.cpp:10:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Inheritance4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Inheritance4/main.cpp:12:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/Label0/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Lvalue1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Lvalue1/main.cpp:7:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp-from-CVS/Multiple_Inheritance1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Multiple_Inheritance2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Multiple_Inheritance4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Multiple_Inheritance4/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Multiple_Inheritance4/main.cpp:11:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Mutable1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Mutable1/main.cpp:6:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Functions2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:6:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:7:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:8:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:11:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:14:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:19:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:20:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:21:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:24:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:26:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Increment1/main.cpp:27:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators10/main.cpp:9:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Operators10/main.cpp:15:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Operators11/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators11/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Overloading_Operators11/main.cpp:14:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp-from-CVS/Overloading_Operators12/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators13/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators14/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators14/main.cpp:3:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Overloading_Operators14/main.cpp:13:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/Overloading_Operators4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:6:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:14:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:15:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:16:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:17:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:18:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:19:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:24:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:25:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:26:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:27:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:28:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators6/main.cpp:29:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators7/main.cpp:6:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Overloading_Operators8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators9/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Overloading_Operators9/main.cpp:10:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Operators9/main.cpp:12:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Overloading_Operators9/main.cpp:19:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Overloading_Operators9/main.cpp:21:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Pointer_Conversion3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_Conversion3/main.cpp:14:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Pointer_Conversion3/main.cpp:15:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Pointer_To_Member1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member5/main.cpp:10:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Pointer_To_Member5/main.cpp:12:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/Pointer_To_Member6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Pointer_To_Member6/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Protection1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection1/main.cpp:4:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Protection2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection3/main.cpp:6:  Class or struct identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Protection3/main.cpp:8:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Protection4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection7/main.cpp:6:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp-from-CVS/Protection7/main.cpp:6:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Protection8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Protection8/main.cpp:7:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp-from-CVS/Protection8/main.cpp:7:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Qualifier1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Qualifier1/main.cpp:9:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Qualifier2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Qualifier3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Qualifier3/main.cpp:10:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Qualifier4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Qualifier4/main.cpp:8:  Using C-style cast.  Use static_cast<int>(...) instead  [readability/casting] [4]
regression/cpp-from-CVS/Reference3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Reference3/main.cpp:5:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Reference3/main.cpp:13:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/Resolver5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Resolver5/main.cpp:3:  Do not indent within a namespace  [runtime/indentation_namespace] [4]
regression/cpp-from-CVS/Resolver5/main.cpp:3:  Class or struct identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Resolver5/main.cpp:3:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp-from-CVS/Resolver5/main.cpp:4:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Resolver6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Resolver7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Resolver8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Resolver8/main.cpp:6:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Resolver9/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Resolver9/main.cpp:3:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Static_Method1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates11/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates11/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Templates11/main.cpp:14:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Templates13/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates13/main.cpp:3:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp-from-CVS/Templates14/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates14/main.cpp:5:  Do not indent within a namespace  [runtime/indentation_namespace] [4]
regression/cpp-from-CVS/Templates14/main.cpp:5:  Class or struct identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Templates14/main.cpp:5:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp-from-CVS/Templates14/main.cpp:6:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Templates17/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates18/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates19/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates19/main.cpp:19:  Extra space before ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/Templates20/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates22/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates25/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates32/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Templates5/main.cpp:15:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp-from-CVS/Typedef1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Typedef1/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp-from-CVS/Typedef1/main.cpp:9:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Typedef2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Typedef2/main.cpp:8:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Typedef2/main.cpp:12:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Typedef2/main.cpp:16:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/Typedef3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Typedef3/main.cpp:4:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp-from-CVS/Vector1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/Zero_Initializer1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/const_cast1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/extractbits1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/extractbits1/main.cpp:7:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/extractbits1/main.cpp:8:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/extractbits1/main.cpp:9:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/extractbits1/main.cpp:11:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/extractbits1/main.cpp:12:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/extractbits1/main.cpp:12:  Extra space after ( in function call  [whitespace/parens] [4]
regression/cpp-from-CVS/extractbits1/main.cpp:14:  Missing space after ,  [whitespace/comma] [3]
regression/cpp-from-CVS/for1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization5/main.cpp:4:  Do not use variable-length arrays.  [runtime/arrays] [1]
regression/cpp-from-CVS/initialization6/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/initialization7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/operators/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/operators/main.cpp:7:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/operators/main.cpp:8:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/operators/main.cpp:9:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/operators/main.cpp:10:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/reinterpret_cast1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/reinterpret_cast2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/reinterpret_cast2/main.cpp:2:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
regression/cpp-from-CVS/reinterpret_cast2/main.cpp:2:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/reinterpret_cast2/main.cpp:11:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/static_cast2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/static_cast3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/static_cast3/main.cpp:20:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/static_cast3/main.cpp:23:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/static_cast4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/static_cast5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual11/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual11/main.cpp:5:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual11/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual12/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual15/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual7/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual7/main.cpp:14:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual7/main.cpp:15:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual7/main.cpp:16:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp-from-CVS/virtual8/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp-from-CVS/virtual8/main.cpp:18:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
regression/cpp-from-CVS/virtual9/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Decltype3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Decltype3/main.cpp:7:  Put braces on a separate next line  [whitespace/braces] [5]
regression/cpp/Decltype3/main.cpp:7:  Extra space before ( in function call  [whitespace/parens] [4]
regression/cpp/Decltype3/main.cpp:8:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Decltype3/main.cpp:8:  Typedef identifier should end with t  [readability/identifiers] [4]
regression/cpp/Decltype3/main.cpp:9:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Decltype3/main.cpp:10:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Function_Bodies1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Function_Bodies1/main.cpp:3:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp/Function_Bodies1/main.cpp:3:  Single-parameter constructors should be marked explicit.  [runtime/explicit] [5]
regression/cpp/Resolver10/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Resolver10/main.cpp:4:  You don't need a ; after a }  [readability/braces] [4]
regression/cpp/Resolver10/main.cpp:11:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Resolver10/main.cpp:12:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Resolver10/main.cpp:13:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/Resolver12/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Resolver2/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Resolver3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Resolver4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Template_Instantiation1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Template_Instantiation3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Template_Instantiation4/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Template_Instantiation5/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/Templates7/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/union3/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
regression/cpp/union3/main.cpp:4:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/union3/main.cpp:5:  Tab found, replace by spaces  [whitespace/tab] [1]
regression/cpp/virtual1/main.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/aa-path-symex/path_symex.cpp:888:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/aa-path-symex/path_symex.cpp:908:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/cegis-util/cbmc_runner.cpp:90:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:21:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:24:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:29:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/constant_width.cpp:30:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/counterexample_vars.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/inline_user_program.cpp:24:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/inline_user_program.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/inline_user_program.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/instruction_iterator.cpp:17:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/instruction_iterator.cpp:37:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/cegis-util/irep_pipe.cpp:51:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/irep_pipe.cpp:84:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/irep_pipe.cpp:85:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/irep_pipe.cpp:139:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/irep_pipe.cpp:141:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/cegis/cegis-util/module_helper.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:79:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:80:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:106:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:109:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:113:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:115:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:121:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:127:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:176:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:186:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:188:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:197:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:216:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/program_helper.cpp:254:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/string_helper.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/task_pool.cpp:75:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/task_pool.cpp:127:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/task_pool.cpp:134:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/cegis/cegis-util/task_pool.cpp:149:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/type_helper.cpp:34:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/type_helper.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/cegis-util/type_helper.cpp:65:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:22:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:24:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:25:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:38:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/add_constant.cpp:67:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/literals_collector.cpp:50:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/literals_collector.cpp:53:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/constant/literals_collector.cpp:62:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/learn/rational_solution_configuration.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/learn/rational_solution_configuration.cpp:35:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/learn/vector_solution_configuration.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/learn/vector_solution_configuration.cpp:56:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:46:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:50:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:74:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:80:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:91:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:94:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:97:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:99:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:100:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:107:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:126:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:32:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:45:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:55:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/value/float_helper.cpp:50:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/value/float_helper.cpp:56:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/verify/insert_solution.cpp:34:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/verify/insert_solution.cpp:90:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/verify/zero_solutions.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/control/verify/zero_solutions.cpp:57:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/constraint/danger_constraint_factory.cpp:66:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/options/danger_program_printer.cpp:81:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:71:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:71:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:71:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:80:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:80:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:23:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:39:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:49:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:84:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:90:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:54:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:62:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/add_variable_refs.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/read_x0.cpp:76:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:52:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:163:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:170:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:193:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/danger_verify_config.cpp:38:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/insert_candidate.cpp:87:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/insert_candidate.cpp:94:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:225:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:235:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:297:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:325:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/danger/symex/verify/restrict_counterexamples.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:77:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:89:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:123:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:124:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/concrete_test_runner.cpp:149:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/dynamic_test_runner_helper.cpp:74:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:48:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:50:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:52:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:96:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:67:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:68:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:88:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:102:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:103:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:113:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:134:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:135:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:140:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/cegis/genetic/match_select.cpp:140:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_cross.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_cross.cpp:34:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_cross.cpp:72:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_individual.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_individual.cpp:35:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_individual.cpp:148:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/random_mutate.cpp:67:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/serialise_individual.cpp:23:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:83:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:84:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:85:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:86:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:87:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:92:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:92:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:97:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:97:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/genetic/tournament_select.cpp:118:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instructions/instruction_set_factory.cpp:46:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instructions/instruction_set_factory.cpp:54:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/cegis/instructions/instruction_set_factory.cpp:58:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/cegis/instructions/instruction_set_factory.cpp:84:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/cegis_library.cpp:61:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/find_cprover_initialize.cpp:21:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/find_cprover_initialize.cpp:24:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/find_cprover_initialize.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:47:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:71:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:77:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:110:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:114:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:121:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/instrument_var_ops.cpp:127:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/instrument/meta_variables.cpp:136:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:25:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:44:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/add_constant.cpp:58:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/literals_constant_strategy.cpp:52:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/constant/literals_constant_strategy.cpp:55:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:74:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:99:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:126:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:179:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:198:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:37:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:47:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:23:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:34:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:65:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:87:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:82:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:136:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:142:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:241:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp:119:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:62:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:88:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:57:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:63:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:70:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:47:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:80:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:30:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:67:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/copy_instructions.cpp:115:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/copy_instructions.cpp:116:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/copy_instructions.cpp:135:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/copy_instructions.cpp:154:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:35:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:41:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:43:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:44:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:59:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:63:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:64:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:80:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:91:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:102:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:162:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/counterexample.cpp:222:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:44:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:47:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:50:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:52:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:55:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:56:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:57:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:100:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:102:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:105:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:106:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:107:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:114:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/replace_operators.cpp:115:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/converters/solution.cpp:19:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:46:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/jsa/genetic/jsa_serialiser.cpp:34:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_source_provider.cpp:246:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:31:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/jsa_meta_data.cpp:19:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/jsa_meta_data.cpp:56:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/temps_helper.cpp:39:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/temps_helper.cpp:64:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/temps_helper.cpp:67:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/instrument/temps_helper.cpp:70:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/extract_candidate.cpp:29:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/extract_candidate.cpp:39:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/extract_candidate.cpp:52:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/extract_candidate.cpp:54:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/extract_candidate.cpp:145:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/instrument_pred_ops.cpp:33:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:37:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:51:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:69:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:105:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/learn/jsa_symex_learn.cpp:51:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:31:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:75:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:81:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:32:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:89:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:91:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:45:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:47:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:49:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:25:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:34:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/verify/extract_counterexample.cpp:35:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/verify/insert_solution.cpp:121:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/verify/insert_solution.cpp:139:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/verify/insert_solution.cpp:154:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/jsa/verify/renondet_inputs.cpp:19:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/learn/constraint_helper.cpp:20:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/learn/constraint_helper.cpp:22:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/learn/insert_counterexample.cpp:54:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/learn/insert_counterexample.cpp:151:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/constraint/constraint_factory.cpp:57:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:142:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:180:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:192:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:213:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:241:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/constraint/constraint_factory.cpp:241:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:242:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:117:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:29:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:116:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:202:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:30:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:44:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:65:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:100:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:113:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:181:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:82:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:85:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:88:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:101:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:104:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:106:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:110:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:114:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:116:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:30:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:42:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:55:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:60:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:129:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/learn/refactor_symex_learn.cpp:74:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/learn/refactor_symex_learn.cpp:78:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:32:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:62:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/refactor/nullobject/nullable_analysis.cpp:66:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:99:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:110:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:112:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:126:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:19:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:39:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:43:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:44:  Statement after else if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:71:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/nullobject/range_collector.cpp:74:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/options/refactor_program.cpp:36:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/refactor/options/refactor_program.cpp:72:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/preprocessing/collect_counterexamples.cpp:30:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/runner/cegis_parse_options.cpp:46:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/facade/safety_runner.cpp:138:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:82:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:92:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/learn/add_counterexamples.cpp:40:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/learn/safety_learn_config.cpp:79:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/learn/solution_factory.cpp:126:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/verify/insert_candidate.cpp:21:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/safety/symex/verify/safety_verify_config.cpp:80:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/seed/literals_seed.cpp:42:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:61:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:92:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:118:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:120:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:141:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:161:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:191:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:192:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:228:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:230:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/seed/literals_seed.cpp:304:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/value/assignments_printer.cpp:19:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/value/program_individual_serialisation.cpp:24:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/value/program_individual_serialisation.cpp:26:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/value/program_individual_serialisation.cpp:28:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:27:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:64:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:65:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:68:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:72:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:114:  Statement after an if should be on a new line  [readability/braces] [5]
src/cegis/wordsize/restrict_bv_size.cpp:116:  Statement after an if should be on a new line  [readability/braces] [5]
src/cpp/parse.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-cc/xml_binaries/xml_goto_program.cpp:41:  Missing space after ;  [whitespace/semicolon] [3]
src/goto-cc/xml_binaries/xml_goto_program_hashing.cpp:41:  Missing space after ;  [whitespace/semicolon] [3]
src/goto-cc/xml_binaries/xml_irep_hashing.cpp:77:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-cc/xml_binaries/xml_irep_hashing.cpp:158:  Statement after an if should be on a new line  [readability/braces] [5]
src/goto-cc/xml_binaries/xml_irep_hashing.cpp:317:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-cc/xml_binaries/xml_irep_hashing.cpp:367:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-cc/xml_binaries/xml_irep_hashing.cpp:390:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-diff/change_impact.cpp:290:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:291:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:293:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:294:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:484:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:485:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:485:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-diff/change_impact.cpp:520:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:521:  Tab found, replace by spaces  [whitespace/tab] [1]
src/goto-diff/change_impact.cpp:521:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-diff/goto_diff_parse_options.cpp:344:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/goto-instrument/accelerate/accelerate.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/accelerate.cpp:56:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:80:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:107:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:160:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:254:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:290:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:329:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:333:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:346:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:356:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:371:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:375:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:475:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:480:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:488:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:496:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:497:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:511:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:516:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:560:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/accelerate.cpp:586:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:92:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:148:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:223:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:236:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:236:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:242:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:262:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:284:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:384:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:447:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:451:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:494:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:568:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:595:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:610:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:614:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:614:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:705:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:718:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:720:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:720:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:809:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:813:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:821:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:825:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:849:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:860:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:877:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:898:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:954:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:967:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:985:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:993:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:1002:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:1002:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:1076:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/accelerate/acceleration_utils.cpp:1089:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/acceleration_utils.cpp:1098:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:8:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:16:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:35:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:40:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:49:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:87:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:96:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:114:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:122:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/all_paths_enumerator.cpp:128:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:11:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:23:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:61:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:68:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:69:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:80:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:83:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:83:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:84:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:100:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/cone_of_influence.cpp:116:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:51:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:54:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:68:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:77:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:89:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:100:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:104:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:116:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:131:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:143:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:160:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:171:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:182:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:186:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:231:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:280:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:289:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:316:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:331:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:443:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:450:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:457:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:491:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:527:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:547:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:581:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:596:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:603:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:613:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:633:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:666:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:697:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:713:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:727:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:736:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:746:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:761:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:807:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:813:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:827:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:840:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp:853:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/enumerating_loop_acceleration.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/enumerating_loop_acceleration.cpp:15:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/enumerating_loop_acceleration.cpp:27:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:36:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:40:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:43:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:67:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:80:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:81:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:89:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:90:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:92:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:104:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:104:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:106:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:115:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:115:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:116:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:121:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:127:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:127:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:129:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:139:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:139:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:141:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:147:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:147:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:148:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:154:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:161:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:163:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:166:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:198:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:211:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/overflow_instrumenter.cpp:215:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/polynomial.cpp:23:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:38:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:48:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:53:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:54:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:60:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:72:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:83:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:91:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:94:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:94:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:96:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:96:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:99:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:99:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:111:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:111:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:129:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:149:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:152:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:157:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:163:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:163:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:168:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:168:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:178:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:183:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:223:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:233:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:237:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:244:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:244:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:259:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:264:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:285:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:290:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:294:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:294:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:299:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:301:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:301:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:312:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:315:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:315:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:318:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:318:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:332:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:345:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:356:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:380:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial.cpp:388:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:76:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:81:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:95:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:102:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:118:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:122:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:133:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:168:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:232:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:296:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:335:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:370:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:405:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:448:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:455:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:473:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:480:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:490:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:495:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:507:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:540:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:553:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:614:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:689:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:695:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:697:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:703:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:703:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/polynomial_accelerator.cpp:709:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:58:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:73:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:99:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:129:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:145:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:159:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:168:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:178:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:193:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:239:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:245:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/sat_path_enumerator.cpp:259:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/scratch_program.cpp:35:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:39:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:98:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:109:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:112:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:116:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:116:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:126:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:128:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:128:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:129:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:132:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:132:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/scratch_program.cpp:159:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:37:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:70:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:116:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:131:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:173:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:185:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:201:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:215:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:232:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:328:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:331:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:331:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:385:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/trace_automaton.cpp:393:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/goto-instrument/accelerate/trace_automaton.cpp:425:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/util.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/accelerate/util.cpp:60:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/accelerate/util.cpp:65:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-instrument/rw_set.cpp:192:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/wmm/event_graph.cpp:1063:  Statement after an if should be on a new line  [readability/braces] [5]
src/goto-instrument/wmm/goto2graph.cpp:663:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/goto-instrument/wmm/shared_buffers.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/goto-instrument/wmm/shared_buffers.cpp:1344:  At least one space is best between code and comments  [whitespace/comments] [2]
src/goto-programs/remove_unused_functions.cpp:85:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-programs/string_abstraction.cpp:1135:  Statement after an if should be on a new line  [readability/braces] [5]
src/goto-programs/string_abstraction.cpp:1626:  Statement after an if should be on a new line  [readability/braces] [5]
src/goto-symex/slice_by_trace.cpp:65:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:98:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:152:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:152:  Extra space before ( in function call  [whitespace/parens] [4]
src/goto-symex/slice_by_trace.cpp:160:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:160:  Extra space before ( in function call  [whitespace/parens] [4]
src/goto-symex/slice_by_trace.cpp:165:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:224:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:298:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:308:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:324:  Missing space after ,  [whitespace/comma] [3]
src/goto-symex/slice_by_trace.cpp:324:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:327:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:364:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:385:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:460:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:478:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:488:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-symex/slice_by_trace.cpp:488:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:501:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:512:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:637:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-symex/slice_by_trace.cpp:637:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:642:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-symex/slice_by_trace.cpp:642:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:651:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/goto-symex/slice_by_trace.cpp:651:  Put braces on a separate next line  [whitespace/braces] [5]
src/goto-symex/slice_by_trace.cpp:664:  Put braces on a separate next line  [whitespace/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:101:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:130:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:146:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:162:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:173:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:187:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:196:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:199:  Statement after an if should be on a new line  [readability/braces] [5]
src/java_bytecode/java_bytecode_vtable.cpp:417:  Put braces on a separate next line  [whitespace/braces] [5]
src/musketeer/cycles_visitor.cpp:234:  Missing space after ,  [whitespace/comma] [3]
src/musketeer/cycles_visitor.cpp:236:  Missing space after ,  [whitespace/comma] [3]
src/musketeer/cycles_visitor.cpp:238:  Missing space after ,  [whitespace/comma] [3]
src/musketeer/cycles_visitor.cpp:240:  Missing space after ,  [whitespace/comma] [3]
src/musketeer/cycles_visitor.cpp:242:  Missing space after ,  [whitespace/comma] [3]
src/musketeer/fence_inserter.cpp:594:  Put braces on a separate next line  [whitespace/braces] [5]
src/musketeer/fence_inserter.cpp:666:  Put braces on a separate next line  [whitespace/braces] [5]
src/musketeer/propagate_const_function_pointers.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/pointer-analysis/value_set.cpp:1850:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/pointer-analysis/value_set_dereference.cpp:592:  Tab found, replace by spaces  [whitespace/tab] [1]
src/pointer-analysis/value_set_fivr.cpp:293:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/pointer-analysis/value_set_fivr.cpp:316:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/pointer-analysis/value_set_fivr.cpp:360:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/pointer-analysis/value_set_fivr.cpp:365:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/flattening/arrays.cpp:682:  Missing space after ,  [whitespace/comma] [3]
src/solvers/flattening/arrays.cpp:723:  Missing space after ,  [whitespace/comma] [3]
src/solvers/prop/aig_prop.cpp:413:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/prop/aig_prop.cpp:426:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/prop/aig_prop.cpp:427:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/prop/aig_prop.cpp:433:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/prop/aig_prop.cpp:627:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/prop/aig_prop.cpp:639:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/sat/pbs_dimacs_cnf.cpp:87:  Missing space after ,  [whitespace/comma] [3]
src/solvers/sat/pbs_dimacs_cnf.cpp:111:  Put braces on a separate next line  [whitespace/braces] [5]
src/solvers/sat/pbs_dimacs_cnf.cpp:167:  Missing space after ,  [whitespace/comma] [3]
src/solvers/sat/pbs_dimacs_cnf.cpp:172:  Missing space after ,  [whitespace/comma] [3]
src/solvers/sat/pbs_dimacs_cnf.cpp:177:  Missing space after ,  [whitespace/comma] [3]
src/solvers/sat/pbs_dimacs_cnf.cpp:182:  Missing space after ,  [whitespace/comma] [3]
src/solvers/sat/pbs_dimacs_cnf.cpp:185:  Missing space after ,  [whitespace/comma] [3]
src/solvers/smt1/smt1_dec.cpp:701:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/util/ieee_float.cpp:177:  At least one space is best between code and comments  [whitespace/comments] [2]
src/util/pointer_offset_size.cpp:661:  Tab found, replace by spaces  [whitespace/tab] [1]
src/util/pointer_offset_size.cpp:662:  Tab found, replace by spaces  [whitespace/tab] [1]
src/util/pointer_offset_size.cpp:663:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
unit/float_utils.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
unit/miniBDD.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
unit/wp.cpp:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]