The linter output is below (empty output means no errors).
src/solvers/refinement/string_constraint_generator_indexof.cpp:247:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_indexof.cpp:360:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_indexof.cpp:362:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_insert.cpp:60:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_testing.cpp:73:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_transformation.cpp:79:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_transformation.cpp:372:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_transformation.cpp:554:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_transformation.cpp:555:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_constraint_generator_valueof.cpp:272:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_refinement.cpp:218:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_refinement.cpp:470:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_refinement.cpp:472:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/solvers/refinement/string_refinement.cpp:476:  Lines should be <= 80 characters long  [whitespace/line_length] [2]