React version of Memory Model checker does not show forced values
Consider this program under weak consistency.
Before:
After:
Note the execution we found actually read 0, despite us forcing 42!
This is a display error, as can be seen when changing the program to inspect the value: