len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-23 11:09:28 -05:00
Code Issues Projects Releases Packages Wiki Activity

Update for kernel idle task unit test (#1096)

Browse source 
* Update unit test to cover idle task name longer than configMAX_TASK_NAME_LEN
* Update community supported demo submodule pointer
* Update kernel submodule pointer
* Update CBMC test

---------

Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
This commit is contained in:
chinglee-iot 2023-10-12 12:53:52 +08:00 • committed by GitHub
parent d73470e936
commit d3575643b8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
FreeRTOS/Test/CBMC/proofs/Task/TaskStartScheduler/Makefile.json
View file

@ -38,7 +38,7 @@
"CBMCFLAGS":
[
"--unwind 1",
"--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4"
"--unwindset prvInitialiseTaskLists.0:8,prvInitialiseNewTask.0:16,prvInitialiseNewTask.1:4,prvCreateIdleTasks.0:20,prvCreateIdleTasks.1:2"
],
"OBJS":
[

1
FreeRTOS/Test/CMock/tasks/FreeRTOSConfig_1.h
View file

@ -56,6 +56,7 @@
#define configTICK_RATE_HZ ( 1000 ) /* In this non-real time simulated environment the tick frequency has to be at least a multiple of the Win32 tick frequency, and therefore very slow. */
#define configMINIMAL_STACK_SIZE ( ( unsigned short ) 70 ) /* In this simulated case, the stack only has to hold one small structure as the real stack is part of the win32 thread. */
#define configTOTAL_HEAP_SIZE ( ( size_t ) ( 52 * 1024 ) )
#define configIDLE_TASK_NAME "IdleTaskLongerThanMax"
#define configMAX_TASK_NAME_LEN ( 12 )
#define configUSE_TRACE_FACILITY 0
#define configUSE_16_BIT_TICKS 0

2
FreeRTOS/Test/CMock/tasks/tasks_1_utest.c
View file

@ -3229,7 +3229,7 @@ void test_xTaskGetIdleTaskHandle_success( void )
/* Api Call */
ret_idle_handle = xTaskGetIdleTaskHandle();
ptcb = ret_idle_handle;
ret = strcmp( ptcb->pcTaskName, "IDLE" );
ret = strncmp( ptcb->pcTaskName, configIDLE_TASK_NAME, configMAX_TASK_NAME_LEN - 1 );
TEST_ASSERT_EQUAL( 0, ret );
}