'epdInt.h' file not found

'config.h' file not found

'gmm/gmm_kernel.h' file not found

'gmm/gmm_kernel.h' file not found

'gmm/gmm_kernel.h' file not found

'gmm/gmm_kernel.h' file not found

'gmm/gmm_kernel.h' file not found

'gmm/gmm.h' file not found

'gmm/gmm_kernel.h' file not found

'cpphoafparser/consumer/hoa_consumer_print.hh' file not found

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

statement should be inside braces

File external_dependencies/storm/resources/3rdparty/cudd-3.0.0/cplusplus/testobj.cc does not conform to Custom style guidelines. (lines 46, 82, 83, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 112, 127, 128, 129, 130, 132, 139, 142, 144, 146, 150, 153, 155, 158, 160, 175, 176, 177, 178, 180, 191, 196, 199, 202, 207, 209, 224, 225, 226, 227, 229, 233, 234, 240, 241, 245, 247, 249, 250, 252, 267, 268, 269, 270, 272, 277, 279, 282, 284, 299, 300, 301, 302, 304, 306, 307, 316, 317, 318, 319, 321, 327, 334, 337, 352, 353, 354, 355, 357, 359, 360, 365, 367, 368, 369, 370, 372, 375, 376, 381, 383, 384, 388, 406, 407, 408, 409, 411, 412, 416, 417, 418, 419, 421, 424, 425, 426, 430, 431, 436, 437, 443, 448, 449, 450, 451, 457, 458, 459, 460, 466, 468, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 493, 495, 498, 513, 514, 515, 516, 518, 524, 526, 528, 531, 534, 549, 550, 551, 552, 554, 557, 564, 568, 569, 577, 578, 582, 585, 589, 594, 599, 604, 608, 613, 616, 622, 623, 624, 625, 636, 637, 638, 645, 646, 647, 654, 655, 656, 659, 668, 669, 670, 671, 675, 677, 682, 684, 694, 713, 722, 738, 740, 767, 768, 769, 772, 773, 777, 779, 786, 792, 796, 800, 805, 810, 813, 816, 817, 819, 824, 832)

File external_dependencies/storm/resources/3rdparty/cudd-3.0.0/cplusplus/cuddObj.cc does not conform to Custom style guidelines. (lines 45, 56, 57, 58, 61, 62, 63, 64, 82, 84, 85, 90, 91, 93, 94, 104, 107, 108, 109, 110, 111, 112, 113, 121, 124, 127, 139, 141, 142, 145, 150, 153, 157, 158, 159, 163, 166, 168, 169, 170, 174, 180, 181, 182, 183, 184, 188, 191, 194, 195, 196, 199, 204, 207, 208, 209, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 226, 230, 231, 232, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 251, 254, 255, 256, 257, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 274, 278, 279, 280, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 299, 302, 303, 307, 310, 311, 315, 318, 319, 323, 326, 327, 331, 334, 335, 339, 344, 348, 349, 350, 354, 355, 356, 357, 358, 362, 365, 366, 367, 372, 375, 376, 377, 382, 385, 386, 390, 393, 394, 395, 396, 399, 400, 403, 405, 407, 408, 409, 410, 413, 414, 418, 425, 426, 427, 430, 431, 432, 434, 435, 436, 437, 438, 439, 440, 445, 446, 451, 454, 455, 456, 459, 461, 464, 465, 466, 469, 471, 474, 475, 476, 479, 481, 484, 485, 486, 489, 491, 494, 495, 499, 502, 503, 507, 510, 511, 512, 515, 519, 522, 523, 524, 527, 530, 534, 537, 538, 539, 542, 546, 549, 550, 551, 554, 557, 561, 564, 565, 566, 569, 573, 576, 577, 578, 581, 584, 588, 591, 592, 593, 596, 600, 603, 604, 605, 608, 611, 615, 618, 619, 620, 623, 627, 630, 631, 632, 635, 638, 642, 645, 646, 647, 650, 654, 657, 658, 659, 662, 665, 669, 672, 674, 676, 677, 679, 685, 688, 689, 693, 696, 697, 701, 706, 710, 711, 712, 715, 716, 717, 719, 720, 721, 722, 728, 731, 732, 733, 736, 738, 741, 742, 743, 746, 748, 751, 752, 753, 756, 758, 761, 762, 763, 766, 768, 771, 772, 774, 776, 779, 780, 781, 784, 788, 791, 792, 793, 796, 799, 803, 806, 807, 808, 811, 815, 818, 819, 820, 823, 826, 830, 833, 834, 835, 838, 842, 845, 846, 847, 850, 853, 857, 860, 861, 863, 865, 868, 869, 870, 873, 877, 880, 881, 882, 885, 888, 892, 895, 896, 897, 900, 904, 907, 908, 909, 912, 915, 919, 922, 923, 927, 932, 935, 937, 941, 942, 943, 944, 945, 949, 952, 953, 954, 956, 957, 958, 959, 960, 961, 962, 967, 968, 973, 976, 977, 978, 983, 986, 987, 988, 993, 996, 997, 998, 1001, 1003, 1006, 1007, 1008, 1011, 1013, 1016, 1017, 1018, 1021, 1022, 1024, 1027, 1028, 1029, 1032, 1033, 1035, 1038, 1039, 1040, 1041, 1044, 1046, 1048, 1051, 1052, 1053, 1056, 1060, 1063, 1064, 1065, 1068, 1071, 1075, 1078, 1079, 1080, 1083, 1087, 1090, 1091, 1092, 1095, 1098, 1102, 1105, 1106, 1107, 1110, 1114, 1117, 1118, 1119, 1122, 1125, 1129, 1132, 1133, 1134, 1137, 1141, 1144, 1145, 1146, 1149, 1152, 1156, 1159, 1160, 1161, 1164, 1168, 1171, 1172, 1173, 1176, 1179, 1183, 1188, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1199, 1201, 1204, 1205, 1212, 1215, 1217, 1221, 1224, 1225, 1229, 1232, 1233, 1237, 1240, 1241, 1245, 1248, 1249, 1253, 1256, 1257, 1258, 1261, 1267, 1270, 1271, 1272, 1278, 1281, 1282, 1286, 1289, 1290, 1291, 1297, 1300, 1301, 1305, 1308, 1309, 1310, 1316, 1319, 1320, 1324, 1327, 1328, 1330, 1333, 1336, 1337, 1339, 1341, 1344, 1347, 1348, 1351, 1354, 1355, 1356, 1358, 1359, 1368, 1377, 1378, 1379, 1385, 1388, 1389, 1390, 1392, 1393, 1402, 1411, 1412, 1413, 1414, 1415, 1419, 1422, 1423, 1426, 1429, 1432, 1433, 1439, 1442, 1443, 1444, 1446, 1450, 1453, 1454, 1460, 1463, 1464, 1470, 1473, 1474, 1480, 1483, 1484, 1485, 1487, 1491, 1494, 1495, 1501, 1504, 1505, 1511, 1514, 1515, 1516, 1522, 1525, 1526, 1532, 1535, 1536, 1542, 1545, 1546, 1547, 1549, 1553, 1556, 1557, 1558, 1560, 1564, 1567, 1568, 1574, 1577, 1578, 1579, 1583, 1588, 1591, 1592, 1593, 1599, 1602, 1603, 1604, 1610, 1613, 1614, 1615, 1620, 1623, 1624, 1628, 1631, 1632, 1636, 1639, 1640, 1641, 1645, 1648, 1649, 1653, 1656, 1657, 1661, 1664, 1665, 1666, 1670, 1673, 1674, 1678, 1681, 1682, 1683, 1687, 1690, 1691, 1695, 1698, 1699, 1703, 1706, 1707, 1708, 1709, 1713, 1716, 1717, 1721, 1725, 1726, 1730, 1733, 1734, 1738, 1741, 1742, 1743, 1747, 1750, 1751, 1755, 1758, 1759, 1760, 1764, 1767, 1768, 1769, 1773, 1776, 1777, 1781, 1784, 1785, 1786, 1790, 1793, 1794, 179

File external_dependencies/storm/resources/3rdparty/cudd-3.0.0/cplusplus/testmulti.cc does not conform to Custom style guidelines. (lines 50, 61, 64, 82, 84, 86, 99, 101, 110, 117, 120, 121, 127, 129, 132, 138, 140, 147, 149, 175, 186, 190)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/gmm_torture01_lusolve.cc does not conform to Custom style guidelines. (lines 26, 30, 31, 32, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 48, 49, 51, 52, 53, 55, 56, 58, 59, 61, 62, 64, 65, 66, 67, 69, 70, 72, 73)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/gmm_torture10_qr.cc does not conform to Custom style guidelines. (lines 25, 30, 31, 32, 35, 46, 60, 61, 63, 64, 65, 66, 69, 70, 71, 72, 73, 74, 75, 79, 81, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 95, 97, 98, 99, 100, 101, 103, 104, 105, 106, 107, 109, 110, 111, 112, 113, 114, 116, 117, 119, 120, 121, 122, 123, 124, 125, 126, 127, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 141, 142, 143, 144, 145, 146, 147, 149, 150, 151, 152, 153, 155, 156, 158, 159, 160, 161, 162, 163, 164, 165, 166, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 180, 181, 182, 183, 184, 185, 186, 188, 190, 191, 192, 196, 197, 198, 199, 202, 203, 204, 205, 206, 207, 208, 209, 210, 212, 213, 214, 215, 216, 217, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 243, 244, 246, 247, 248, 249, 250, 252, 253, 254, 255, 256, 257, 258, 259, 260, 262, 263, 264, 266, 267, 268, 269, 270, 271, 273, 274, 276, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 297, 298, 300, 302, 303, 304, 305, 306, 307, 308, 310, 312, 313, 314, 315, 316, 318, 319)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/gmm_torture15_sub.cc does not conform to Custom style guidelines. (lines 26, 30, 31, 32, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 48, 49, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 77, 78, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 93)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/dummy.cc does not conform to Custom style guidelines. (lines 3)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/gmm_torture02_baseop.cc does not conform to Custom style guidelines. (lines 27, 28, 29, 32, 33, 34, 35, 36, 37, 38, 40, 42, 44, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 59, 60)

File external_dependencies/storm/resources/3rdparty/gmm-5.2/tests/gmm_torture06_mat_mult.cc does not conform to Custom style guidelines. (lines 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 43, 44, 45, 46, 48, 49, 51, 52, 53, 54, 56, 57, 58, 59, 60, 61, 62, 63, 65, 66, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 84, 85, 87, 88, 90, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 103, 104, 106, 107, 108, 109, 110)