Usage of cJUnit for trying to find concurrency bugs on other libraries