1 /* 2 * Copyright 2011 Tresys Technology, LLC. All rights reserved. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions are met: 6 * 7 * 1. Redistributions of source code must retain the above copyright notice, 8 * this list of conditions and the following disclaimer. 9 * 10 * 2. Redistributions in binary form must reproduce the above copyright notice, 11 * this list of conditions and the following disclaimer in the documentation 12 * and/or other materials provided with the distribution. 13 * 14 * THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS 15 * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 16 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO 17 * EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 18 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 19 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 20 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF 21 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE 22 * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF 23 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 24 * 25 * The views and conclusions contained in the software and documentation are those 26 * of the authors and should not be interpreted as representing official policies, 27 * either expressed or implied, of Tresys Technology, LLC. 28 */ 29 30 #include <stdio.h> 31 #include "CuTest.h" 32 #include "../../src/cil_log.h" 33 34 CuSuite* CilTreeGetSuite(void); 35 CuSuite* CilTreeGetResolveSuite(void); 36 CuSuite* CilTreeGetBuildSuite(void); 37 CuSuite* CilTestFullCil(void); 38 39 void RunAllTests(void) { 40 /* disable cil log output */ 41 cil_set_log_level(0); 42 43 CuString *output = CuStringNew(); 44 CuSuite* suite = CuSuiteNew(); 45 CuSuite* suiteResolve = CuSuiteNew(); 46 CuSuite* suiteBuild = CuSuiteNew(); 47 CuSuite* suiteIntegration = CuSuiteNew(); 48 49 CuSuiteAddSuite(suite, CilTreeGetSuite()); 50 CuSuiteAddSuite(suiteResolve, CilTreeGetResolveSuite()); 51 CuSuiteAddSuite(suiteBuild, CilTreeGetBuildSuite()); 52 CuSuiteAddSuite(suiteIntegration, CilTestFullCil()); 53 54 CuSuiteRun(suite); 55 CuSuiteDetails(suite, output); 56 CuSuiteSummary(suite, output); 57 58 CuSuiteRun(suiteResolve); 59 CuSuiteDetails(suiteResolve, output); 60 CuSuiteSummary(suiteResolve, output); 61 62 CuSuiteRun(suiteBuild); 63 CuSuiteDetails(suiteBuild, output); 64 CuSuiteSummary(suiteBuild, output); 65 66 CuSuiteRun(suiteIntegration); 67 CuSuiteDetails(suiteIntegration, output); 68 CuSuiteSummary(suiteIntegration, output); 69 printf("\n%s\n", output->buffer); 70 } 71 72 int main(__attribute__((unused)) int argc, __attribute__((unused)) char *argv[]) { 73 RunAllTests(); 74 75 return 0; 76 } 77
