I have been working through the Aalto programming in C MOOC and recently got the test cases to compile after upgrading check.
I had to install check & pkg-config and update tmc-check.c & tmc-check.h to be compatible with check 15
tmc-check updates for check 15 testmycode/tmc-check#5 https://github.com/Heliozoa/tmc-check
check install https://libcheck.github.io/check/web/install.html#osxsource