1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974
|
/*
* Copyright 2011 Tresys Technology, LLC. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* 1. Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
*
* 2. Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS
* OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
* EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
* LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
* OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* The views and conclusions contained in the software and documentation are those
* of the authors and should not be interpreted as representing official policies,
* either expressed or implied, of Tresys Technology, LLC.
*/
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <sys/stat.h>
#include <sepol/policydb/symtab.h>
#include <sepol/policydb/policydb.h>
#include "CuTest.h"
#include "CilTest.h"
#include "../../src/cil_internal.h"
#include "test_cil.h"
#include "test_cil_tree.h"
#include "test_cil_list.h"
#include "test_cil_symtab.h"
#include "test_cil_parser.h"
#include "test_cil_lexer.h"
#include "test_cil_build_ast.h"
#include "test_cil_resolve_ast.h"
#include "test_cil_fqn.h"
#include "test_cil_copy_ast.h"
#include "test_cil_post.h"
#include "test_integration.h"
void set_cil_file_data(struct cil_file_data **data) {
struct cil_file_data *new_data = malloc(sizeof(*new_data));
FILE *file;
struct stat filedata;
uint32_t file_size;
char *buffer;
file = fopen("test/policy.cil", "r");
if (!file) {
fprintf(stderr, "Could not open file\n");
exit(1);
}
if (stat("test/policy.cil", &filedata) == -1) {
printf("Could not stat file\n");
exit(1);
}
file_size = filedata.st_size;
buffer = malloc(file_size + 2);
if(fread(buffer, file_size, 1, file) < 1) {
exit(1);
}
memset(buffer+file_size, 0, 2);
fclose(file);
new_data->buffer = buffer;
new_data->file_size = file_size;
*data = new_data;
}
void gen_test_tree(struct cil_tree **test_root, char *line[]) {
struct cil_tree *new_tree = malloc(sizeof(*new_tree));
struct cil_tree_node *node, *item, *current;
cil_tree_init(&new_tree);
new_tree->root->flavor = CIL_ROOT;
current = new_tree->root;
char **i = line;
do {
if (*i[0] == '(') {
cil_tree_node_init(&node);
node->parent = current;
node->flavor = CIL_PARSE_NODE;
node->line = 0;
if (current->cl_head == NULL)
current->cl_head = node;
else
current->cl_tail->next = node;
current->cl_tail = node;
current = node;
}
else if (*i[0] == ')')
current = current->parent;
else {
cil_tree_node_init(&item);
item->parent = current;
item->data = cil_strdup(*i);
item->flavor = CIL_PARSE_NODE;
item->line = 0;
if (current->cl_head == NULL) {
current->cl_head = item;
}
else {
current->cl_tail->next = item;
}
current->cl_tail = item;
}
i++;
} while(*i != NULL);
*test_root = new_tree;
}
void test_symtab_init(CuTest *tc) {
struct cil_db *test_new_db;
test_new_db = malloc(sizeof(*test_new_db));
uint32_t rc = 0, i =0;
for (i = 0; i < CIL_SYM_NUM; i++) {
rc = symtab_init(&test_new_db->symtab[i], cil_sym_sizes[CIL_SYM_ARRAY_ROOT][i]);
CuAssertIntEquals(tc, 0, rc);
// TODO CDS add checks to make sure the symtab looks correct
}
free(test_new_db);
}
void test_symtab_init_no_table_neg(CuTest *tc) {
struct cil_db *test_new_db;
test_new_db = malloc(sizeof(*test_new_db));
int rc = symtab_init(&test_new_db->symtab[0], (uint32_t)SIZE_MAX);
CuAssertIntEquals(tc, -1, rc);
free(test_new_db);
}
CuSuite* CilTreeGetResolveSuite(void) {
CuSuite* suite = CuSuiteNew();
/* test_cil_resolve_ast.c */
SUITE_ADD_TEST(suite, test_cil_resolve_ast_curr_null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm_nodes_inval_perm_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_name);
SUITE_ADD_TEST(suite, test_cil_resolve_name_invalid_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_type_in_multiple_attrs);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_multiple_excludes_with_not);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_multiple_types_with_and);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_using_attr);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_name_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_undef_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_not);
SUITE_ADD_TEST(suite, test_cil_resolve_typeattributeset_undef_type_not_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typeattributeset);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typeattributeset_undef_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typealias);
SUITE_ADD_TEST(suite, test_cil_resolve_typealias_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typealias);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typealias_notype_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typebounds);
SUITE_ADD_TEST(suite, test_cil_resolve_typebounds_repeatbind_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typebounds_type1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typebounds_type2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typebounds);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typebounds_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_typepermissive);
SUITE_ADD_TEST(suite, test_cil_resolve_typepermissive_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typepermissive);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_typepermissive_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nametypetransition);
SUITE_ADD_TEST(suite, test_cil_resolve_nametypetransition_src_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nametypetransition_tgt_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nametypetransition_class_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nametypetransition_dest_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nametypetransition);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nametypetransition_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_namedrange);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_namedrange_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_namedrange_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_namedrange_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_type1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_type2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_class_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_call_level_l_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_call_level_l_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_call_level_h_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_call_level_h_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_level_l_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_level_h_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_anon_level_l);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_anon_level_l_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_anon_level_h);
SUITE_ADD_TEST(suite, test_cil_resolve_rangetransition_anon_level_h_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_rangetransition);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_rangetransition_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classcommon);
SUITE_ADD_TEST(suite, test_cil_resolve_classcommon_no_class_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classcommon_no_common_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_classcommon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_classcommon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_named);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_anon_inmacro);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_anon_inmacro_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_named_classmapname_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_anon_classmapname_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classmapping_anon_permset_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rolebounds);
SUITE_ADD_TEST(suite, test_cil_resolve_rolebounds_exists_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rolebounds_role1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_rolebounds_role2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_rolebounds);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_rolebounds_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_sensalias);
SUITE_ADD_TEST(suite, test_cil_resolve_sensalias_sensdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_sensalias);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_sensalias_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catalias);
SUITE_ADD_TEST(suite, test_cil_resolve_catalias_catdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catalias);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catalias_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catorder);
SUITE_ADD_TEST(suite, test_cil_resolve_catorder_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catorder);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catorder_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_dominance);
SUITE_ADD_TEST(suite, test_cil_resolve_dominance_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_dominance);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_dominance_neg);
//TODO: test for __cil_set_order
SUITE_ADD_TEST(suite, test_cil_resolve_catset);
SUITE_ADD_TEST(suite, test_cil_resolve_catset_catlist_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catset);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catset_catlist_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catrange);
SUITE_ADD_TEST(suite, test_cil_resolve_catrange_catloworder_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catrange_cathighorder_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catrange_cat1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_catrange_cat2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catrange);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_catrange_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_catrange_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_catsetname);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_catsetname_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_sublist);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_missingsens_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_category_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_senscat_currrangecat);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_senscat);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_senscat_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_level);
SUITE_ADD_TEST(suite, test_cil_resolve_level_catlist);
SUITE_ADD_TEST(suite, test_cil_resolve_level_catset);
SUITE_ADD_TEST(suite, test_cil_resolve_level_catset_name_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_level_sens_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_level_cat_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_level_senscat_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_level);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_level_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_namedlvl);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_namedlvl_low_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_namedlvl_high_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_anonlvl);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_anonlvl_low_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_levelrange_anonlvl_high_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_levelrange);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_levelrange_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_constrain);
SUITE_ADD_TEST(suite, test_cil_resolve_constrain_class_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_constrain_perm_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_constrain_perm_resolve_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_constrain);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_constrain_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_mlsconstrain);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_mlsconstrain_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context);
SUITE_ADD_TEST(suite, test_cil_resolve_context_macro);
SUITE_ADD_TEST(suite, test_cil_resolve_context_macro_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context_namedrange);
SUITE_ADD_TEST(suite, test_cil_resolve_context_namedrange_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context_user_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context_role_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_context_anon_level_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_context);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roletransition);
SUITE_ADD_TEST(suite, test_cil_resolve_roletransition_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roletransition_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roletransition_resultdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletransition);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletransition_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletransition_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletransition_resultdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roleallow);
SUITE_ADD_TEST(suite, test_cil_resolve_roleallow_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roleallow_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roleallow);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roleallow_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_named);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_named_namedpermlist);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_named_permlist_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_named_unnamedcps_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_anon_namedpermlist);
SUITE_ADD_TEST(suite, test_cil_resolve_classpermset_anon_permlist_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_permset);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_permset_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_permset_permdne_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_firsttype_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_secondtype_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_class_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_avrule_perm_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_avrule);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_avrule_src_nores_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_avrule_tgt_nores_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_avrule_class_nores_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_avrule_datum_null_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_transition);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_transition_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_transition_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_transition_objdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_transition_resultdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_transition);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_transition_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_change);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_change_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_change_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_change_objdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_change_resultdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_change);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_change_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_member);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_member_srcdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_member_tgtdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_member_objdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_type_rule_member_resultdecl_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_member);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_type_rule_member_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_filecon);
SUITE_ADD_TEST(suite, test_cil_resolve_filecon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_filecon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_filecon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_filecon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_filecon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_portcon);
SUITE_ADD_TEST(suite, test_cil_resolve_portcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_portcon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_portcon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_portcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_portcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_genfscon);
SUITE_ADD_TEST(suite, test_cil_resolve_genfscon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_genfscon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_genfscon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_genfscon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_genfscon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_ipv4);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_ipv6);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anonipaddr_ipv4);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anonnetmask_ipv4);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anonipaddr_ipv6);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anonnetmask_ipv6);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_diffipfam_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_ipaddr_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_netmask_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_nodecon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nodecon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nodecon_ipaddr_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nodecon_netmask_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon_otf_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon_interface_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon_unnamed);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon_unnamed_packet_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_netifcon_unnamed_otf_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_netifcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_netifcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_pirqcon);
SUITE_ADD_TEST(suite, test_cil_resolve_pirqcon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_pirqcon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_pirqcon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_pirqcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_pirqcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_iomemcon);
SUITE_ADD_TEST(suite, test_cil_resolve_iomemcon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_iomemcon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_iomemcon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_iomemcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_iomemcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ioportcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ioportcon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ioportcon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_ioportcon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_ioportcon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_ioportcon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_pcidevicecon);
SUITE_ADD_TEST(suite, test_cil_resolve_pcidevicecon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_pcidevicecon_anon_context);
SUITE_ADD_TEST(suite, test_cil_resolve_pcidevicecon_anon_context_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_pcidevicecon);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_pcidevicecon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_fsuse);
SUITE_ADD_TEST(suite, test_cil_resolve_fsuse_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_fsuse_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_fsuse_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_fsuse);
//SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_fsuse_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_sidcontext);
SUITE_ADD_TEST(suite, test_cil_resolve_sidcontext_named_levels);
SUITE_ADD_TEST(suite, test_cil_resolve_sidcontext_named_context);
SUITE_ADD_TEST(suite, test_cil_resolve_sidcontext_named_context_wrongname_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_sidcontext_named_context_invaliduser_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_sidcontext);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_sidcontext_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_blockinherit);
SUITE_ADD_TEST(suite, test_cil_resolve_blockinherit_blockstrdne_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_blockinherit);
SUITE_ADD_TEST(suite, test_cil_resolve_in_block);
SUITE_ADD_TEST(suite, test_cil_resolve_in_blockstrdne_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_in_macro);
SUITE_ADD_TEST(suite, test_cil_resolve_in_optional);
//SUITE_ADD_TEST(suite, test_cil_resolve_call1_noparam);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_type);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_role);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_user);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_sens);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_cat);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_catset);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_catset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_catset_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_class);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_classmap);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_permset);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_permset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_classpermset_named);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_classpermset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_classpermset_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_level);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_level_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_level_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_ipaddr);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_ipaddr_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_ipaddr_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_unknown_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_unknowncall_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_extraargs_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_copy_dup);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_missing_arg_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_paramsflavor_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call1_unknownflavor_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_call1);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_call1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_type);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_role);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_user);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_sens);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_cat);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_catset);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_catset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_permset);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_permset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_classpermset_named);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_classpermset_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_class);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_classmap);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_level);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_level_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_ipaddr);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_ipaddr_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_call2_unknown_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_call2);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_call2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_multipleparams);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_diffflavor);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_callnull_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_namenull_neg);
//SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_callargsnull_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_name_call_args_name_neg);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_bools);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_tunables);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_type);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_role);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_user);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_neg);
// SUITE_ADD_TEST(suite, test_cil_resolve_expr_stack_emptystr_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_boolif);
SUITE_ADD_TEST(suite, test_cil_resolve_boolif_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_boolif);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_boolif_neg);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_and);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_not);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_or);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_xor);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_eq);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_neq);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_oper1);
SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_oper2);
//SUITE_ADD_TEST(suite, test_cil_evaluate_expr_stack_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_tunif_false);
SUITE_ADD_TEST(suite, test_cil_resolve_tunif_true);
SUITE_ADD_TEST(suite, test_cil_resolve_tunif_resolveexpr_neg);
//SUITE_ADD_TEST(suite, test_cil_resolve_tunif_evaluateexpr_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_tunif);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_tunif_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userbounds);
SUITE_ADD_TEST(suite, test_cil_resolve_userbounds_exists_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userbounds_user1_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userbounds_user2_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userbounds);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userbounds_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roletype);
SUITE_ADD_TEST(suite, test_cil_resolve_roletype_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_roletype_role_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletype);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletype_role_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_roletype_type_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrole);
SUITE_ADD_TEST(suite, test_cil_resolve_userrole_user_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrole_role_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userrole);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userrole_user_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userrole_role_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_macro);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_macro_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_level_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_level_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_user_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userlevel_level_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userlevel);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userlevel_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_macro);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_macro_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_range_anon);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_range_anon_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_user_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_userrange_range_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userrange);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_userrange_neg);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_optional_enabled);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_optional_disabled);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_block);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_user);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_role);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_type);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_typealias);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_common);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_class);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_bool);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_sens);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_cat);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_catset);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_sid);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_macro);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_context);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_level);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_policycap);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_perm);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_catalias);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_sensalias);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_tunable);
SUITE_ADD_TEST(suite, test_cil_disable_children_helper_unknown);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_callstack);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_call);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_optional);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_macro);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_optstack);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_optstack_tunable_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_optstack_macro_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_nodenull_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_extraargsnull_neg);
SUITE_ADD_TEST(suite, test_cil_resolve_ast_node_helper_optfailedtoresolve);
return suite;
}
CuSuite* CilTreeGetBuildSuite(void) {
CuSuite* suite = CuSuiteNew();
/* test_cil_build_ast.c */
SUITE_ADD_TEST(suite, test_cil_build_ast);
SUITE_ADD_TEST(suite, test_cil_build_ast_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_treenull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_suberr_neg);
SUITE_ADD_TEST(suite, test_cil_parse_to_list);
SUITE_ADD_TEST(suite, test_cil_parse_to_list_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_parse_to_list_listnull_neg);
SUITE_ADD_TEST(suite, test_cil_set_to_list);
SUITE_ADD_TEST(suite, test_cil_set_to_list_listnull_neg);
SUITE_ADD_TEST(suite, test_cil_set_to_list_tree_node_null_neg);
SUITE_ADD_TEST(suite, test_cil_set_to_list_cl_head_null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block);
SUITE_ADD_TEST(suite, test_cil_gen_block_justblock_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block_treenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block_nodenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_block_nodeparentnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_block);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_block_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_namelist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_namenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_blockinherit_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_blockinherit);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_blockinherit_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm);
SUITE_ADD_TEST(suite, test_cil_gen_perm_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm_nodenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset);
SUITE_ADD_TEST(suite, test_cil_gen_permset_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_noperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_emptyperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_permset_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_permset);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_permset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_perm_nodes);
SUITE_ADD_TEST(suite, test_cil_gen_perm_nodes_failgen_neg);
SUITE_ADD_TEST(suite, test_cil_fill_permset);
SUITE_ADD_TEST(suite, test_cil_fill_permset_sublist_neg);
SUITE_ADD_TEST(suite, test_cil_fill_permset_startpermnull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_permset_permsetnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_in);
SUITE_ADD_TEST(suite, test_cil_gen_in_blockstrnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_in_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_in_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_in_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_in_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_in);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_in_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class);
SUITE_ADD_TEST(suite, test_cil_gen_class_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_nodenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_noclassname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_namesublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_noperms);
SUITE_ADD_TEST(suite, test_cil_gen_class_permsnotinlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_extrapermlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_class_listinlist_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_class);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_class_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_anonperms);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_anonperms_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_namedperms);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_extra_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_emptypermslist_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_noperms_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_classnodenull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_classpermset_cpsnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_noperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_emptyperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classpermset_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classpermset);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classpermset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_perm);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_perm_dupeperm_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_perm_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_perm_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_perm_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_emptyperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmap_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classmap);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classmap_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_anonpermset);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_anonpermset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_namedpermset);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_noclassmapname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_noclassmapperm_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_nopermissionsets_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classmapping_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classmapping);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_classmapping_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common);
SUITE_ADD_TEST(suite, test_cil_gen_common_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_twoperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_permsublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_common_noperms_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_common);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_common_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid);
SUITE_ADD_TEST(suite, test_cil_gen_sid_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sid_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sid);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sid_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_namedcontext);
// SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_halfcontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_empty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_dblname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_pcurrnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sidcontext_astnodenull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sidcontext);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sidcontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type);
SUITE_ADD_TEST(suite, test_cil_gen_type_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattribute);
SUITE_ADD_TEST(suite, test_cil_gen_typeattribute_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattribute_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattribute_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattribute_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typeattribute);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typeattribute_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_notype1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_type1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_notype2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_type2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typebounds_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typebounds);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typebounds_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_typeinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typepermissive_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typepermissive);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typepermissive_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_nostr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_strinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_nosrc_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_srcinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_notgt_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_tgtinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_classinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_nodest_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_destinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nametypetransition_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_nametypetransition);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_nametypetransition_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_namedtransition);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_anon_low_l);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_anon_low_l_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_anon_high_l);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_anon_high_l_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_nofirsttype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_firsttype_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_nosecondtype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_secondtype_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_class_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_nolevel_l_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_nolevel_h_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rangetransition_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_rangetransition);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_rangetransition_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_and);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_or);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_xor);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_not);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_not_noexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_not_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_eq);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_neq);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_nested);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_nested_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_nested_emptyargs_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_nested_missingoperator_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_arg1null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_arg2null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_extraarg_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_expr_stack_stacknull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_multiplebools_true);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_multiplebools_false);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_multiplebools_unknowncond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_true);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_false);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_unknowncond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_nested);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_nested_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_extra_parens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_nocond);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_nocond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_notruelist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_boolif_empty_cond_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_boolif);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_boolif_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_multiplebools_true);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_multiplebools_false);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_multiplebools_unknowncond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_true);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_false);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_unknowncond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_nocond);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_nested);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_nested_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_extra_parens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_nocond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_tunif_notruelist_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_tunif);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_tunif_neg);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_true);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_false);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_nocond_neg);
SUITE_ADD_TEST(suite, test_cil_gen_condblock_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_condblock_true);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_condblock_true_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_condblock_false);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_condblock_false_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typealias);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_incomplete_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_incomplete_neg2);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_extratype_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typealias);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typealias_notype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typealias_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_and_two_types);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_not);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_exclude_attr);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_exclude_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_emptylists_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_listinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_typeattributeset_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typeattributeset);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_typeattributeset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_notype1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_type1_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_notype2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_type2_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userbounds_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userbounds);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userbounds_neg);
SUITE_ADD_TEST(suite, test_cil_gen_role);
SUITE_ADD_TEST(suite, test_cil_gen_role_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_role_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_role_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_role_extrarole_neg);
SUITE_ADD_TEST(suite, test_cil_gen_role_noname_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_role);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_role_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_srcnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_tgtnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_resultnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletransition_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roletransition);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roletransition_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_true);
SUITE_ADD_TEST(suite, test_cil_gen_bool_tunable_true);
SUITE_ADD_TEST(suite, test_cil_gen_bool_false);
SUITE_ADD_TEST(suite, test_cil_gen_bool_tunable_false);
SUITE_ADD_TEST(suite, test_cil_gen_bool_none_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_notbool_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_boolname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_extraname_false_neg);
SUITE_ADD_TEST(suite, test_cil_gen_bool_extraname_true_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_bool);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_bool_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_bool_tunable);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_bool_tunable_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_t1type);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_t1t1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_t2type);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_t2t2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_r1role);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_r1r1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_r2role);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_r2r2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_t1t2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_r1r2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_r1r2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_u1u2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_u1user);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_u1u1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_u2user);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_u2u2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l2h2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l1l2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l1h1);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l1h2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_h1l2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_h1h2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_h1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l1l1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_l1l2_constrain_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_l1l2_constrain_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_leftkeyword_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_eq2_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_noteq_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_not);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_not_noexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_not_emptyparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_not_extraparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_noexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_emptyfirstparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_missingsecondexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_emptysecondparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_or_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_noexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_emptyfirstparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_missingsecondexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_emptysecondparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_and_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_dom_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_domby_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp_noexpr1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp_expr1inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp_noexpr2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp_expr2inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incomp_extraexpr_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_stacknull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_operatorinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expr_stack_incorrectcall_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_srcnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_tgtnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roleallow_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roleallow);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roleallow_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_norole1_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_role1_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_norole2_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_role2_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_rolebounds_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_rolebounds);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_rolebounds_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_permset);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_permset_anon);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_sourceparens);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_sourceemptyparen_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_targetparens);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_targetemptyparen_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_sourcedomainnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_targetdomainnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_objectclassnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_permsnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_avrule_twolists_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_allow);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_allow_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_auditallow);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_auditallow_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_dontaudit);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_dontaudit_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_neverallow);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_avrule_neverallow_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_srcnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_tgtnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_objnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_resultnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_transition_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_transition);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_transition_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_srcnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_tgtnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_objnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_resultnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_change_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_change);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_change_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_srcnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_tgtnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_objnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_resultnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_type_rule_member_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_member);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_type_rule_member_neg);
SUITE_ADD_TEST(suite, test_cil_gen_user);
SUITE_ADD_TEST(suite, test_cil_gen_user_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_user_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_user_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_user_nouser_neg);
SUITE_ADD_TEST(suite, test_cil_gen_user_xsinfo_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_user);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_user_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_anon_level);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_anon_level_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_usernull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_userrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_levelnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_levelrangeempty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userlevel_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userlevel);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userlevel_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_named);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_anon);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_usernull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_anonuser_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_rangenamenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_anonrangeinvalid_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_anonrangeempty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrange_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userrange);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_sensnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_senslist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensitivity_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sensitivity);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sensitivity_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_sensnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_senslist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_aliasnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_aliaslist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_sensalias_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sensalias);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_sensalias_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category);
SUITE_ADD_TEST(suite, test_cil_gen_category_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category_catnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category_catlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_category_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_category);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_category_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset);
SUITE_ADD_TEST(suite, test_cil_gen_catset_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_namenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_setnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_namelist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_nodefail_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_notset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catset_settolistfail_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catset);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_catnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_aliasnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catalias_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catalias);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catalias_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_norange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_emptyrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_extrarange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catrange_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catrange);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_empty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_rolelist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_roletype_sublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_roletype_typelist_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roletype);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_roletype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_empty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_userlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_userrole_sublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_userrole_rolelist_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userrole);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_userrole_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_missingclassname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_noperms_neg);
SUITE_ADD_TEST(suite, test_cil_gen_classcommon_extraperms_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_classcommon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_classcommon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_missingcats_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_nosublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_catorder_nestedcat_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catorder);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_catorder_neg);
SUITE_ADD_TEST(suite, test_cil_gen_dominance);
SUITE_ADD_TEST(suite, test_cil_gen_dominance_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_dominance_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_dominance_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_dominance_nosensitivities_neg);
SUITE_ADD_TEST(suite, test_cil_gen_dominance_nosublist_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_dominance);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_dominance_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_nosublist);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_nosensitivities_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_sublist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_senscat_nocat_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_senscat);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_senscat_neg);
SUITE_ADD_TEST(suite, test_cil_fill_level);
SUITE_ADD_TEST(suite, test_cil_fill_level_sensnull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_level_levelnull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_level_nocat);
SUITE_ADD_TEST(suite, test_cil_fill_level_emptycat_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level);
SUITE_ADD_TEST(suite, test_cil_gen_level_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_emptysensparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_emptycat_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_nosens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_level_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_level);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_level_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_rangeinvalid_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_namenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_rangenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_rangeempty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_levelrange_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_levelrange);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_levelrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_classset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_classset_noperm_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_classset_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_permset_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_permset_noclass_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_permset_noperm_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_expression_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_constrain_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_constrain);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_constrain_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_mlsconstrain);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_mlsconstrain_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context);
SUITE_ADD_TEST(suite, test_cil_fill_context_unnamedlvl);
SUITE_ADD_TEST(suite, test_cil_fill_context_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_nouser_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_norole_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_notype_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_nolowlvl_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_nohighlvl_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_unnamedlvl_nocontextlow_neg);
SUITE_ADD_TEST(suite, test_cil_fill_context_unnamedlvl_nocontexthigh_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context);
SUITE_ADD_TEST(suite, test_cil_gen_context_notinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_extralevel_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_emptycontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_doubleparen_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_norole_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_roleinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_notype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_typeinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_nolevels_neg);
// SUITE_ADD_TEST(suite, test_cil_gen_context_nosecondlevel_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_nouser_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_context_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_context);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_context_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_file);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_dir);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_char);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_block);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_socket);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_pipe);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_symlink);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_any);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_anon_context);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_str1null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_str1_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_str2null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_str2_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_classnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_class_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_contextnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_context_neg);
SUITE_ADD_TEST(suite, test_cil_gen_filecon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_filecon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_filecon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_udp);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_tcp);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_unknownprotocol_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_anon_context);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_portrange);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_portrange_one_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_portrange_morethanone_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_singleport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_lowport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_highport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_str1null_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_str1parens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_portnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_contextnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_context_neg);
SUITE_ADD_TEST(suite, test_cil_gen_portcon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_portcon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_portcon_neg);
SUITE_ADD_TEST(suite, test_cil_fill_ipaddr);
SUITE_ADD_TEST(suite, test_cil_fill_ipaddr_addrnodenull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_ipaddr_addrnull_neg);
SUITE_ADD_TEST(suite, test_cil_fill_ipaddr_addrinparens_neg);
SUITE_ADD_TEST(suite, test_cil_fill_ipaddr_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_anon_context);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_ipnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_ipanon);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_ipanon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_netmasknull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_netmaskanon);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_netmaskanon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_contextnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_context_neg);
SUITE_ADD_TEST(suite, test_cil_gen_nodecon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_nodecon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_nodecon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_anon_context);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_typenull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_typeparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_pathnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_pathparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_contextnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_context_neg);
SUITE_ADD_TEST(suite, test_cil_gen_genfscon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_genfscon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_genfscon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_nested);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_nested_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_nested_emptysecondlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_extra_nested_secondlist_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_nested_missingobjects_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_nested_secondnested_missingobjects_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_ethmissing_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_interfacemissing_neg);
SUITE_ADD_TEST(suite, test_cil_gen_netifcon_packetmissing_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_netifcon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_netifcon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_pirqnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_nopirq_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_pirqrange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_anoncontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pirqcon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_pirqcon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_pirqcon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange_firstnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange_secondnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange_empty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange_singleiomem_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemrange_morethantwoiomem_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_iomemnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_noiomem_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_anoncontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_iomemcon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_iomemcon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_iomemcon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange_firstnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange_secondnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange_empty_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange_singleioport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportrange_morethantwoioport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_ioportnotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_noioport_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_anoncontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ioportcon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_ioportcon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_ioportcon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_pcidevicenotint_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_nopcidevice_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_pcidevicerange_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_anoncontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_pcidevicecon_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_pcidevicecon);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_pcidevicecon_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_anoncontext);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_anoncontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_xattr);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_task);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_transition);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_invalidtype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_notype_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_typeinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_nofilesystem_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_filesysteminparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_nocontext_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_emptyconparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_fsuse_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_fsuse);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_fsuse_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_noparams);
SUITE_ADD_TEST(suite, test_cil_gen_macro_type);
SUITE_ADD_TEST(suite, test_cil_gen_macro_role);
SUITE_ADD_TEST(suite, test_cil_gen_macro_user);
SUITE_ADD_TEST(suite, test_cil_gen_macro_sensitivity);
SUITE_ADD_TEST(suite, test_cil_gen_macro_category);
SUITE_ADD_TEST(suite, test_cil_gen_macro_catset);
SUITE_ADD_TEST(suite, test_cil_gen_macro_level);
SUITE_ADD_TEST(suite, test_cil_gen_macro_class);
SUITE_ADD_TEST(suite, test_cil_gen_macro_classmap);
SUITE_ADD_TEST(suite, test_cil_gen_macro_permset);
SUITE_ADD_TEST(suite, test_cil_gen_macro_duplicate);
SUITE_ADD_TEST(suite, test_cil_gen_macro_duplicate_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_unknown_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_unnamed_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_noparam_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_nosecondparam_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_noparam_name_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_emptyparam_neg);
SUITE_ADD_TEST(suite, test_cil_gen_macro_paramcontainsperiod_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_macro);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_macro_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_macro_nested_macro_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_macro_nested_tunif_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call);
SUITE_ADD_TEST(suite, test_cil_gen_call_noargs);
SUITE_ADD_TEST(suite, test_cil_gen_call_anon);
SUITE_ADD_TEST(suite, test_cil_gen_call_empty_call_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call_name_inparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_call_noname_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_call);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_call_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional);
SUITE_ADD_TEST(suite, test_cil_gen_optional_emptyoptional);
SUITE_ADD_TEST(suite, test_cil_gen_optional_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_unnamed_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_optional_norule_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_optional);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_optional_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_policycap_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_policycap);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_policycap_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_ipv4);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_ipv4_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_ipv6);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_ipv6_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_noname_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_nameinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_noip_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_ipinparens_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_extra_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_dbnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_currnull_neg);
SUITE_ADD_TEST(suite, test_cil_gen_ipaddr_astnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_ipaddr);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_gen_ipaddr_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_node_helper_extraargsnull_neg);
SUITE_ADD_TEST(suite, test_cil_build_ast_last_child_helper);
SUITE_ADD_TEST(suite, test_cil_build_ast_last_child_helper_extraargsnull_neg);
return suite;
}
CuSuite* CilTreeGetSuite(void) {
CuSuite* suite = CuSuiteNew();
/* CilTest.c */
SUITE_ADD_TEST(suite, test_symtab_init);
SUITE_ADD_TEST(suite, test_symtab_init_no_table_neg);
/* test_cil.c */
SUITE_ADD_TEST(suite, test_cil_symtab_array_init);
SUITE_ADD_TEST(suite, test_cil_db_init);
SUITE_ADD_TEST(suite, test_cil_get_symtab_block);
SUITE_ADD_TEST(suite, test_cil_get_symtab_class);
SUITE_ADD_TEST(suite, test_cil_get_symtab_root);
SUITE_ADD_TEST(suite, test_cil_get_symtab_flavor_neg);
SUITE_ADD_TEST(suite, test_cil_get_symtab_null_neg);
SUITE_ADD_TEST(suite, test_cil_get_symtab_node_null_neg);
SUITE_ADD_TEST(suite, test_cil_get_symtab_parent_null_neg);
/* test_cil_list.c */
SUITE_ADD_TEST(suite, test_cil_list_append_item);
SUITE_ADD_TEST(suite, test_cil_list_append_item_append);
SUITE_ADD_TEST(suite, test_cil_list_append_item_append_extra);
SUITE_ADD_TEST(suite, test_cil_list_append_item_listnull_neg);
SUITE_ADD_TEST(suite, test_cil_list_append_item_itemnull_neg);
SUITE_ADD_TEST(suite, test_cil_list_prepend_item_prepend);
SUITE_ADD_TEST(suite, test_cil_list_prepend_item_prepend_neg);
SUITE_ADD_TEST(suite, test_cil_list_prepend_item_listnull_neg);
SUITE_ADD_TEST(suite, test_cil_list_prepend_item_itemnull_neg);
/* test_cil_symtab.c */
SUITE_ADD_TEST(suite, test_cil_symtab_insert);
/* test_cil_tree.c */
SUITE_ADD_TEST(suite, test_cil_tree_init);
SUITE_ADD_TEST(suite, test_cil_tree_node_init);
/* test_cil_lexer.c */
SUITE_ADD_TEST(suite, test_cil_lexer_setup);
SUITE_ADD_TEST(suite, test_cil_lexer_next);
/* test_cil_parser.c */
SUITE_ADD_TEST(suite, test_cil_parser);
/* test_cil_fqn.c */
SUITE_ADD_TEST(suite, test_cil_qualify_name);
SUITE_ADD_TEST(suite, test_cil_qualify_name_cil_flavor);
/* test cil_copy_ast.c */
SUITE_ADD_TEST(suite, test_cil_copy_list);
SUITE_ADD_TEST(suite, test_cil_copy_list_sublist);
SUITE_ADD_TEST(suite, test_cil_copy_list_sublist_extra);
SUITE_ADD_TEST(suite, test_cil_copy_list_orignull_neg);
SUITE_ADD_TEST(suite, test_cil_copy_block);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_block);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_block_merge);
SUITE_ADD_TEST(suite, test_cil_copy_perm);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_perm);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_perm_neg);
SUITE_ADD_TEST(suite, test_cil_copy_class);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_class);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_class_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_common);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_common);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_common_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_classcommon);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_classcommon);
SUITE_ADD_TEST(suite, test_cil_copy_sid);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sid);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sid_merge);
SUITE_ADD_TEST(suite, test_cil_copy_sidcontext);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sidcontext);
SUITE_ADD_TEST(suite, test_cil_copy_user);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_user);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_user_merge);
SUITE_ADD_TEST(suite, test_cil_copy_role);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_role);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_role_merge);
SUITE_ADD_TEST(suite, test_cil_copy_userrole);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_userrole);
SUITE_ADD_TEST(suite, test_cil_copy_type);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_type);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_type_merge);
SUITE_ADD_TEST(suite, test_cil_copy_typeattribute);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_typeattribute);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_typeattribute_merge);
SUITE_ADD_TEST(suite, test_cil_copy_typealias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_typealias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_typealias_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_bool);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_bool);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_bool_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_avrule);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_avrule);
SUITE_ADD_TEST(suite, test_cil_copy_type_rule);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_type_rule);
SUITE_ADD_TEST(suite, test_cil_copy_sens);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sens);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sens_merge);
SUITE_ADD_TEST(suite, test_cil_copy_sensalias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sensalias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_sensalias_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_cat);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_cat);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_cat_merge);
SUITE_ADD_TEST(suite, test_cil_copy_catalias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_catalias);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_catalias_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_senscat);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_senscat);
SUITE_ADD_TEST(suite, test_cil_copy_catorder);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_catorder);
SUITE_ADD_TEST(suite, test_cil_copy_dominance);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_dominance);
SUITE_ADD_TEST(suite, test_cil_copy_level);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_level);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_level_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_fill_level);
SUITE_ADD_TEST(suite, test_cil_copy_context);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_context);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_context_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_netifcon);
SUITE_ADD_TEST(suite, test_cil_copy_netifcon_nested);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_netifcon);
SUITE_ADD_TEST(suite, test_cil_copy_fill_context);
SUITE_ADD_TEST(suite, test_cil_copy_fill_context_anonrange);
SUITE_ADD_TEST(suite, test_cil_copy_call);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_call);
SUITE_ADD_TEST(suite, test_cil_copy_optional);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_optional);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_optional_merge);
SUITE_ADD_TEST(suite, test_cil_copy_nodecon);
SUITE_ADD_TEST(suite, test_cil_copy_nodecon_anon);
SUITE_ADD_TEST(suite, test_cil_copy_fill_ipaddr);
SUITE_ADD_TEST(suite, test_cil_copy_ipaddr);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_ipaddr);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_ipaddr_dup_neg);
SUITE_ADD_TEST(suite, test_cil_copy_conditional);
SUITE_ADD_TEST(suite, test_cil_copy_boolif);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_boolif);
SUITE_ADD_TEST(suite, test_cil_copy_constrain);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_mlsconstrain);
//SUITE_ADD_TEST(suite, test_cil_copy_ast);
//SUITE_ADD_TEST(suite, test_cil_copy_ast_neg);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_orignull_neg);
SUITE_ADD_TEST(suite, test_cil_copy_node_helper_extraargsnull_neg);
/* test_post.c */
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_meta_a_not_b);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_meta_b_not_a);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_meta_a_and_b_strlen_a_greater_b);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_meta_a_and_b_strlen_b_greater_a);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_type_atype_greater_btype);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_type_btype_greater_atype);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_stemlen_a_greater_b);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_stemlen_b_greater_a);
SUITE_ADD_TEST(suite, test_cil_post_filecon_compare_equal);
SUITE_ADD_TEST(suite, test_cil_post_genfscon_compare_atypestr_greater_btypestr);
SUITE_ADD_TEST(suite, test_cil_post_genfscon_compare_btypestr_greater_atypestr);
SUITE_ADD_TEST(suite, test_cil_post_genfscon_compare_apathstr_greater_bpathstr);
SUITE_ADD_TEST(suite, test_cil_post_genfscon_compare_bpathstr_greater_apathstr);
SUITE_ADD_TEST(suite, test_cil_post_genfscon_compare_equal);
SUITE_ADD_TEST(suite, test_cil_post_netifcon_compare_a_greater_b);
SUITE_ADD_TEST(suite, test_cil_post_netifcon_compare_b_greater_a);
SUITE_ADD_TEST(suite, test_cil_post_netifcon_compare_equal);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv4_bipv6);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv6_bipv4);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv4_greaterthan_bipv4);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv4_lessthan_bipv4);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_amaskipv4_greaterthan_bmaskipv4);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_amaskipv4_lessthan_bmaskipv4);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv6_greaterthan_bipv6);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_aipv6_lessthan_bipv6);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_amaskipv6_greaterthan_bmaskipv6);
SUITE_ADD_TEST(suite, test_cil_post_nodecon_compare_amaskipv6_lessthan_bmaskipv6);
SUITE_ADD_TEST(suite, test_cil_post_fsuse_compare_type_a_greater_b);
SUITE_ADD_TEST(suite, test_cil_post_fsuse_compare_type_b_greater_a);
SUITE_ADD_TEST(suite, test_cil_post_fsuse_compare_fsstr_a_greater_b);
SUITE_ADD_TEST(suite, test_cil_post_fsuse_compare_fsstr_b_greater_a);
SUITE_ADD_TEST(suite, test_cil_post_fsuse_compare_equal);
return suite;
}
CuSuite* CilTestFullCil(void) {
CuSuite* suite = CuSuiteNew();
SUITE_ADD_TEST(suite, test_min_policy);
SUITE_ADD_TEST(suite, test_integration);
return suite;
}
|