summaryrefslogtreecommitdiff
path: root/FreeRTOS/Test
Commit message (Expand)AuthorAgeFilesLines
* Fix spelling in stream_buffer_utest.cmasterPaul Bartell2021-04-071-23/+25
* Fix spelling in message_buffer_utest.cPaul Bartell2021-04-071-19/+21
* Update test commentsGaurav Aggarwal2021-04-071-1/+2
* Fix typo in message_buffer_utest.cPaul Bartell2021-04-071-1/+1
* Remove imporper TEST_PROTECT usage from message_buffer_utest.c.Paul Bartell2021-04-071-39/+42
* Remove improper TEST_PROTECT usage which results in an infinite loop when an ...Paul Bartell2021-04-071-86/+57
* Reintroduce quarantined CBMC test (#516)Carl Lundin2021-04-071-0/+9
* Update Tasks.c CBMC Proofs to Latest Code (#547)Carl Lundin2021-04-022-34/+33
* Re-enable list, message_buffer, and stream_buffers unit testsPaul Bartell2021-04-011-3/+3
* Add event_groups.c Unit Test (#536)Ming Yue2021-04-015-4/+952
* Work around gcov json output bugPaul Bartell2021-03-311-1/+1
* Adding unit tests for stream buffer and message buffer (#528)Ravishankar Bhagavandas2021-03-307-0/+2354
* Force a branch in the definition of configASSERT in the default CMock FreeRTO...Paul Bartell2021-03-241-75/+85
* Collect initial coverage data so that untagged functions are still included i...Paul Bartell2021-03-231-2/+12
* Skip filtering of coverage if no @coverage tags are found in a _utest.c filePaul Bartell2021-03-221-3/+11
* Kernel UT: Enable preprocessor when running cflow in callgraph.py (#530)Paul Bartell2021-03-192-4/+31
* Make the address sanitizer optional for CMock kernel unit tests (#526)Paul Bartell2021-03-162-2/+11
* Clean up CMock makefiles and add coverage filtering (#523)Paul Bartell2021-03-1519-341/+1120
* Minor VeriFast proof changes to match V10.4.3 (#519)Nathan Chong2021-02-2529-33/+148
* Add unity memory extension, fake_assert, and enable -fsanitize=address (#506)Paul Bartell2021-02-189-57/+140
* Generate JUnit style report for kernel unit test (#504)alfred gedeon2021-02-151-8/+12
* Unit Test/timer[0] (#502)David Chalco2021-02-144-3/+233
* Add Litani to run CBMC proofs (#501)Carl Lundin2021-02-124-18/+345
* Kernel list.c Unit Test (#497)alfred gedeon2021-02-116-38/+1118
* Add Kernel Unit Tests Environment (#494)alfred gedeon2021-02-0812-276/+260
* [AUTO][RELEASE]: Bump file header version to "202012.00"Joseph Julicher2020-12-1530-30/+30
* [AUTO][RELEASE]: Bump file header version to "202012.00"Joseph Julicher2020-12-152-2/+2
* Re-add missing license files caused by PR #471 and fix patches (#477)Carl Lundin2020-12-142-3/+5
* Fix CBMC patches. (#471)Carl Lundin2020-12-123-24/+12
* Remove duplicate WinBase.h and Windows.h. (#458)Ming Yue2020-12-092-0/+0
* Update kernel submodule pointer to version 47338393f (#456)Cobus van Eeden2020-12-082-20/+13
* [AUTO][RELEASE]: Bump file header version to "202011.00"David Chalco2020-11-102-2/+2
* Syntactic proof changes to track 10.4.1 changes (#322)Nathan Chong2020-10-066-17/+19
* Remove CBMC proofs of TCP source code (#325)Aniruddha Kanhere2020-10-062-0/+0
* Move ./scripts --> FreeRTOS/Test/CMock/scripts (#298)David Chalco2020-09-242-0/+16
* Inititial stub for cmock tests (#297)David Chalco2020-09-248-0/+646
* Sync back V10.4.1 (#282)Cobus van Eeden2020-09-172-2/+2
* Update Version number to 10.4.0 (#237)David Chalco2020-09-102-2/+2
* cbmc: Add patch to remove overflow assert (#232)Ravishankar Bhagavandas2020-09-011-0/+20
* List proofs and signoff (#194)Nathan Chong2020-08-2716-59/+1737
* Move forward Kernel submodule pointer (#218)Cobus van Eeden2020-08-265-32/+36
* Updating queue.c patches for CBMC proofs (#216)Cobus van Eeden2020-08-262-14/+14
* Remove CBMC patch which is not used anymore (#187)Aniruddha Kanhere2020-08-031-26/+0
* Remove dependency of CBMC on Patches (#181)Aniruddha Kanhere2020-08-015-265/+3
* MISRA compliance changes in FreeRTOS_Sockets{.c/.h} (#161)Aniruddha Kanhere2020-07-291-4/+4
* Prove buffer lemmas (#124)Nathan Chong2020-07-2126-1768/+2027
* Add VeriFast kernel queue proofs (#117)Nathan Chong2020-07-0231-1/+3702
* Fix a Bug and corresponding CBMC patch (#84)Aniruddha Kanhere2020-06-031-30/+26
* Sync with a:FR (#75)Aniruddha Kanhere2020-05-289-250/+363
* Move CBMC proofs to FreeRTOS+ directory (#64)AniruddhaKanhere2020-05-0585-2986/+5
View Lorry Controller Status