src/ansi-c/arm_builtin_headers.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/arm_builtin_headers.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_ARM_BUILTIN_HEADERS_H  [build/header_guard] [5]
src/ansi-c/clang_builtin_headers.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/clang_builtin_headers.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_CLANG_BUILTIN_HEADERS_H  [build/header_guard] [5]
src/ansi-c/cw_builtin_headers.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/cw_builtin_headers.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_CW_BUILTIN_HEADERS_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_alpha.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_alpha.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_ALPHA_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_arm.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_arm.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_ARM_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_generic.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_generic.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_GENERIC_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_generic.h:35:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:51:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:54:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:58:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:60:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:62:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:64:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:67:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:68:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:69:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:70:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:71:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:71:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_generic.h:80:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:81:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_generic.h:218:  Typedef identifier should end with t  [readability/identifiers] [4]
src/ansi-c/gcc_builtin_headers_generic.h:220:  Put braces on a separate next line  [whitespace/braces] [5]
src/ansi-c/gcc_builtin_headers_generic.h:221:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_ia32-2.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_IA32_2_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_ia32-2.h:5:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:11:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:12:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:13:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:14:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:15:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:16:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:64:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:65:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:66:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:67:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:68:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:69:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:70:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:71:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:72:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:73:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:75:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:76:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:77:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:79:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:108:  Pointer type name must have * attached to the type name  [whitespace/operators] [4]
src/ansi-c/gcc_builtin_headers_ia32-2.h:135:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:136:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:153:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:154:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:182:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:184:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:186:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:187:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:188:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:204:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:215:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:216:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:217:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:218:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:228:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:229:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:230:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:231:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:232:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:233:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:251:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:252:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:253:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:254:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:255:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:256:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:257:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:258:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:284:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:285:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:286:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:287:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:288:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:291:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:292:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:295:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:296:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:298:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:300:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:302:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:303:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:304:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:306:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:308:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:309:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:310:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:312:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:314:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:315:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:316:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:317:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:322:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:323:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:324:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:325:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:326:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:327:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:336:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:337:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:338:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:339:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:340:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:341:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:344:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:345:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:346:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:347:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:350:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:354:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:355:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:356:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:357:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:359:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:360:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:361:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:362:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:363:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:364:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:365:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:366:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:367:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:368:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:369:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:370:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:371:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:372:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:373:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:374:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:375:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:376:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:377:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:384:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:385:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:396:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:397:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:406:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:410:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:411:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:413:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:421:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:422:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:423:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:427:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:428:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:431:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:432:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:433:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:434:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:435:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:436:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:437:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:438:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:440:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:443:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:444:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:447:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:448:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:451:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:452:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:455:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:456:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:459:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:460:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:463:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:464:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:471:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:472:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:491:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:492:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:497:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:498:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:499:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:500:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:501:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:502:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:503:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:504:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:505:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:509:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:510:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:511:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:512:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:513:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:514:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:515:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:516:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:517:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:518:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:519:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:520:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:521:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:522:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:523:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:524:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:566:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:567:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:568:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:569:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:570:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:571:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:572:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:573:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:574:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:574:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:575:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:575:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:576:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:576:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:577:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:577:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:578:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:579:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:580:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:581:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:582:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:583:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:584:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:584:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:585:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:586:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:587:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:588:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:589:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:590:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:591:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:591:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:592:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:593:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:593:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:594:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:595:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:596:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:596:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:597:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:598:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:603:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:605:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:606:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:607:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:608:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:609:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:610:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:611:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:612:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:613:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:614:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:614:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:615:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:615:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:616:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:616:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:617:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:617:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:618:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:619:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:620:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:621:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:622:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:623:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:624:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:624:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:625:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:636:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:637:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:640:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:641:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:642:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:643:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:644:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32-2.h:646:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:647:  Extra space after ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32-2.h:648:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:650:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32-2.h:651:  Extra space after ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32-2.h:652:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_ia32.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_IA32_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_ia32.h:30:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:31:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:32:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:33:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:433:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:451:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:455:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:456:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:457:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:458:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:459:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:460:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:461:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:462:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:463:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:464:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:465:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:466:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:467:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:468:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:469:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:470:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:471:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:472:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:481:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:482:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:483:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:484:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:485:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:486:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:487:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:492:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:493:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:494:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:495:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:496:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:497:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:498:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:499:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:500:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:501:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:502:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:503:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:509:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:510:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:511:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:512:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:517:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:518:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:519:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:521:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:522:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:525:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:526:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:532:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:533:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:534:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:535:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:536:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:537:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:538:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:539:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:540:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:546:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:547:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:548:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:549:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:550:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:551:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:552:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:553:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:554:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:555:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:556:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:557:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:558:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:559:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:560:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:561:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:562:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:563:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:564:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:565:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:566:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:567:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:568:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:569:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:570:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:571:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:572:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:573:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:574:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:575:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:576:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:577:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:578:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:581:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:582:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:583:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:587:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:588:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:589:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:590:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:591:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:592:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:593:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:594:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:595:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:596:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:597:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:598:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:599:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:600:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:601:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:602:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:603:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:604:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:605:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:606:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:607:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:608:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:609:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:610:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:611:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:612:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:613:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:614:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:615:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:616:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:617:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:618:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:619:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:620:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:621:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:622:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:623:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:624:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:625:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:626:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:627:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:628:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:629:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:630:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:631:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:632:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:633:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:647:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:649:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:650:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:651:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:652:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:653:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:654:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:655:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:656:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:657:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:658:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:659:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:660:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:661:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:662:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:663:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:664:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:665:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:666:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:667:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:668:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:669:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:670:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:671:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:672:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:673:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:675:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:676:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:677:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:678:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:679:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:680:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:681:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:682:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:683:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:684:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:685:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:686:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:687:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:688:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:689:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:690:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:691:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:692:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:693:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:694:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:695:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:696:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:697:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:703:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:704:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:713:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:714:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:715:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:716:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:717:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:718:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:719:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:720:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:721:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:722:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:723:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:724:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:725:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:726:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:727:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:728:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:729:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:730:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:731:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:732:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:733:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:734:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:735:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:736:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:737:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:738:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:738:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:739:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:739:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:740:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:740:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:741:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:741:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:742:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:742:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:743:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:743:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:744:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:744:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:745:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:745:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:746:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:746:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:747:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:747:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:748:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:748:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:749:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:749:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:750:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:750:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:751:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:751:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:752:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:752:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:753:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:753:  Missing space after ,  [whitespace/comma] [3]
src/ansi-c/gcc_builtin_headers_ia32.h:774:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:775:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:777:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:793:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:794:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:795:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:796:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:918:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:919:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:920:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:921:  Extra space before ( in function call  [whitespace/parens] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:937:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:938:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:939:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/gcc_builtin_headers_ia32.h:943:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:945:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:947:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_ia32.h:958:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/gcc_builtin_headers_mips.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_mips.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_MIPS_H  [build/header_guard] [5]
src/ansi-c/gcc_builtin_headers_power.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/gcc_builtin_headers_power.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_GCC_BUILTIN_HEADERS_POWER_H  [build/header_guard] [5]
src/ansi-c/library/cprover.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/ansi-c/library/cprover.h:0:  No #ifndef header guard found, suggested CPP variable is: CPROVER_ANSI_C_LIBRARY_CPROVER_H  [build/header_guard] [5]
src/ansi-c/library/cprover.h:1:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/cprover.h:21:  Typedef identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/cprover.h:22:  Typedef identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/cprover.h:44:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/library/cprover.h:51:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/library/cprover.h:54:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/library/cprover.h:55:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/library/cprover.h:81:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/library/cprover.h:92:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/library/cprover.h:94:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/library/cprover.h:108:  Put braces on a separate next line  [whitespace/braces] [5]
src/ansi-c/library/jsa.h:68:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:69:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:70:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:71:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:72:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:73:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:74:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:75:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:76:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:83:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:95:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:106:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:117:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:126:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:128:  Do not use variable-length arrays.  [runtime/arrays] [1]
src/ansi-c/library/jsa.h:144:  Do not use variable-length arrays.  [runtime/arrays] [1]
src/ansi-c/library/jsa.h:154:  Do not use variable-length arrays.  [runtime/arrays] [1]
src/ansi-c/library/jsa.h:272:  Else should be on a new line after closing brace  [readability/braces] [5]
src/ansi-c/library/jsa.h:280:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:298:  Else should be on a new line after closing brace  [readability/braces] [5]
src/ansi-c/library/jsa.h:306:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:345:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:360:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:371:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:384:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:412:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:437:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:440:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/ansi-c/library/jsa.h:455:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:503:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:518:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:531:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:542:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:665:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:679:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:691:  Put braces on a separate next line  [whitespace/braces] [5]
src/ansi-c/library/jsa.h:698:  Put braces on a separate next line  [whitespace/braces] [5]
src/ansi-c/library/jsa.h:709:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:728:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:743:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:761:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:813:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:826:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:839:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:853:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:868:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:881:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:895:  Line contains only semicolon. If this should be an empty statement, use {} instead.  [whitespace/semicolon] [5]
src/ansi-c/library/jsa.h:939:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:958:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:987:  Remove space before ( in switch (  [whitespace/parens] [5]
src/ansi-c/library/jsa.h:1034:  Remove space before ( in switch (  [whitespace/parens] [5]
src/ansi-c/library/jsa.h:1104:  Put braces on a separate next line  [whitespace/braces] [5]
src/ansi-c/library/jsa.h:1192:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/ansi-c/library/jsa.h:1303:  Should have a space between // and comment  [whitespace/comments] [4]
src/ansi-c/library/jsa.h:1307:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/big-int/allocainc.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/big-int/allocainc.h:9:  Tab found, replace by spaces  [whitespace/tab] [1]
src/big-int/allocainc.h:10:  Tab found, replace by spaces  [whitespace/tab] [1]
src/big-int/allocainc.h:10:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:11:  Tab found, replace by spaces  [whitespace/tab] [1]
src/big-int/allocainc.h:11:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:12:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:13:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:14:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:19:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:20:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/big-int/allocainc.h:27:  Extra space before ( in function call  [whitespace/parens] [4]
src/cbmc/version.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/cegis/cegis-util/cbmc_runner.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/cbmc_runner.cpp:42:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/cegis-util/cbmc_runner.cpp:76:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/cegis-util/cbmc_runner.cpp:90:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/cbmc_runner.cpp:91:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/cbmc_runner.cpp:128:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:21:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:24:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:29:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/constant_width.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:20:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/counterexample_vars.cpp:29:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:53:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:90:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/counterexample_vars.cpp:98:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/cegis-util/counterexample_vars.cpp:107:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:121:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:126:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/counterexample_vars.cpp:133:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/counterexample_vars.cpp:137:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/cegis-util/inline_user_program.cpp:17:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/inline_user_program.cpp:22:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/inline_user_program.cpp:24:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/inline_user_program.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/inline_user_program.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/inline_user_program.cpp:39:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/inline_user_program.cpp:10:  src/cegis/cegis-util/inline_user_program.cpp should include its header file src/cegis/cegis-util/inline_user_program.h  [build/include] [5]
src/cegis/cegis-util/instruction_iterator.cpp:12:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/instruction_iterator.cpp:17:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:29:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:31:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:37:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/cegis-util/instruction_iterator.cpp:37:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:40:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:45:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/cegis-util/instruction_iterator.cpp:46:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/cegis-util/instruction_iterator.cpp:51:  Using C-style cast.  Use static_cast<int>(...) instead  [readability/casting] [4]
src/cegis/cegis-util/irep_pipe.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/irep_pipe.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:51:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:85:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:88:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/irep_pipe.cpp:104:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:107:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:120:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/irep_pipe.cpp:134:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/irep_pipe.cpp:139:  Remove space before ( in if (  [whitespace/parens] [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/irep_pipe.cpp:141:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/cegis-util/module_helper.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:61:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/program_helper.cpp:79:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:80:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:101:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:106:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:107:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:109:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:113:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:115:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:121:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:127:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:142:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:157:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:175:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:176:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:180:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/program_helper.cpp:186:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:188:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:195:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:196:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:197:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:216:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:254:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/program_helper.cpp:335:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/program_helper.cpp:339:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/cegis-util/program_helper.h:213:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/cegis-util/string_helper.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:37:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/task_pool.cpp:44:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:57:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:60:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:75:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:89:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:127:  Remove space before ( in if (  [whitespace/parens] [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:134:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:135:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:149:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/task_pool.cpp:163:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:23:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:30:  Do not use namespaces  [readability/namespace] [4]
src/cegis/cegis-util/type_helper.cpp:34:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/cegis-util/type_helper.cpp:65:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:17:  Do not use namespaces  [readability/namespace] [4]
src/cegis/constant/add_constant.cpp:22:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:24:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:25:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:38:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:55:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:60:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:67:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/add_constant.cpp:10:  src/cegis/constant/add_constant.cpp should include its header file src/cegis/constant/add_constant.h  [build/include] [5]
src/cegis/constant/default_cegis_constant_strategy.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/constant/default_cegis_constant_strategy.cpp:34:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/constant/default_cegis_constant_strategy.cpp:37:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/constant/default_cegis_constant_strategy.cpp:38:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/constant/default_cegis_constant_strategy.cpp:10:  src/cegis/constant/default_cegis_constant_strategy.cpp should include its header file src/cegis/constant/default_cegis_constant_strategy.h  [build/include] [5]
src/cegis/constant/literals_collector.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/constant/literals_collector.cpp:50:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/literals_collector.cpp:53:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/literals_collector.cpp:62:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/constant/literals_collector.cpp:10:  src/cegis/constant/literals_collector.cpp should include its header file src/cegis/constant/literals_collector.h  [build/include] [5]
src/cegis/control/facade/control_runner.cpp:27:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/facade/control_runner.cpp:49:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/learn/nondet_solution.cpp:10:  src/cegis/control/learn/nondet_solution.cpp should include its header file src/cegis/control/learn/nondet_solution.h  [build/include] [5]
src/cegis/control/learn/print_control_solution.cpp:21:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/learn/rational_solution_configuration.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/learn/rational_solution_configuration.cpp:30:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/learn/rational_solution_configuration.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/learn/rational_solution_configuration.cpp:35:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/learn/vector_solution_configuration.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/learn/vector_solution_configuration.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/learn/vector_solution_configuration.cpp:51:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/learn/vector_solution_configuration.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/options/control_program.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/preprocessing/control_preprocessing.cpp:35:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/preprocessing/control_preprocessing.cpp:37:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:49:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:50:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:51:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:57:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:70:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:74:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:80:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/control_preprocessing.cpp:102:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:26:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:58:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:83:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:85:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:91:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:97:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:99:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:100:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:107:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:115:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:122:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:126:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/preprocessing/propagate_controller_sizes.cpp:10:  src/cegis/control/preprocessing/propagate_controller_sizes.cpp should include its header file src/cegis/control/preprocessing/propagate_controller_sizes.h  [build/include] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:17:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/simplify/remove_unused_elements.cpp:32:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:41:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:45:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:55:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:65:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:68:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:72:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:76:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/simplify/remove_unused_elements.cpp:81:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:87:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/control/simplify/remove_unused_elements.cpp:90:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:105:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:109:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:113:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/simplify/remove_unused_elements.cpp:10:  src/cegis/control/simplify/remove_unused_elements.cpp should include its header file src/cegis/control/simplify/remove_unused_elements.h  [build/include] [5]
src/cegis/control/value/control_types.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/value/control_types.h:33:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/control/value/control_vector_solution.cpp:15:  Redundant blank line at the end of a code block should be deleted.  [whitespace/blank_line] [3]
src/cegis/control/value/float_helper.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/value/float_helper.cpp:39:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/value/float_helper.cpp:50:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/value/float_helper.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/value/float_helper.cpp:10:  src/cegis/control/value/float_helper.cpp should include its header file src/cegis/control/value/float_helper.h  [build/include] [5]
src/cegis/control/verify/insert_solution.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/verify/insert_solution.cpp:34:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/control/verify/insert_solution.cpp:35:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/verify/insert_solution.cpp:79:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/verify/insert_solution.cpp:91:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/verify/insert_solution.cpp:10:  src/cegis/control/verify/insert_solution.cpp should include its header file src/cegis/control/verify/insert_solution.h  [build/include] [5]
src/cegis/control/verify/zero_solutions.cpp:30:  Do not use namespaces  [readability/namespace] [4]
src/cegis/control/verify/zero_solutions.cpp:42:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/control/verify/zero_solutions.cpp:58:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/constraint/danger_constraint_factory.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/constraint/danger_constraint_factory.cpp:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/constraint/danger_constraint_factory.cpp:42:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/constraint/danger_constraint_factory.cpp:47:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/constraint/danger_constraint_factory.cpp:48:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/constraint/danger_constraint_factory.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/constraint/danger_constraint_factory.cpp:57:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/danger/constraint/danger_constraint_factory.cpp:66:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/constraint/danger_constraint_factory.h:20:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/danger/facade/danger_runner.cpp:53:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/facade/danger_runner.cpp:68:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/danger/facade/danger_runner.cpp:70:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:72:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/facade/danger_runner.cpp:81:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:110:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/facade/danger_runner.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:116:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/facade/danger_runner.cpp:119:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:130:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/facade/danger_runner.cpp:133:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:147:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/facade/danger_runner.cpp:165:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/genetic/dynamic_danger_test_runner.cpp:20:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/genetic/dynamic_danger_test_runner.cpp:43:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/meta/meta_variable_names.cpp:16:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/meta/meta_variable_names.cpp:30:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/meta/meta_variable_names.cpp:49:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/meta/meta_variable_names.cpp:59:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/meta/meta_variable_names.cpp:85:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/options/danger_program.cpp:32:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/options/danger_program_printer.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/options/danger_program_printer.cpp:40:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/options/danger_program_printer.cpp:81:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:19:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:34:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
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 if (  [whitespace/parens] [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 if (  [whitespace/parens] [5]
src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp:10:  src/cegis/danger/preprocess/add_ranking_and_skolem_variables.cpp should include its header file src/cegis/danger/preprocess/add_ranking_and_skolem_variables.h  [build/include] [5]
src/cegis/danger/preprocess/danger_preprocessing.cpp:37:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/preprocess/store_nondet_choices.cpp:16:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/preprocess/store_nondet_choices.cpp:22:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:23:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:33:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/preprocess/store_nondet_choices.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:39:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:49:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/preprocess/store_nondet_choices.cpp:49:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/preprocess/store_nondet_choices.cpp:10:  src/cegis/danger/preprocess/store_nondet_choices.cpp should include its header file src/cegis/danger/preprocess/store_nondet_choices.h  [build/include] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:28:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:46:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:56:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:67:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:86:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:90:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/fitness/danger_fitness_config.cpp:92:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:54:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:62:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_programs_to_learn.cpp:10:  src/cegis/danger/symex/learn/add_programs_to_learn.cpp should include its header file src/cegis/danger/symex/learn/add_programs_to_learn.h  [build/include] [5]
src/cegis/danger/symex/learn/add_variable_refs.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/learn/add_variable_refs.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_variable_refs.cpp:41:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/add_x0_placeholders.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/learn/add_x0_placeholders.cpp:23:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/danger_learn_config.cpp:63:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/danger_learn_config.cpp:65:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/danger_learn_config.cpp:106:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/read_x0.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/learn/read_x0.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/read_x0.cpp:35:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/read_x0.cpp:38:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/cegis/danger/symex/learn/read_x0.cpp:54:  Remove space before ( in while (  [whitespace/parens] [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/read_x0.cpp:76:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:31:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/learn/solution_factory.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:49:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:80:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:87:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:98:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:121:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:123:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:130:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:132:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:147:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:163:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:170:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:193:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:194:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:243:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:246:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/learn/solution_factory.cpp:251:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/learn/solution_factory.cpp:252:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/danger_verify_config.cpp:38:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/insert_candidate.cpp:23:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/verify/insert_candidate.cpp:78:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/insert_candidate.cpp:85:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/insert_candidate.cpp:87:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/insert_candidate.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/parallel_danger_verifier.cpp:42:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verifier.cpp:47:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verifier.h:33:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/danger/symex/verify/parallel_danger_verifier.h:43:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:38:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:39:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:55:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:225:  Missing space before {  [whitespace/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:  Missing space before {  [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:245:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:251:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:254:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:275:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:283:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:291:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:293:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:297:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:305:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:312:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/parallel_danger_verify_task.cpp:325:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/parallel_danger_verify_task.h:17:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/cegis/danger/symex/verify/parallel_danger_verify_task.h:64:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/danger/symex/verify/restrict_counterexamples.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/danger/symex/verify/restrict_counterexamples.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/restrict_counterexamples.cpp:50:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/danger/symex/verify/restrict_counterexamples.cpp:73:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/facade/cegis.h:31:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/facade/cegis.h:32:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/facade/cegis.h:43:  while statement of do...while loop should be on a separate line to the closing brace  [readability/braces] [4]
src/cegis/facade/cegis.h:43:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/facade/cegis.h:44:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/facade/cegis.h:45:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:40:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/concrete_test_runner.cpp:46:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:47:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:48:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:50:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:57:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:58:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:59:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/concrete_test_runner.cpp:60:  Redundant blank line at the end of a code block should be deleted.  [whitespace/blank_line] [3]
src/cegis/genetic/concrete_test_runner.cpp:77:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:89:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:123:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:124:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:140:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:147:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:149:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:152:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:157:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:163:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.cpp:167:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/concrete_test_runner.h:44:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/dynamic_test_runner_helper.cpp:25:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/dynamic_test_runner_helper.cpp:34:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/dynamic_test_runner_helper.cpp:65:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/dynamic_test_runner_helper.cpp:74:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/dynamic_test_runner_helper.cpp:78:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/dynamic_test_runner_helper.cpp:85:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/ga_learn.h:13:  <chrono> is an unapproved C++11 header.  [build/c++11] [5]
src/cegis/genetic/ga_learn.h:21:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/ga_learn.h:123:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/genetic_constant_strategy.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/genetic_constant_strategy.cpp:52:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/genetic_constant_strategy.cpp:55:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:28:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/instruction_set_info_factory.cpp:33:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/cegis/genetic/instruction_set_info_factory.cpp:48:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:50:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:67:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/instruction_set_info_factory.cpp:78:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/cegis/genetic/instruction_set_info_factory.cpp:96:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/lazy_fitness.h:29:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/genetic/match_select.cpp:27:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:46:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/match_select.cpp:51:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/match_select.cpp:67:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:68:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:87:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:88:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:98:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:102:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:103:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:108:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:113:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:118:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:128:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:132:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:134:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:135:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/match_select.cpp:136:  Remove space before ( in if (  [whitespace/parens] [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:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/program_individual_test_runner_helper.cpp:20:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:23:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:24:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:26:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:28:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:35:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:38:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:39:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/program_individual_test_runner_helper.cpp:42:  Redundant blank line at the end of a code block should be deleted.  [whitespace/blank_line] [3]
src/cegis/genetic/program_individual_test_runner_helper.cpp:45:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/random_cross.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/random_cross.cpp:31:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_cross.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_cross.cpp:34:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_cross.cpp:72:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_cross.cpp:91:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_cross.cpp:93:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:35:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:37:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/genetic/random_individual.cpp:60:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:69:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:84:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/genetic/random_individual.cpp:85:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:106:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:113:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:115:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:139:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/random_individual.cpp:148:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:150:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_individual.cpp:151:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/random_mutate.cpp:34:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:44:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:46:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:51:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:62:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:64:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:67:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/random_mutate.cpp:70:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:21:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:23:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:27:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:31:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:36:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:40:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/serialise_individual.cpp:47:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/symex_test_runner.h:18:  Typedef identifier should end with t, not _t  [readability/identifiers] [4]
src/cegis/genetic/tournament_select.cpp:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/tournament_select.cpp:54:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:58:  Do not use namespaces  [readability/namespace] [4]
src/cegis/genetic/tournament_select.cpp:76:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/genetic/tournament_select.cpp:83:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:85:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:86:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:87:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:88:  Remove space before ( in if (  [whitespace/parens] [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:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:93:  Remove space before ( in if (  [whitespace/parens] [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:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:114:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/genetic/tournament_select.cpp:118:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instructions/instruction_set_factory.cpp:19:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instructions/instruction_set_factory.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instructions/instruction_set_factory.cpp:48:  Remove space before ( in if (  [whitespace/parens] [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:54:  Remove space before ( in if (  [whitespace/parens] [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:58:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instructions/instruction_set_factory.cpp:72:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instructions/instruction_set_factory.cpp:84:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instructions/instruction_set_factory.cpp:95:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/instructions/instruction_set_factory.cpp:104:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/instructions/instruction_set_factory.cpp:105:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/instrument/cegis_library.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/cegis_library.cpp:61:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/cegis_library.cpp:10:  src/cegis/instrument/cegis_library.cpp should include its header file src/cegis/instrument/cegis_library.h  [build/include] [5]
src/cegis/instrument/find_cprover_initialize.cpp:18:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/instrument/find_cprover_initialize.cpp:21:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/find_cprover_initialize.cpp:24:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/find_cprover_initialize.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/instrument_var_ops.cpp:34:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:37:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:40:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:47:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:49:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/instrument/instrument_var_ops.cpp:64:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/instrument_var_ops.cpp:71:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:73:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:75:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/instrument/instrument_var_ops.cpp:77:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:86:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/instrument_var_ops.cpp:104:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:106:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:110:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:114:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:121:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:124:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.cpp:127:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/instrument_var_ops.h:69:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/instrument/meta_variables.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/meta_variables.cpp:40:  Do not use namespaces  [readability/namespace] [4]
src/cegis/instrument/meta_variables.cpp:136:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/instrument/meta_variables.h:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/constant/add_constant.cpp:20:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/constant/add_constant.cpp:25:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:44:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:58:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:69:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/invariant/constant/add_constant.cpp:75:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/default_constant_strategy.cpp:28:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/invariant/constant/literals_constant_strategy.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/constant/literals_constant_strategy.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/literals_constant_strategy.cpp:55:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/constant/literals_constant_strategy.cpp:61:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/invariant/constant/literals_constant_strategy.cpp:62:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/invariant/constant/literals_constant_strategy.cpp:104:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/constant/literals_constant_strategy.cpp:108:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:27:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:30:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:53:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:64:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:74:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:99:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:126:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:127:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:146:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:160:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:163:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:179:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:186:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:198:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:219:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/fitness/concrete_fitness_source_provider.cpp:221:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/meta/meta_variable_names.cpp:20:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/options/invariant_program.cpp:28:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:19:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:37:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:43:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:47:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/add_invariants_and_temp_variables.cpp:51:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:17:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:23:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:34:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:58:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:62:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:65:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:69:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:85:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/preprocess/remove_loops_and_assertion.cpp:87:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:23:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:45:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:51:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:60:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:81:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:82:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:109:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:116:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:136:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:142:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:181:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:225:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:240:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/add_counterexamples.cpp:241:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp:83:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp:119:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp:10:  src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.cpp should include its header file src/cegis/invariant/symex/learn/add_invariant_programs_to_learn.h  [build/include] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/instrument_vars.cpp:58:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:62:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:78:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/instrument_vars.cpp:85:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:88:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/instrument_vars.cpp:90:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:15:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/learn/replace_operators.cpp:38:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/replace_operators.cpp:48:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:57:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:63:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:70:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:71:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/replace_operators.cpp:78:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/learn/replace_operators.cpp:83:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.cpp:94:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/learn/replace_operators.h:47:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:20:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:28:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:63:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:79:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/extract_counterexample.cpp:93:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_constraint.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/verify/insert_constraint.cpp:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/symex/verify/insert_program.cpp:13:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/symex/verify/insert_program.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:32:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:33:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:67:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_program.cpp:69:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/symex/verify/insert_program.h:55:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/util/copy_instructions.cpp:24:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:39:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:48:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/util/copy_instructions.cpp:50:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/util/copy_instructions.cpp:57:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/util/copy_instructions.cpp:70:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/util/copy_instructions.cpp:85:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/util/copy_instructions.cpp:99:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/util/copy_instructions.cpp:115:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:116:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:124:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:132:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:135:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:142:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:144:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.cpp:154:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/copy_instructions.h:22:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/invariant/util/invariant_constraint_variables.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/invariant/util/invariant_constraint_variables.cpp:35:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:43:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:44:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:59:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:63:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:64:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_constraint_variables.cpp:71:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:24:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:25:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/invariant/util/invariant_program_helper.cpp:10:  src/cegis/invariant/util/invariant_program_helper.cpp should include its header file src/cegis/invariant/util/invariant_program_helper.h  [build/include] [5]
src/cegis/jsa/constraint/jsa_constraint_factory.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/counterexample.cpp:39:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/counterexample.cpp:52:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/counterexample.cpp:80:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:91:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:102:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:127:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:148:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:155:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:162:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:165:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:175:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:176:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:186:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:187:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:204:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/counterexample.cpp:221:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/counterexample.cpp:222:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/replace_operators.cpp:44:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:47:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:50:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:55:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:57:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:68:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:75:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/replace_operators.cpp:93:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:100:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:102:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:105:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:106:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:107:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:114:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:115:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:117:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:119:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:121:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/converters/replace_operators.cpp:133:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/solution.cpp:19:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/converters/solution.cpp:19:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/translate_to_goto_program.cpp:29:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/converters/translate_to_goto_program.cpp:40:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/converters/translate_to_goto_program.cpp:45:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/converters/translate_to_goto_program.cpp:55:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/translate_to_goto_program.cpp:61:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/converters/translate_to_goto_program.cpp:73:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/converters/translate_to_goto_program.cpp:76:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/converters/translate_to_goto_program.cpp:81:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:38:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/facade/jsa_runner.cpp:46:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/jsa/facade/jsa_runner.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/facade/jsa_runner.cpp:71:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:75:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:82:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:92:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/facade/jsa_runner.cpp:95:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/dynamic_jsa_test_runner.cpp:52:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/dynamic_jsa_test_runner.cpp:56:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/dynamic_jsa_test_runner.cpp:73:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:32:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/genetic/jsa_random.cpp:37:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:45:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:52:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:59:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:60:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:61:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:62:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:68:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:75:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:83:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:92:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_random.cpp:97:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/jsa/genetic/jsa_random.cpp:99:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:122:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:127:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_random.cpp:132:  Consider using rand_r(...) instead of rand(...) for improved thread safety.  [runtime/threadsafe_fn] [2]
src/cegis/jsa/genetic/jsa_serialiser.cpp:34:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_serialiser.cpp:34:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:43:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:47:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:61:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:77:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/jsa/genetic/jsa_serialiser.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:88:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:91:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:104:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_serialiser.cpp:121:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_serialiser.cpp:127:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_serialiser.cpp:133:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_serialiser.h:41:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_source_provider.cpp:36:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_source_provider.cpp:39:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_source_provider.cpp:41:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/jsa_source_provider.cpp:43:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/genetic/jsa_source_provider.cpp:86:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:113:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:124:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:158:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:175:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:215:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:222:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:226:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/jsa/genetic/jsa_source_provider.cpp:246:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/genetic/random_jsa_cross.cpp:38:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:51:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:73:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_cross.cpp:75:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_cross.cpp:82:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:97:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_cross.cpp:101:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:104:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_cross.cpp:106:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_cross.cpp:113:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_cross.cpp:118:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:25:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:28:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:30:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:31:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:33:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/genetic/random_jsa_mutate.cpp:36:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/jsa/genetic/solution_helper.cpp:15:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/instrument/jsa_meta_data.cpp:17:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/jsa_meta_data.cpp:19:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/jsa_meta_data.cpp:27:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/instrument/jsa_meta_data.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/instrument/temps_helper.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:40:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:62:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:65:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:68:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:71:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/instrument/temps_helper.cpp:75:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/execute_jsa_programs.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/execute_jsa_programs.cpp:62:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/extract_candidate.cpp:29:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:39:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:50:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:54:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:58:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:68:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/extract_candidate.cpp:72:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:86:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/extract_candidate.cpp:90:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:103:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/extract_candidate.cpp:107:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:125:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:137:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/extract_candidate.cpp:145:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/extract_candidate.cpp:145:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:146:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/extract_candidate.cpp:147:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:27:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/insert_counterexample.cpp:41:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:48:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:49:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:70:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:142:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_counterexample.cpp:146:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_predicates_and_queries.cpp:29:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/insert_predicates_and_queries.cpp:77:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/insert_predicates_and_queries.cpp:83:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/instrument_pred_ops.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/instrument_pred_ops.cpp:34:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:36:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:38:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:51:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:52:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:60:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/learn/instrument_pred_ops.cpp:70:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:89:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:98:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/instrument_pred_ops.cpp:106:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/learn/jsa_symex_learn.cpp:34:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/jsa/learn/jsa_symex_learn.cpp:52:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/learn/jsa_symex_learn.cpp:52:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/options/jsa_program.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/add_constraint_meta_variables.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:27:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:31:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:74:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:75:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:81:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:99:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:100:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/add_synthesis_library.cpp:147:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:22:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/clone_heap.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:32:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:73:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/preprocessing/clone_heap.cpp:77:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/jsa/preprocessing/clone_heap.cpp:78:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/preprocessing/clone_heap.cpp:80:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/clone_heap.cpp:87:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:89:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:91:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:116:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/clone_heap.cpp:119:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/collect_variables.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:43:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:45:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:47:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/collect_variables.cpp:49:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/create_temp_variables.cpp:28:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/default_jsa_constant_strategy.cpp:19:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/default_jsa_constant_strategy.cpp:36:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/preprocessing/inline_user_program.cpp:23:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:25:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:34:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/preprocessing/inline_user_program.cpp:40:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/value/default_solution.cpp:25:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/value/jsa_counterexample_printer.cpp:15:  Redundant blank line at the start of a code block should be deleted.  [whitespace/blank_line] [2]
src/cegis/jsa/value/jsa_counterexample_printer.cpp:15:  Redundant blank line at the end of a code block should be deleted.  [whitespace/blank_line] [3]
src/cegis/jsa/value/jsa_genetic_counterexample.h:30:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/value/jsa_genetic_synthesis.h:26:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/jsa/value/jsa_solution.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/value/jsa_solution.cpp:24:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/value/jsa_solution.cpp:46:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/jsa/value/jsa_solution_printer.cpp:19:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/value/jsa_solution_printer.cpp:23:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/value/jsa_solution_printer.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/value/jsa_solution_printer.cpp:54:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/value/jsa_solution_printer.cpp:63:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/value/jsa_solution_printer.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/verify/extract_counterexample.cpp:26:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/verify/extract_counterexample.cpp:36:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/verify/extract_counterexample.cpp:40:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/verify/insert_solution.cpp:30:  Do not use namespaces  [readability/namespace] [4]
src/cegis/jsa/verify/insert_solution.cpp:56:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/verify/insert_solution.cpp:78:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/verify/insert_solution.cpp:90:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/jsa/verify/insert_solution.cpp:121:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/verify/insert_solution.cpp:139:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/verify/insert_solution.cpp:154:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/verify/jsa_symex_verify.cpp:30:  Should have a space between // and comment  [whitespace/comments] [4]
src/cegis/jsa/verify/renondet_inputs.cpp:19:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/jsa/verify/renondet_inputs.cpp:23:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/jsa/verify/renondet_inputs.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/concurrent_learn.h:33:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/learn/concurrent_learn.h:34:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/learn/concurrent_learn.h:35:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/learn/constraint_helper.cpp:18:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/constraint_helper.cpp:20:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/constraint_helper.cpp:21:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/constraint_helper.cpp:22:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/constraint_helper.cpp:10:  src/cegis/learn/constraint_helper.cpp should include its header file src/cegis/learn/constraint_helper.h  [build/include] [5]
src/cegis/learn/insert_counterexample.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:50:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:52:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:55:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:58:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:65:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:66:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:76:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:86:  Do not use namespaces  [readability/namespace] [4]
src/cegis/learn/insert_counterexample.cpp:114:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:115:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:120:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:142:  Do not use namespaces  [readability/namespace] [4]
src/cegis/learn/insert_counterexample.cpp:152:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/learn/insert_counterexample.cpp:152:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:179:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:226:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/learn/insert_counterexample.cpp:236:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:240:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/learn/insert_counterexample.cpp:252:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/constraint/constraint_factory.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/constraint/constraint_factory.cpp:41:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:47:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:57:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:90:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:103:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/constraint/constraint_factory.cpp:123:  If/else bodies with multiple statements require braces  [readability/braces] [4]
src/cegis/refactor/constraint/constraint_factory.cpp:142:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:155:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:176:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:180:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:192:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:210:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:213:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:239:  Remove space before ( in for (  [whitespace/parens] [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:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:242:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:256:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/constraint/constraint_factory.cpp:10:  src/cegis/refactor/constraint/constraint_factory.cpp should include its header file src/cegis/refactor/constraint/constraint_factory.h  [build/include] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:12:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/environment/instrument_state_vars.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:39:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/environment/instrument_state_vars.cpp:54:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:50:  Extra space after ( in function call  [whitespace/parens] [4]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:103:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:114:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:117:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/instructionset/cegis_instruction_factory.cpp:117:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_instruction_factory.h:16:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:26:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:38:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:43:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:105:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:117:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:153:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:176:  Remove space before ( in while (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:195:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:201:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:203:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:217:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:218:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/cegis_processor_body_factory.cpp:232:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:29:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:43:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:51:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:58:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:64:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:97:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:100:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:113:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:124:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:181:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/create_cegis_processor.cpp:201:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:42:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:83:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:86:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:89:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:100:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:102:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:105:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:107:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:111:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:113:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:115:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/execute_cegis_program.cpp:117:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/instructionset/instruction_description.h:29:  Put braces on a separate next line  [whitespace/braces] [5]
src/cegis/refactor/instructionset/instruction_description.h:33:  "private:" should be preceded by a blank line  [whitespace/blank_line] [3]
src/cegis/refactor/instructionset/instruction_description.h:35:  "public:" should be preceded by a blank line  [whitespace/blank_line] [3]
src/cegis/refactor/instructionset/processor_symbols.cpp:37:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/instructionset/processor_symbols.cpp:77:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/learn/instrument_counterexamples.cpp:25:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/learn/instrument_counterexamples.cpp:31:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:31:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:43:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:43:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:56:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:61:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:61:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:84:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:130:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/learn/instrument_counterexamples.cpp:130:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:132:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/instrument_counterexamples.cpp:136:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:47:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:50:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:69:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_candidate_printer.cpp:82:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_symex_learn.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_symex_learn.cpp:59:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/learn/refactor_symex_learn.cpp:74:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/learn/refactor_symex_learn.cpp:78:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:24:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/nullobject/nullable_analysis.cpp:30:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:32:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:57:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:61:  Remove space before ( in for (  [whitespace/parens] [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:62:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:63:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:66:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:68:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:99:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:100:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/nullobject/nullable_analysis.cpp:100:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:105:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/nullobject/nullable_analysis.cpp:110:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:126:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:136:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:137:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:140:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:145:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:160:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:161:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:164:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/nullable_analysis.cpp:168:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:15:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/nullobject/range_collector.cpp:19:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:39:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:43:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:44:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:53:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:61:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:69:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:71:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:74:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:82:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/nullobject/range_collector.cpp:86:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/refactor/options/refactor_program.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/options/refactor_program.cpp:36:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/options/refactor_program.cpp:72:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/options/refactor_program.cpp:72:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/options/refactor_program.cpp:75:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/options/refactor_program.h:35:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/options/refactor_program.h:89:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/options/refactoring_type.cpp:19:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/collect_counterexamples.cpp:14:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/preprocessing/collect_counterexamples.cpp:24:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/refactor/preprocessing/collect_counterexamples.cpp:27:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/collect_counterexamples.cpp:30:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:38:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:45:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:50:  Remove space before ( in switch (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:54:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:60:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:73:  Do not use namespaces  [readability/namespace] [4]
src/cegis/refactor/preprocessing/refactor_preprocessing.cpp:87:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/verify/refactor_symex_verify.cpp:32:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/refactor/verify/refactor_symex_verify.cpp:36:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/refactor/verify/refactor_symex_verify.cpp:40:  Else should be on a new line after closing brace  [readability/braces] [5]
src/cegis/runner/cegis_parse_options.cpp:41:  Do not use namespaces  [readability/namespace] [4]
src/cegis/runner/cegis_parse_options.cpp:46:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:72:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:76:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:77:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:78:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:89:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:90:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:92:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:115:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:117:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:119:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:121:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:123:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/runner/cegis_parse_options.cpp:168:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:169:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:177:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:181:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:182:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:183:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:184:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:185:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.cpp:187:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.h:16:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/runner/cegis_parse_options.h:18:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/constraint/safety_constraint_factory.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/constraint/safety_constraint_factory.cpp:47:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:51:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/facade/safety_runner.cpp:61:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:63:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/facade/safety_runner.cpp:71:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:79:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/facade/safety_runner.cpp:86:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/facade/safety_runner.cpp:98:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/facade/safety_runner.cpp:99:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:106:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/facade/safety_runner.cpp:108:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:125:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:138:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/facade/safety_runner.cpp:152:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/genetic/dynamic_safety_test_runner.cpp:22:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/genetic/dynamic_safety_test_runner.cpp:40:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/genetic/dynamic_safety_test_runner.cpp:41:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/genetic/dynamic_safety_test_runner.cpp:59:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/meta/meta_variable_names.cpp:15:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/meta/meta_variable_names.cpp:29:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/meta/meta_variable_names.cpp:48:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/options/safety_program.cpp:21:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/options/safety_program_printer.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/options/safety_program_printer.cpp:35:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/preprocessing/safety_preprocessing.cpp:42:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/preprocessing/safety_preprocessing.cpp:46:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/preprocessing/safety_preprocessing.cpp:59:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/preprocessing/safety_preprocessing.cpp:84:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:25:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:44:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:52:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:55:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:66:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:82:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:88:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:92:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/fitness/safety_fitness_config.cpp:94:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/add_counterexamples.cpp:18:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/symex/learn/add_counterexamples.cpp:25:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/add_counterexamples.cpp:40:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/add_counterexamples.cpp:57:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/add_variable_refs.cpp:23:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/safety_learn_config.cpp:67:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/learn/safety_learn_config.cpp:72:  Remove space before ( in for (  [whitespace/parens] [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/safety_learn_config.cpp:79:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/safety_learn_config.cpp:82:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/safety_learn_config.cpp:120:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/learn/solution_factory.cpp:27:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/symex/learn/solution_factory.cpp:47:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/solution_factory.cpp:72:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/solution_factory.cpp:91:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/learn/solution_factory.cpp:97:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/solution_factory.cpp:124:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/solution_factory.cpp:126:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/learn/solution_factory.cpp:135:  Do not use namespaces  [readability/namespace] [4]
src/cegis/safety/symex/learn/solution_factory.cpp:146:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/verify/insert_candidate.cpp:21:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/safety/symex/verify/insert_candidate.cpp:29:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/symex/verify/safety_verify_config.cpp:80:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/symex/verify/safety_verify_config.cpp:80:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/safety/value/individual_to_safety_solution_deserialiser.cpp:16:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/safety/value/individual_to_safety_solution_deserialiser.h:49:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/seed/literals_seed.cpp:29:  Do not use namespaces  [readability/namespace] [4]
src/cegis/seed/literals_seed.cpp:42:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:61:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:92:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:95:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:118:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:120:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:138:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:141:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:161:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:188:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:191:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:192:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:228:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:230:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:269:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:278:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:285:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:288:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/seed/literals_seed.cpp:303:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/statistics/cegis_statistics_wrapper.h:13:  <chrono> is an unapproved C++11 header.  [build/c++11] [5]
src/cegis/statistics/cegis_statistics_wrapper.h:37:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/symex/cegis_symex_verify.h:28:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/value/assignments_printer.cpp:19:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/value/assignments_printer.cpp:19:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/assignments_printer.cpp:23:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/value/program_individual_serialisation.cpp:24:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:26:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:28:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:34:  Do not use namespaces  [readability/namespace] [4]
src/cegis/value/program_individual_serialisation.cpp:39:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/value/program_individual_serialisation.cpp:59:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:60:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:63:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:79:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:85:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:119:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:123:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:129:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:139:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:148:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/value/program_individual_serialisation.cpp:151:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:154:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:161:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:169:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/value/program_individual_serialisation.cpp:174:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/value/program_individual_serialisation.cpp:180:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/cegis/wordsize/limited_wordsize_verify.h:35:  Typedef identifier should end with t  [readability/identifiers] [4]
src/cegis/wordsize/restrict_bv_size.cpp:17:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:23:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:27:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:29:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:37:  Do not use namespaces  [readability/namespace] [4]
src/cegis/wordsize/restrict_bv_size.cpp:64:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:65:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:68:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:72:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:84:  Do not use namespaces  [readability/namespace] [4]
src/cegis/wordsize/restrict_bv_size.cpp:89:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:99:  Remove space before ( in for (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:108:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:110:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:112:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:114:  Remove space before ( in if (  [whitespace/parens] [5]
src/cegis/wordsize/restrict_bv_size.cpp:116:  Remove space before ( in if (  [whitespace/parens] [5]
src/goto-programs/builtin_functions.cpp:1975:  Small and focused functions are preferred: goto_convertt::do_function_call_symbol() has 631 non-comment lines (error triggered by exceeding 500 lines).  [readability/fn_size] [1]
src/java_bytecode/java_bytecode_convert_method.cpp:2076:  Small and focused functions are preferred: java_bytecode_convert_methodt::convert_instructions() has 1100 non-comment lines (error triggered by exceeding 500 lines).  [readability/fn_size] [2]
src/musketeer/version.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/solvers/dplib/dplib_conv.cpp:1107:  Small and focused functions are preferred: dplib_convt::convert_dplib_expr() has 672 non-comment lines (error triggered by exceeding 500 lines).  [readability/fn_size] [1]
src/solvers/miniBDD/miniBDD.cpp:10:  src/solvers/miniBDD/miniBDD.cpp should include its header file src/solvers/miniBDD/miniBDD.h  [build/include] [5]
src/solvers/smt1/smt1_conv.cpp:1512:  Small and focused functions are preferred: smt1_convt::convert_expr() has 673 non-comment lines (error triggered by exceeding 500 lines).  [readability/fn_size] [1]
src/solvers/smt2/smt2_conv.cpp:2051:  Small and focused functions are preferred: smt2_convt::convert_expr() has 825 non-comment lines (error triggered by exceeding 500 lines).  [readability/fn_size] [1]
src/util/irep_ids.h:0:  No copyright message found.  You should have a line: "Author: <name>"  [legal/copyright] [5]
src/util/sorted_vector.h:32:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:33:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:36:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:38:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:39:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:40:  Class or struct identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:43:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:43:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:45:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:46:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:47:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:48:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:49:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:50:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:51:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:52:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:53:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:54:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:55:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:57:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:58:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:60:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:61:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:63:  Typedef identifier should end with t  [readability/identifiers] [4]
src/util/sorted_vector.h:64:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:65:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:65:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:70:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:71:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:75:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:76:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:80:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:83:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
src/util/sorted_vector.h:85:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:86:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
src/util/sorted_vector.h:86:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:87:  Missing space after ;  [whitespace/semicolon] [3]
src/util/sorted_vector.h:87:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:89:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:90:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:91:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:92:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:93:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:94:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:96:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:98:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:100:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:103:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:104:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:105:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:106:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:108:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:110:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:112:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:113:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:114:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:115:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:116:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:117:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:120:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:120:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:122:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:122:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:124:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/util/sorted_vector.h:126:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:126:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:128:  Missing spaces around ||  [whitespace/operators] [3]
src/util/sorted_vector.h:128:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:128:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:128:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:129:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:130:  Else should be on a new line after closing brace  [readability/braces] [5]
src/util/sorted_vector.h:130:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:130:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:131:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:133:  Else should be on a new line after closing brace  [readability/braces] [5]
src/util/sorted_vector.h:133:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:133:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:135:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:138:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/util/sorted_vector.h:138:  At least one space is best between code and comments  [whitespace/comments] [2]
src/util/sorted_vector.h:138:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:140:  Mismatching spaces inside () in if  [whitespace/parens] [5]
src/util/sorted_vector.h:140:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:140:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:141:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:141:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:142:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:142:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:142:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:143:  At least one space is best between code and comments  [whitespace/comments] [2]
src/util/sorted_vector.h:143:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:143:  Missing spaces around ||  [whitespace/operators] [3]
src/util/sorted_vector.h:143:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:143:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:143:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:144:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:145:  Else if should be on a new line after closing brace  [readability/braces] [5]
src/util/sorted_vector.h:145:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:145:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:145:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:149:  Else should be on a new line after closing brace  [readability/braces] [5]
src/util/sorted_vector.h:149:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:149:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:150:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:151:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:151:  Missing spaces around ||  [whitespace/operators] [3]
src/util/sorted_vector.h:151:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:151:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:151:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:152:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:162:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:164:  Missing space after ;  [whitespace/semicolon] [3]
src/util/sorted_vector.h:164:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:164:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:169:  Weird number of spaces at line-start.  Are you using a 2-space indent?  [whitespace/indent] [3]
src/util/sorted_vector.h:171:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:173:  Missing space after ;  [whitespace/semicolon] [3]
src/util/sorted_vector.h:173:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:173:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:180:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:184:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:185:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:192:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:195:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:195:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:197:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:197:  Missing space after ;  [whitespace/semicolon] [3]
src/util/sorted_vector.h:202:  Lines should be <= 80 characters long  [whitespace/line_length] [2]
src/util/sorted_vector.h:206:  Missing spaces around ||  [whitespace/operators] [3]
src/util/sorted_vector.h:210:  Missing spaces around ||  [whitespace/operators] [3]
src/util/sorted_vector.h:210:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:210:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:214:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:229:  Reference type name must have & attached to the type name  [whitespace/operators] [4]
src/util/sorted_vector.h:231:  At least one space is best between code and comments  [whitespace/comments] [2]
src/util/sorted_vector.h:231:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:232:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:233:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:233:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:234:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:237:  At least one space is best between code and comments  [whitespace/comments] [2]
src/util/sorted_vector.h:237:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:238:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:239:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:239:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:240:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:247:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:249:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:249:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:250:  Mismatching spaces inside () in if  [whitespace/parens] [5]
src/util/sorted_vector.h:250:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:250:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:250:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:251:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:251:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:255:  Else should be on a new line after closing brace  [readability/braces] [5]
src/util/sorted_vector.h:255:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:255:  Put braces on a separate next line  [whitespace/braces] [5]
src/util/sorted_vector.h:256:  Statement after an if should be on a new line  [readability/braces] [5]
src/util/sorted_vector.h:256:  Missing space after ;  [whitespace/semicolon] [3]
src/util/sorted_vector.h:256:  Missing space before {  [whitespace/braces] [5]
src/util/sorted_vector.h:261:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:262:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:263:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:264:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:265:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:266:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:267:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:268:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:275:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:276:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:277:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:279:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:280:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:281:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:283:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:284:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:285:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:287:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:288:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:289:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:291:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:292:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:293:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:295:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:296:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:297:  Missing space after ,  [whitespace/comma] [3]
src/util/sorted_vector.h:300:  Should have a space between // and comment  [whitespace/comments] [4]
src/util/sorted_vector.h:301:  Should have a space between // and comment  [whitespace/comments] [4]