Searched full:run (Results 1 – 25 of 101) sorted by relevance
12345
| /FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/ |
| D | ci.yml | 19 run: |
29 run: |
34 run: |
56 run: |
60 run: |
84 - name: Run doxygen build
94 run: |
97 run: |
101 run: |
106 run: |
[all …]
|
| D | uncrustify.yml | 10 if: ${{ github.event.issue.pull_request && github.event.comment.body == '/bot run uncrustify' }}
16 run: echo "$GITHUB_CONTEXT"
18 run: |
24 run: |
28 run: |
32 run: |
35 run: |
43 run: |
48 - name: Run Uncrustify
49 run: |
[all …]
|
| D | release.yml | 23 run: |
27 …run: git checkout -b ${{ github.event.inputs.version_number }} ${{ github.event.inputs.commit_id }}
34 run: |
39 run: |
43 run: |
54 run: sudo apt-get install zip unzip
62 run: |
66 run: |
70 run: |
79 run: |
[all …]
|
| D | release-candidate.yml | 23 run: |
27 run: |
31 run: |
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/ |
| D | README.md | 7 also run the proofs on their local machines.
13 how to run the proofs on your local clone of a:FR.
19 For historical reasons, some of the proofs are built and run using CMake
21 should use CMake. This README describes how to build and run both kinds
32 `~/build/freertos`. The following three commands build and run
85 - Change into the top-level CBMC source directory and run
91 - Ensure that you can run the programs `cbmc`, `goto-cc` (or `goto-cl`
102 Change into the `proofs` directory. On Windows, run
106 On macOS or Linux, run
120 run a proof, change into the directory for that proof and run `nmake` on
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 26 DESCRIPTION = "Configure and run all CBMC proofs in parallel"
32 of all tasks needed to build, run, and report on all the proofs, and
45 litani run-build;
48 The CBMC CI runs this script with no arguments to build and run all
52 run-build`; use it when you want to add additional proof jobs, not
53 just the CBMC ones. In that case, you would run `litani init`
54 yourself; then run `run-cbmc-proofs --no-standalone`; add any
56 finally run `litani run-build`.
68 "help": "run at most N proof jobs in parallel",
72 "help": "only configure proofs: do not initialize nor run",
[all …]
|
| D | make_type_header_files.py | 44 or CBMC proof. The intention is that the build process will run
98 res = subprocess.run(drop_header_cmd,
|
| D | make_cbmc_batch_files.py | 45 subprocess.run(["make", "cbmc-batch.yaml"],
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ |
| D | README.md | 6 You can run this on any GNU Make compatible systems. But in case of DOS based systems some tweaking…
7 To compile and run this project successfully, you must have the following:
19 - Go to the extracted folder (`cd cmake-3.13.0`) and run `./bootstrap`.
20 - Run `make -j$(nproc)' and then run `sudo make install`.
30 ### To run the Unit tests:
31 Go to the root directory of the FreeRTOS+TCP repo and run the following script:
34 # This script should be run from the root directory of the FreeRTOS+TCP repo.
37 echo "Please run this script from the root directory of the FreeRTOS+TCP repo."
52 # Run the tests for all units
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
| D | summarize.py | 19 "flags": ["--run-file"],
20 "help": "path to the Litani run.json file",
71 """Parse a dict representing a Litani run and create lists summarizing the
77 A dictionary representing a Litani run.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | compute_patch.py | 125 status = subprocess.run(["git", "status"], stdout=subprocess.DEVNULL,
128 diff_state = subprocess.run(["git", "diff-files"], stdout=subprocess.PIPE,
133 Could not run git status. Exited: {}
139 Could not run git diff-files. Exited: {}
152 patch = subprocess.run(["git", "diff", header_file],
155 cleaned = subprocess.run(["git", "checkout", "--", header_file],
|
| D | README.md | 1 This directory includes patches to FreeRTOS required to run the CBMC proofs.
|
| D | patch.py | 19 … result = subprocess.run(["git", "apply", "--ignore-space-change", "--ignore-whitespace", tmpfile],
|
| D | unpatch.py | 39 …result = subprocess.run(["git", "apply", "-R", "--ignore-space-change", "--ignore-whitespace", tmp…
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ |
| D | README.md | 16 You can run this on a platform supported by Coverity. The list and other details can be found [here…
17 To compile and run the Coverity target successfully, you must have the following:
27 ### To build and run coverity:
28 Go to the root directory of the FreeRTOS-Plus-TCP repo and run the following commands in terminal:
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/ |
| D | README.md | 8 All the CMake commands are to be run from the root of the repository.
30 All the CMake commands are to be run from the root of the repository.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ConfigFiles/ |
| D | FreeRTOSConfig.h | 76 /* Run time stats gathering configuration options. */
77 uint32_t ulGetRunTimeCounterValue( void ); /* Prototype of function that returns run time counter…
78 void vConfigureTimerForRunTimeStats( void ); /* Prototype of function that initialises the run time…
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | README.md | 25 …cs.aws.amazon.com/freertos/latest/userguide/getting_started_xilinx.html) to build and run the demo.
39 To run the script, you should switch to the FreeRTOS-Plus-TCP directory that was created using the …
40 And then run `python <Path/to/the/script>/GenerateOriginalFiles.py`.
100 …- This directory contains the tools and related files (CMock/uncrustify) required to run tests/che…
124 In order to run these proofs you will need to install CBMC and other tools by following the instruc…
|
| D | GettingStarted.md | 10 …figIPv4_BACKWARD_COMPATIBLE" macro to 1 in “FreeRTOSIPConfigDefaults.h” to run the code in backwar…
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_hw.c | 42 *** to run it on a PEEP board
181 last_err_msg = "Receive over run"; in emacps_handle_error()
203 last_err_msg = "Transmit under run"; in emacps_handle_error()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_hw.c | 43 *** to run it on a PEEP board
179 last_err_msg = "Receive over run"; in emacps_handle_error()
201 last_err_msg = "Transmit under run"; in emacps_handle_error()
|
| /FreeRTOS-Plus-TCP-v4.0.0/.github/ISSUE_TEMPLATE/ |
| D | bug_report.md | 27 - Run on ... and could observe ...
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/DefaultConf/ |
| D | FreeRTOSIPConfig.h | 44 * block occasionally to allow other tasks to run. */
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 90 /* This value is assumed to limit the number of times the loop is run.*/ in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/ |
| D | README.md | 69 …setupData.resetNetworkTaskRunning = false; /* Run the network task to reset the net…
|
12345
