Searched refs:prop_thread_safety (Results 1 – 14 of 14) sorted by relevance
892 prop_thread_safety :: PropertyM IO ()893 prop_thread_safety = do function980 testProperty "Thread safety" (monadicIO prop_thread_safety)
936 prop_thread_safety :: PropertyM IO ()937 prop_thread_safety = do function1025 testProperty "Thread safety" (monadicIO prop_thread_safety)