diff options
Diffstat (limited to 'tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini')
| -rw-r--r-- | tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini b/tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini index 8fd60d527..71c721b07 100644 --- a/tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini +++ b/tests/quick/20.eio-short/ref/alpha/eio/simple-atomic/config.ini @@ -12,6 +12,7 @@ break_cycles= [exetrace] intel_format=false +legion_lockstep=false pc_symbol=true print_cpseq=false print_cycle=true |