How do add flags to sync/copy?
What is the best way to add flags like threads/checkers to a sync/copy operation? Just use PyClone.addFlag()?
What is the best way to add flags like threads/checkers to a sync/copy operation? Just use PyClone.addFlag()?