This is a framework for testing multi-threaded programs.