Searched refs:testWriteAndReadEffects (Results 1 – 1 of 1) sorted by relevance
46 void testWriteAndReadEffects(SideEffects write, SideEffects read) { in testWriteAndReadEffects() function71 testWriteAndReadEffects(write, read); in testWriteAndReadDependence()79 testWriteAndReadEffects(write, read); in testNoWriteAndReadDependence()