I think that the line:
#if(USE_16_BIT_TICKS == 1 )
had to be changed to:
#if( configUSE_16_BIT_TICKS == 1 )
in the portmacro.h file of the WIN32 simulator.
I’m using the WIN32 simulator for study and understand FreeRTOS. I wanted to experiment with a small portTickType in order to generate a TickCount overflow and I’ve found that this line is diferent (and possible wrong) compared with other ports.
I found the same code diferent at the GCC MCF5235 port.
I think that the WIN32 simulator is a great tool for the FreeRTOS study and algorithm tests.