Searched refs:main (Results 1 – 15 of 15) sorted by relevance
31 from make_common_makefile import main as make_common_file32 from make_configuration_directories import main as process_configurations33 from make_proof_makefiles import main as make_proof_files
29 def main(): function48 main()
154 def main(): function163 main()
235 def main(): function250 main()
267 def main(): function306 main()
406 def main(): function416 main()
4 …ory provides a [CMake](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/test/Coverity/CMake…5 file and [configuration files](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/main/test/Coverit…12 see the [MISRA.md](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md) file.59 …cation outlined [here](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md#rule-813).…
14 int main() in main() function
4 The main stubs in this proof deal with buffer management, which assume
99 int main( void ) in main() function
66 /* Style of the "Return to main page" link that appears in the header. */
1032 # is part of the input, its contents will be placed on the main page1312 # documentation will contain a main index with vertical navigation menus that1426 # (YES) or that it should be included in the main .chm file (NO).
79 ${TEST_DIR}/Common/main.c )
4 …der [MISRA Deviations](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/MISRA.md). The libr…16 … bugs/feature request](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/.github/CONTRIBUTIN…
9 Additionally, [MISRA configuration file](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/te…
