The linter output is below (empty output means no errors). regression/cpp-linter/assert/main.cpp:8: assert is depreciated, use UNREACHABLE instead [build/depreciated] [4] src/cbmc/cbmc_parse_options.cpp:152: Weird number of spaces at line-start. Are you using a 2-space indent? [whitespace/indent] [3] src/cbmc/cbmc_parse_options.cpp:153: Remove space before ( in if ( [whitespace/parens] [5] src/util/invariant.cpp:47: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/invariant.cpp:47: Extra space before ( in function call [whitespace/parens] [4] src/util/invariant.cpp:50: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:52: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:56: Remove space before ( in if ( [whitespace/parens] [5] src/util/invariant.cpp:67: Remove space before ( in if ( [whitespace/parens] [5] src/util/invariant.cpp:76: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:100: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/invariant.cpp:103: Remove space before ( in if ( [whitespace/parens] [5] src/util/invariant.cpp:107: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:107: Redundant blank line at the start of a code block should be deleted. [whitespace/blank_line] [2] src/util/invariant.cpp:113: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:121: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:124: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:129: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:132: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:133: Remove space before ( in for ( [whitespace/parens] [5] src/util/invariant.cpp:135: Remove space before ( in if ( [whitespace/parens] [5] src/util/invariant.cpp:139: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:141: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:145: Line ends in whitespace. Consider deleting these extra spaces. [whitespace/end_of_line] [4] src/util/invariant.cpp:153: Redundant blank line at the end of a code block should be deleted. [whitespace/blank_line] [3] src/util/invariant.h:73: assert is depreciated, use INVARIANT, PRECONDITION, CHECK_RETURN, etc. instead [build/depreciated] [4] src/util/irep.cpp:788: Redundant blank line at the end of a code block should be deleted. [whitespace/blank_line] [3] src/util/irep.cpp:819: Redundant blank line at the end of a code block should be deleted. [whitespace/blank_line] [3] src/util/std_expr.h:372: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:382: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:1863: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:1863: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:1873: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:1873: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:1975: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:1975: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:1985: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:1985: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2017: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2017: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2027: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2027: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2061: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2061: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2071: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2071: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2103: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2103: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2113: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2113: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2146: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2146: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:2156: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:2156: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:3304: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:3314: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:3789: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:3789: Should have a space between // and comment [whitespace/comments] [4] src/util/std_expr.h:3799: Lines should be <= 80 characters long [whitespace/line_length] [2] src/util/std_expr.h:3799: Should have a space between // and comment [whitespace/comments] [4]