Searched refs:files (Results 1 – 25 of 59) sorted by relevance
123
31 for dyr, _, files in os.walk("."):33 for file in files if file == "cbmc-batch.yaml"]42 for dyr, _, files in os.walk("."):43 harness = [file for file in files if file.endswith("_harness.c")]44 if harness and "Makefile" in files:
35 for root, _, files in os.walk("."):40 if "Makefile.json" in files:
100 def process(folder, files): argument131 for file in files:
84 for root, _, files in os.walk('.'):85 if FS_KEY in files:
1 # These files are generated by make_type_header_files.py
7 …files included, and the correct include paths configured. Once a demo application is building and…19 …files have been broken down into smaller logically separated modules. This change makes the code m…24 …files will have same names as the pre V3.0.0 source, the files in the `include` directory will hav…59 …- This directory contains the tools and related files (CMock/uncrustify) required to run tests/che…63 …- This directory contains the portable files required to compile the FreeRTOS-Plus-TCP source code…65 - The include directory has all the 'core' header files of FreeRTOS-Plus-TCP source.67 - This directory contains all the [.c] source files.
11 # modifies JS files, only @js-owner and not the global20 # In this example, @doctocat owns any files in the build/logs25 # The `docs/*` pattern will match files like26 # `docs/getting-started.md` but not further nested files like
1 This directory contains include files used by the CBMC proofs:2 * Windows.h and WinBase.h are include files used to build FreeRTOS (the parts we currently test) on…
5 Please include the following source files:18 And include the following source files from the Xilinx library:27 The following source files are NOT used for the FreeRTOS+TCP interface:
3 Please include the following source files:11 And include the following source files from the Xilinx library:20 The following source files are NOT used for the FreeRTOS+TCP interface:
15 # make the initial/baseline capture a zeroed out files25 file(GLOB files "${CMAKE_BINARY_DIR}/bin/tests/*")30 # execute all files in bin directory, gathering the output to show it in CI31 foreach(testname ${files})
58 # Run the C preprocessor on target files.75 # Clean up temporary files that were created.89 # @param mock_list list of header files to mock
1 # This file is to add source files and include directories5 # TCP library source files.
65 # will distribute the generated files over these directories. Enabling this66 # option can be useful when feeding doxygen a huge amount of source files, where67 # putting all generated files in the same directory would otherwise causes74 # characters to appear in the names of generated files. If set to NO, non-ASCII149 # before files name in the file list and in the header files. If set to NO the302 # Doxygen selects the parser to use depending on the extension of the files it311 # default for Fortran type files). For instance to make doxygen treat .inc files312 # as Fortran files (default is PHP), and .f files as C (default is Fortran),315 # Note: For files without extension you can use no_extension as a placeholder.318 # the files are not read by doxygen. When specifying no_extension you should add[all …]
1 This directory contains include files used by the CBMC proofs:
2 These files define the specifiers needed by your compiler to properly pack struct data
10 # list the files to mock here37 # list the files you would like to test here
11 # list the files to mock here35 # list the files you would like to test here
10 # list the files to mock here35 # list the files you would like to test here
11 # list the files to mock here39 # list the files you would like to test here
10 # list the files to mock here36 # list the files you would like to test here
9 # list the files to mock here39 # list the files you would like to test here
11 # list the files to mock here45 # list the files you would like to test here
10 # list the files to mock here33 # list the files you would like to test here
9 # list the files to mock here38 # list the files you would like to test here
