@@ -1741,11 +1741,7 @@ void test_coverage_xTaskRemoveFromEventList_remove_eq_priority_task( void )
1741
1741
uxCurrentNumberOfTasks = uxCurrentNumberOfTasks + 1 ;
1742
1742
1743
1743
/* Expectations. */
1744
- vFakePortGetCoreID_StubWithCallback ( NULL );
1745
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get portGET_CRITICAL_NESTING_COUNT. */
1746
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get prvYieldCore. */
1747
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get portGET_CRITICAL_NESTING_COUNT. */
1748
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get xYieldPendings. */
1744
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
1749
1745
vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* portTASK_SWITCH_HOOK(). */
1750
1746
1751
1747
/* API call. */
@@ -1942,9 +1938,7 @@ void test_coverage_vTaskRemoveFromUnorderedEventList_remove_higher_priority_task
1942
1938
uxCurrentNumberOfTasks = uxCurrentNumberOfTasks + 1 ;
1943
1939
1944
1940
/* Expectations. */
1945
- vFakePortGetCoreID_StubWithCallback ( NULL );
1946
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get portGET_CRITICAL_NESTING_COUNT. */
1947
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get prvYieldCore. */
1941
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
1948
1942
1949
1943
/* API call. */
1950
1944
vTaskRemoveFromUnorderedEventList ( & xTaskTCB .xEventListItem , 500 | 0x80000000UL );
@@ -1990,9 +1984,7 @@ void test_coverage_vTaskEnterCritical_task_in_critical_already( void )
1990
1984
1991
1985
/* Expectations. */
1992
1986
vFakePortDisableInterrupts_ExpectAndReturn ( 0 );
1993
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get both locks. */
1994
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Increment the critical nesting count. */
1995
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check first time enter critical section. */
1987
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
1996
1988
1997
1989
/* API call. */
1998
1990
vTaskEnterCritical ();
@@ -2030,9 +2022,8 @@ void test_coverage_vTaskEnterCriticalFromISR_isr_in_critical_already( void )
2030
2022
vFakePortGetCoreID_StubWithCallback ( NULL );
2031
2023
2032
2024
/* Expectations. */
2025
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
2033
2026
ulFakePortSetInterruptMaskFromISR_ExpectAndReturn ( 0x5a5a ); /* The value to be verified. */
2034
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Get ISR locks. */
2035
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Increment the critical nesting count. */
2036
2027
2037
2028
/* API call. */
2038
2029
xSavedInterruptStatus = vTaskEnterCriticalFromISR ();
@@ -2073,10 +2064,7 @@ void test_coverage_vTaskExitCritical_task_enter_critical_mt_1( void )
2073
2064
vFakePortGetCoreID_StubWithCallback ( NULL );
2074
2065
2075
2066
/* Expectations. */
2076
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* configASSERT. */
2077
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check critical nesting count. */
2078
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Decrease the critical nesting count. */
2079
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check exit critical section. */
2067
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
2080
2068
2081
2069
/* API call. */
2082
2070
vTaskExitCritical ();
@@ -2114,8 +2102,7 @@ void test_coverage_vTaskExitCritical_task_not_in_critical( void )
2114
2102
vFakePortGetCoreID_StubWithCallback ( NULL );
2115
2103
2116
2104
/* Expectations. */
2117
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* configASSERT. */
2118
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check critical nesting count. */
2105
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
2119
2106
2120
2107
/* API call. */
2121
2108
vTaskExitCritical ();
@@ -2172,10 +2159,7 @@ void test_coverage_vTaskExitCriticalFromISR_isr_enter_critical_mt_1( void )
2172
2159
vFakePortGetCoreID_StubWithCallback ( NULL );
2173
2160
2174
2161
/* Expectations. */
2175
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* configASSERT. */
2176
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check critical nesting count. */
2177
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Decrement critical nesting count. */
2178
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check critical nesting count. */
2162
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
2179
2163
2180
2164
/* API call. */
2181
2165
/* The mask value has not effect since ISR enters critical section more than 1 time. */
@@ -2215,8 +2199,7 @@ void test_coverage_vTaskExitCriticalFromISR_isr_not_in_critical( void )
2215
2199
vFakePortGetCoreID_StubWithCallback ( NULL );
2216
2200
2217
2201
/* Expectations. */
2218
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* configASSERT. */
2219
- vFakePortGetCoreID_ExpectAndReturn ( 0 ); /* Check critical nesting count. */
2202
+ vFakePortGetCoreID_ExpectAndReturn ( 0 );
2220
2203
2221
2204
/* API call. */
2222
2205
/* The mask value has not effect since ISR is not in critical section. */
0 commit comments