mirror of
https://github.com/espressif/esp-idf.git
synced 2024-09-20 10:46:02 -04:00
7255497146
Freertos asserts are now configured the same way as all other asserts in IDF, i.e. by configuring COMPILER_OPTIMIZATION_ASSERTION_LEVEL.
26 lines
827 B
C
26 lines
827 B
C
#include "freertos/FreeRTOS.h"
|
|
#include "freertos/task.h"
|
|
#include "freertos/semphr.h"
|
|
#include "unity.h"
|
|
#include "test_utils.h"
|
|
|
|
/* If assertions aren't set to fail this code still crashes, but not with an abort... */
|
|
#if CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER && !CONFIG_COMPILER_OPTIMIZATION_ASSERTIONS_DISABLE
|
|
|
|
static void mutex_release_task(void* arg)
|
|
{
|
|
SemaphoreHandle_t mutex = (SemaphoreHandle_t) arg;
|
|
xSemaphoreGive(mutex);
|
|
TEST_FAIL_MESSAGE("should not be reached");
|
|
}
|
|
|
|
TEST_CASE("mutex released not by owner causes an assert", "[freertos][reset=assert,SW_CPU_RESET]")
|
|
{
|
|
SemaphoreHandle_t mutex = xSemaphoreCreateMutex();
|
|
xSemaphoreTake(mutex, portMAX_DELAY);
|
|
xTaskCreate(&mutex_release_task, "mutex_release", 2048, mutex, UNITY_FREERTOS_PRIORITY + 1, NULL);
|
|
vTaskDelay(1);
|
|
}
|
|
|
|
#endif
|