check in Testcase.cpp if realloc was successful