| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
| |
Add unit tests for the various ...GetStaticBuffer() functions added in
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/641.
---------
Co-authored-by: Paul Bartell <pbartell@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Fix CBMC proof failures
These were introduced in PR #620.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update manifest
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Framework initialization.
* Move testRunner.c to test case subfolder.
* Update README doc and formatting.
* Add default configurations in test_config.h.
* Fix License & formatting check.
* Fix typo.
* Move setup/teardown functions to main.c file.
* Move setup/teardown functions back.
* Update README doc.
* Patch for comments.
* Correct test runner file name.
* Move test_config.h to the end of FreeRTOSConfig.h.
* Add undef in test_config.h and description in README doc.
* Correct the file format.
* Fix chinglee-iot comments.
* Code review suggestions
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix spell check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
| |
This commit adds a GitHub Action that runs the CBMC proofs upon every
push and pull request. This is intended to replace the current CBMC CI.
|
| |
|
|
|
|
|
| |
Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.
Co-authored-by: Mark Tuttle <tuttle@acm.org>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Update the unit test for the following functions to verify that equal priority task won't be preempted
* vTaskResume
* xTaskResumeFromISR
* vTaskPrioritySet
* xTaskResumeAll
4 test cases are added to verify this scenario
* test_xTaskResumeAll_success_2_tasks_eq_prio_running_no_yield
* test_vTaskPrioritySet_success_eq_curr_prio_curr_tcb
* test_vTaskResume_success_eq_curr_prio_not_yield
* test_xTaskResumeFromISR_success_eq_curr_prio_suspended_task
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Update mbedtls to version v3.2.1
* Adjust include paths for github workflow
* Update FreeRTOS+TCP to v3.1.0
* Add initial VS project files for Kernel, +TCP, and mbedtls
* winpcap: Consolidate to a single copy of WinPcap
* Downgrade library projects to VS 2019. Add heap_4 to kernel.
* Remove *.vcxproj.user files and add to gitignore
* Disable unwanted kernel config options
* Update FreeRTOS+TCP and Kernel include paths
* Update FreeRTOS+TCP Windows Minimal sln
* Remove .suo and .vcxproj.user files
* Update mbedtls transport implementations for mbedtls v3.2.1
* Fix typo in mbedtls_freertos_port.c
* Update vcxproj files for +TCP, Kernel, Mbedtls
* Fix typo in name WindowSimulator -> WindowsSimulator
* Add wpcap lib to FreeRTOS+TCP.vcxproj
* Update FreeRTOS+TCP Minimal Demo for Windows Simulator
* Mask MSVC string function warnings
Aad _CRT_SECURE_NO_WARNINGS preprocessor definition.
* Move projects to their own directories to make VisualStudio happy
* mbedtls_freertos_port.c: Fix formatting?
* Add coreHTTP, Logging libs. Adjust dependencies
* Disable FreeRTOS Kernel malloc failed hook
* Update coreHTTP Plaintext demo
* Rename / relocate transport interface implementations
* Remove old VS project files
* Remove extra core_http_config.h files
* Remove extra FreeRTOSConfig.h files
* Remove extra FreeRTOSIPConfig.h files
* Remove old mbedtls_config.h files
* Remove old FreeRTOSConfig and core_http_config files
* Update HTTP Mutual Auth Demo build files
* Fix transport_plaintext.h include name
* Update HTTP_Plaintext demo build files
* Update CoreHTTP_S3_Download VS project files
* Update HTTP_S3_Upload demo build files
* Update CoreHTTP_S3_Download_Multithreaded demo build files
* Add GithubActions builds for FreeRTOS+ CoreHTTP Demos
* Update S3DownloadHTTPExample.c to be compatible with mbedtls 3.x
* Update GithubActions FreeRTOS+ config file
* Combine core_pkcs11_config.h files into a single one
* Add corePKCS11 VS project file
* Update corePKCS11 WinSim demo project and build files
* Update corePKCS11 library to version 3.5.0
* Modifiying demos to build using static libraries
* Adding a header file
* Two more demos
* Update corePKCS11 demo code and auto-format
* Downgrade corePKCS11 library build file to v142 / VS 2019
* Speed up CI builds with selective submodule initialization
* Separate corePKCS11 demo into it's own job.
* Remove WIN32.vcxproj and WIN32.vcxproj.filters files
* Remove old configuration header files
Partially reverts 73829ced6061e4584e521185178a61b4a437c5e0
* Revert unwanted coreHTTP demo changes
* Changing include paths for demos
* Adding an include
* MQTT WoflSSL Demo update
* wolfSSL Demo changes
* Config changes for MQTT Demos
* Initial Device Defender demo update.
* Initial Device Shadow demo update.
* Update mbedtls_transport_pkcs11 for Mbedtls 3.x
* Update corePKCS11 MQTT Mutual Auth demo
* Add a default definition of SdkLog
* Update CorePKCS11 + MQTT Mutual Auth demo sln name
* Build all configs of coreHTTP demos
* Update coreSNTP Demo build files.
* Update coreSNTP Demo sln name
* Update FreeRTOS+TCP Posix demo
* Update FreeRTOS+TCP Qemu ARM MPS2 AN385 Demo
* Update FreeRTOS+TCP Demo Github Actions builds
* Update Fleet Provisioning WinSim Demo build files
* Remove mbedtls_pk_info_t references from mbedtls_pk_pkcs11.h
* Restore / update the FreeRTOS+TCP Minimal WinSim demo
* Initial Jobs demo update.
* Fix jobs demo build.
* Initial OTA over HTTP demo update.
* Initial OTA over MQTT demo update.
* Ota_Over_Mqtt_Demo build fix.
* OTA over MQTT demo fix.
* Update HTTP demo solution file name for CI.
* Update Github actions workflow to old HTTP demo names.
* Update coreSTNP demo to old solution name.
* Fix defender demo / fix mbedtls config to use threading alt.
* Add MBEDTLS_CONFIG_FILE definition to each config
* Fix config file name.
* MQTT Mutual auth fixes.
* Fix job demo.
* Device shadow demo fixes.
* Fix coreSNTP demo not setting alt threading functions for mbedtls.
* Enable Static allocation, Add default hooks for FreeRTOS Kernel and +TCP
* Add xPlatformIsNetworkUp platform function to FreeRTOS+TCP hooks
* Enable runtime statistics in the Windows Simualator Kernel config
* Revert "Fix coreSNTP demo not setting alt threading functions for mbedtls."
This reverts commit 9069707519561ca8136d58c0f18fb176c9050a1d.
* Revert mbedtls threading related config changes
* Add xPlatformIsNetworkUp function prototype
* Remove boileplate FreeRTOS kernel and +tcp hooks
* Refactor device defender demo for clarity
* Add wait loop calling xPlatformIsNetworkUp
* Add missing vPlatformInitLogging function
* Add vPlatformInitLogging and vLoggingPrintf defitions to logging headers
* Updating the FreeRTOS_Plus_CLI_with_Trace_Windows_Simulator
* Updating the FreeRTOS_Plus_Reliance_Edge_and_CLI_Windows_Simulator demo
* Updates to the FreeRTOS_Plus_WolfSSL_Windows_Simulator demo
* Fixing wrong include path
* Upating FreeRTOS_Plus_WolfSSL_FIPS_Ready_Windows_Simulator demo
* Update coreMQTT WinSim demos to print start and end condition.
* Modifiying repos updated as part of the CLI demo GitHub workflow
* Removing duplicate functions from the FreeRTOS_Plus_TCP_Minimal_Windows_Simulator demo
* Updated FreeRTOS_Plus_TCP_UDP_Mode_CLI_Windows_Simulator demo
* Updating corePKCS11_MQTT_Mutual_Auth_Windows_Simulator Demo to call the static function that creates task
* Fix log message using unitialized string in MQTT Multitask demo.
* Fixing a broken extern function
* Fixing a typo extern function name
* Added a reference to coreHTTP
* Fixing a pre-processor issue in the OTA_Over_Http_Demo
* Updating the MQTT_Mutual_Auth_Demo_with_BG96 demo
* Updating the MQTT_Mutual_Auth_Demo_with_HL7802 demo
* Changes to the MQTT_Mutual_Auth_Demo_with_SARA_R4 demo
* Fix demos for CI.
* Adding the source path to the CBMC proofs for FreeRTOS+TCP
* Spell check fixes, adding words to lexicons
* Fixing a typo
* Add arg to skip prompt in setup script.
* Update paths of script to be relative to the file.
* Changing manifest.yml file to point to corePKCS11 3.5.0
* Added CI markers to cellular demos.
* Fix cellular demo flow.
* Fix celullar demos.
* Initial TCP sockets wrapper rework - will break things.
* First cellular demo fix for new sockets wrapper.
* Minor fix to cellular sockets wrapper.
* Fix mbedtls bio using FreeRTOS Plus TCP call.
* Clean up BG96 demo project files.
* Update HL7802 demo.
* Fix SARA R4 demo for new sockets wrapper.
* Fix Device Defender, Device Shadow, and Fleet PRovisioning.
* Fix Jobs demo.
* Fix OTA over HTTP demo.
* Fix OTA over MQTT demo.
* Fix HTTP mutual auth demo.
* Fix OTA over MQTT demo endianness.
* Fix OTA over HTTP demo endianness.
* Fix HTTP Plaintext demo.
* Fix HTTP S3 download demo.
* Fix plaintext transport
* Fix OTA demos.
* Fix OTA demos.
* Fix OTA HTTP demo.
* Fix HTTP S3 Download multithreaded demo.
* Fix HTTP S3 Upload demo
* Fix corePKCS11 Mutual Auth demo.
* Updating MQTT_Mutual_Auth
* Update pkcs11 setup script.
* Updating the MQTT_Basic_TLS Demo
* Organize PKCS11 demos project.
* Updating MQTT_Keep_Alive demo
* Clean up SNTP demo.
* Updated MQTT_Multitask demo
* Updated MQTT_Plain_Text
* Updating the MQTT_Serializer Demo
* Updating corePKCS11_MQTT_Mutual_Auth_Windows_Simulator
* Updating coreSNTP_Windows_Simulator
* Clean up demo projects.
* Add markers to PKCS11 mutual auth demo.
* Fix Fleet Provisioning demo script.
* Fix SNTP demo solution.
* Fix coreSNTP project files.
* Fix Fleet Provisiong script.
* Fix fleet provisioning script.
* Fix demo config template.
* Fleet provisioning demo markers.
* Updating MQTT_Mutual_Auth_wolfSSL demo and the transport_wolfSSL file
* Fixing FreeRTOS_Plus_TCP_Echo_POSIX
* Fixing CLI and Trace Demos
* Fixing TCP_ECHO_POSIX demo
* Adding a word to the lexicon
* Remove unneeded files.
* Update github workflows to use Ubuntu 20.04.
* Change OTA demo target names to RTOSDemo for OTAE2E tests.
* Fixing Headers
* Updating headers
* Two more headers
* Adding words to the lexicon
* Whitepsace
* Ignore mbedtls config file for header check.
* Removing FreeRTOS Header from the mbedtls_config_v3.2.1.h file
* Fix bug in lPKCS11PkMbedtlsCloseSessionAndFree. Add doxygen api docs.
* Update lexicon.txt
* Fix spelling
* Apply suggestions from code review
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
* Add return code comment for p11_ecdsa_ctx_init
* Rename WindowsSimulator folder to VisualStudio_StaticProjects.
* Remove references to coroutines
* Fix mbedtls_pk_pkcs11.c
* Update to LTS 2.0 submodule pointers (#880)
* Update submodule pointers to LTS 2.0
* Initial coreMQTT 2.1.1 update.
* Update AWS demos for coreMQTT 2.1.1
* Fix deprecated macro for coreMQTT demos.
* Fix keep alive demo.
* Fix plaintext demo.
* Fix MQTT wolfSSL demo.
* Fix MQTT PKCS11 demo.
* Remove duplicate functions.
* Fix Mutual auth demos for Cellular.
* Fix OTA demos.
* Fix header of plaintext demo config.
* Set writev to NULL for OTA demos.
* Fix mbedlts config for OTA demos.
* Fix spelling.
Co-authored-by: Jason Carroll <czjaso@amazon.com>
* Removing blank line
* Fix jobs demo race condition.
* Fix race condition from WinPCap network interface.
* Update lexicon.
Co-authored-by: Paul Bartell <pbartell@amazon.com>
Co-authored-by: Jason Carroll <czjaso@amazon.com>
Co-authored-by: Paul Bartell <paul.bartell@gmail.com>
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Remove co-routine centric CORTEX_LM3S102_Rowley demos.
Remove CORTEX_LM3S102_Rowley Demo2 and Demo3.
Update Demo1 to no longer use coroutines.
* Remove co-routines from MB91460_Softune demo
* FreeRTOS_96348hs_SK16FX100PMC: Remove co-routine usage.
Remove co-routine usage from FreeRTOS_96348hs_SK16FX100PMC demo.
* MB96350_Softune_Dice_Kit: Remove co-routine usage
Remove co-routines usage from MB96350_Softune_Dice_Kit demo
* AVR_Dx_IAR: Remove co-routine usage
* AVR_Dx_Atmel_Studio: Remove co-routine usage
* PIC24_MPLAB: Remove autogenerated files and add to .gitignore
* PIC24_MPLAB: Remove co-routine usage from demo
* AVR_ATMega323_IAR: Remove co-routine usage
* ColdFire_MCF52221_CodeWarrior: Remove coroutine usage
* AVR_ATMega4809_MPLAB.X: Remove co-routine usage
* AVR_ATMega4809_IAR: Remove co-routine usage
* AVR_ATMega4809_Atmel_Studio: Remove coroutine usage
* AVR_ATMega323_WinAVR: Remove coroutine usage
* AVR_Dx_MPLAB.X: Remove coroutine usage
* dsPIC_MPLAB: Remove coroutine usage
* CORTEX_LM3S102_GCC: Remove coroutines and coroutine centric demos
* CORTEX_LM3S102_GCC: Update makefile to discard unused symbols
Allows fitting in the limited ram/flash for this part.
* CORTEX_LM3S316_IAR: Remove coroutines
* Demos: Remove references to crflash.c, crhook.c, crflash.h, crhook.h
* Remove coroutine options from FreeRTOSConfig.h files
* Xilinx: Remove backup file generated by revup utility
* Demos: Remove Coroutine related config items and references
* Format CBMC FreeRTOSConfig.h
* Update URL from aws.amazon.com/freertos to github.com/FreeRTOS
* Fix copyright year and license text
* Fix license text in demo files
* Update header check excluded path list
* Add configBENCHMARK to lexicon
|
| |
|
|
|
|
| |
Update SiFive IAR demo to support vectored interrupts. This is a near copy of https://github.com/FreeRTOS/FreeRTOS/pull/797.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Add a unit test for tasks.c
This test simulates the scenario when a task with priority higher than
the currently executing task is unblocked as a result of the
xTaskIncrementTick call.
This is needed to fix the coverage drop in PR https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/568.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add description for the test
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add doc for another test
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Undo syntax changes preventing VeriFast parsing
* Update proofs inline with source changes
Outstanding:
- xQueueGenericReset return code
- Not using prvIncrementQueueTxLock or prvIncrementQueueRxLock macros
* Remove git hash check
* Document new changes between proven code and implementation
* Update copyright header
* VeriFast proofs: turn off uncrustify checks
Uncrustify requires formatting of comments that is at odds with VeriFast's
proof annotations, which are contained within comments.
* Update ci.yml
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
|
| |
|
|
|
|
|
|
|
|
|
| |
The test simulates the scenario when a task with priority equal to the
currently executing task is unblocked as a result of the
xTaskIncrementTick call.
Related PR - https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/568
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Created a generic portmacro.h file in the CBMC include folder instead of using the default MSVC-MingW one. This allows each proof to define the portmacro constants it needs and cover all code in the Task Scheduler
* Removed the license text from the portmacro file
* Fix CI checks
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix spell check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Test: add multi config ability to build system
* Remove Tests that are not implemented yet from the makefile
* Fix header check
* Test: Unit Test tasks.c
* UnitTest: tasks.c Save progress
* saving some work 70% coverage
* coverage 77%
* tasks.c coverage 90%
* tasks.c coverage 95%
* Cleanup and common header
* Cover some extra branches, no_mutex +stack growth
* Fix Makefile not to use modified version of c-preprocessor
* Remove c-preprocessor errros
* Rebase and add some tests
* Fortify_source=1 and O0 are mutually exclusive
* Style: Uncrustify code
* Style: Fix indent
* Fix Header checks
* Add prototypes
* Build: use unifdef instead of the c-preprocessor to generate different configurations
* Build: fix makefile cflags
* Fix UT after upgrading kernel version
* Resolve conflicts and test failures
* Comment fix version number
* Fix build error
* Update FreeRTOS/Test/CMock/Makefile
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
|
| | |
|
| |
|
|
|
|
|
| |
* Add tests for streambuffer callback
* Add concurrent readers writers test
* Update manifest
|
| |
|
|
|
|
|
| |
* Remove Litani submodule
* Update README to include section on CBMC
* Update litani references in Python run script
|
| |
|
|
|
|
|
|
|
|
|
| |
* Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h
This is needed to fix build issues in https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/507
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix header check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
| |
Add a hardware definition project for the MicroZed board to the existing Zynq ZC702 project.
Add a text file that describes how to switch the Zynq project form the ZC702 hardware to the MicroZed hardware.
|
| |
|
|
|
|
|
|
|
|
|
| |
* Update readme
* Address comments
* Update instructions according to comments
* Remove windows based instructions
* Add details for CBMC-viewer
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
FreeRTOS/FreeRTOS-Kernel/pull/445) (#782)
* pin uncrustify version and update configuration file
* Update AbortDelay.c
* Update BlockQ.c
* Update MessageBufferDemo.c
* Update QPeek.c
* Update StaticAllocation.c
* Update integer.c
* Update recmutex.c
* Update create.c
* Update prvCopyDataToQueue.c
* Update prvUnlockQueue.c
* Update vQueueDelete.c
* Update xQueueGenericSend.c
* Update xQueueGenericSendFromISR.c
* Update xQueuePeek.c
* Update xQueueReceive.c
* Update IntSemTest.c
* Update dynamic.c
* Update lexicon.txt
Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
These tests cover the following portion in the queue code:
static void prvUnlockQueue( Queue_t * const pxQueue )
{
...
if( prvNotifyQueueSetContainer( pxQueue ) != pdFALSE )
{
/* The queue is a member of a queue set, and posting to
* the queue set caused a higher priority task to unblock.
* A context switch is required. */
vTaskMissedYield();
}
else
{
mtCOVERAGE_TEST_MARKER();
}
...
}
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
| |
Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435
This ensures that the coverage does not go down with the PR
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
| |
* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Update History.txt and README.md for December release (#744)
* Update History.txt and README.md for release
* Bump mbedtls submodule to v2.28.0 (#745)
* Patch project files for mbedtls (#751)
* Apply group 1 patches
* Apply patches for group 2
* Update project files for mbedTLS new version
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix warnings in projects
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix warnings in HTTP_S3_Download demo
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update changelog and history for corePKCS11 update (#752)
* Update submodule pointer and manifest.yml for corePKCS11 (#754)
* Update readme and history.txt to show that Sigv4 is a newly added library (#756)
* Revert update to v143 of VS toolset (#757)
* [AUTO][RELEASE]: Bump file header version to "202112.00"
* Update file headers to satisfy core checks
Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: johnrhen <johnrhen@users.noreply.github.com>
|
| |
|
| |
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
|
| |
|
| |
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
|
| |
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
| |
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
|
| |
|
|
| |
This reverts commit 7340a72dee2e7e3e0386b22b2e88696721080431.
|
| | |
|
| | |
|
| |
|
|
| |
This reverts commit a32ab34192d45ac4ac63114a5f6466aa9c6c0e49.
|
| |
|
|
| |
UT: Add streambuffer test to make PR #391 pass
|
| |
|
| |
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
|
| |
|
|
|
|
|
|
|
| |
* Revert cbmc-viewer flags
* Add cbmc-viewer configuration files
* Repair CBMC patch to prvCopyDataToQueue
Authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Add uncrustify github workflow
* Fix exclusion pattern
* fix find expression
* exclude uncrustify files
* Uncrustify common demo and test files
* exlude white space checking files
* Fix EOL whitespace checker
* Remove whitespaces from EOL
* Fix space at EOL
* Fix find spaces at EOL
Co-authored-by: Archit Aggarwal <architag@amazon.com>
|
| |
|
|
|
| |
This commit is paired with another to queue.c in the kernel. To
accomodate changes in newer versions of CBMC, the
--pointer-overflow-check is removed.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
| |
* Test: Mask unit test warning
* Fix Unit Test Bug
* Unit Test: Add setters and getters for xMaskAssertAndAbort
* Fix Warning
* Update Makefile
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Added spell check
* All words
* Add a missing word
* Fix header checks
* Fix header checks v1
* Fix header check v2
* Updated freertos link in header
* Fixed afr link in the header
* Fix last of header checks
* Update the spell check script to check amazon licensed files only
* Fixed paths and added comments
* Try with modified repo
* Add inplace substitute option to sed
* Use official repo as the spell checker source
* Add vendor file to the ignored list
Co-authored-by: root <root@ip-172-31-5-28.us-west-2.compute.internal>
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
| |
* Disregard coverage data without a function_name field set
* Fix calling make on subdirectories
* Undefine FORTIFY_SOURCE when running without ENABLE_SANITIZERS
* Add queue and semaphore unit tests
* Update FreeRTOS-Kernel submodule revision
|
| | |
|
| | |
|
