Closed nabhishekn closed 1 year ago
check.h file is not present in the repository.
To run the tests, you need to install the Check Framework:
https://libcheck.github.io/check/
Under Ubuntu, it should be as simple as apt install libcheck-dev but double-check to be sure.
apt install libcheck-dev
check.h file is not present in the repository.