R3T

Functions for use in unit tests to check for race conditions when using multiple threads. R3T reproducibly detects them by manually controlling the thread scheduler and can also check if synchronizations (Monitor/Mutex/Sync) do their work well.