-`-m num`
-
- > Controls the liveness of the memory system. Note that multithreaded programs
- > often rely on memory liveness for termination, so this parameter is
- > necessary for such programs.
- >
- > Liveness is controlled by `num`: the number of times a load is allowed to
- > see the same store when a newer store exists---one that is ordered later in
- > the modification order.
-
-`-y`
-
- > Turns on CHESS-like yield-based fairness support (requires `thrd_yield()`
- > instrumentation in test program).
-
-`-f num`
-
- > Turns on alternative fairness support (less desirable than `-y`). A
- > necessary alternative for some programs that do not support yield-based
- > fairness properly.
-