Escape configASSERT in FreeRTOSConfig.h for CBMC proof checking
Enclose the definition of configASSERT within #ifndef ... #endif so
it can be redefined from the command line during CBMC proof checking
to invoke __CPROVER_assert to check the assertions with CBMC.
@@ -124,7 +124,9 @@ void vConfigureTimerForRunTimeStats( void );
/* Assert call defined for debug builds. */
extern void vAssertCalled( const char * pcFile,
uint32_t ulLine );
+#ifndef configASSERT
#define configASSERT( x ) if( ( x ) == 0 ) vAssertCalled( __FILE__, __LINE__ )
+#endif
/* The function that implements FreeRTOS printf style output, and the macro
* that maps the configPRINTF() macros to that function. */
