Как использовать watchpoint в xilinx SDK

Question

Watchpoint не работает в xilinx SDK.

Я получаю следующую ошибку: (я не могу загрузить изображения, поэтому я заменяю их ссылками)

https://xlnx.i.lithium.com/t5/image/serverpage/image-id/56292iFD8D1C7772617871/image-size/large?v=1.0&px=999

мой код:

int i;
char temp[1024];

int main()
{
    for(i = 0; i < 1024; i++)
        temp[i] = i;
    printf("program done \n");
    return 0;
}

Он немедленно завершается без остановки.