Assertion: condition's value | /r/HasProperty | written of bit
Facets:
Source sentences:
text: Similarly, if one thread reads from a location while another thread is writing to it, it may be possible for the read to return a value that is some arbitrary and meaningless combination of the bits representing the value that the memory location held before the write, and of the bits representing the value being written.