54c54,56
<
---
> parser.add_option("--allow-atomic-migration", action="store_true",
> help="allow migratory sharing for atomic only accessed blocks")
>
114c116,118
< not options.disable_dyn_timeouts)
---
> not options.disable_dyn_timeouts,
> no_mig_atomic = not \
> options.allow_atomic_migration)