xxxxxxxxxx// contrasting with data_race.c, this // shows a concurrent use of sc_atomic that does// not have a data raceint main() { atomic_int x = 2; int y = 0; {{{ x.store(3); ||| y = ((x.load())==3); }}}; return 0; }ModelDisplay RelationsDisplay Layout | Model Predicatesconsistent_race_free_execution unsequenced_races data_races indeterminate_reads locks_only_bad_mutexes |