Searched refs:testWriteAndReadEffects (Results 1 – 1 of 1) sorted by relevance
45 void testWriteAndReadEffects(SideEffects write, SideEffects read) { in testWriteAndReadEffects() function70 testWriteAndReadEffects(write, read); in testWriteAndReadDependence()78 testWriteAndReadEffects(write, read); in testNoWriteAndReadDependence()