off the top of my head, maybe something like one of the following:
step-through
gdb-invoked
side-effects
simulate-thread
simulate-thread or step-through sound fine. I'd vote for
simulate-thread, but really-- whatever...
I have rewritten and adapted all the current bitfield tests that are
store data race dependent.
I am open to a better name than "memmodel". If any one has a better
idea, I'm sed competent.
I'd definately suggest something more generic which gives an indication
of whats being done... memmo
